Чтобы проверить применимость правила для текущей вершины, проверяется соответствие этой вершины образцу в правой части правила - для этого используется функция:
Существует следующие типы дуг графа по отношению к данному глубинному остовному дереву:
Процесс построения дерева разбора, начиная с листьев и двигаясь вверх к корню дерева разбора может быть представлен как:
Предназначен для построения дерева разбора, начиная с листьев и двигаясь вверх к корню дерева разбора:
На каждом шаге работы МП-автомат может либо:
Если программа выводима в грамматике, это еще не означает, что она полностью:
Дерево, содержащее все вершины графа и некоторые его дуги:
Тривиальное дерево, состоящее из одной вершины, является:
Магазинные автоматы, известны также как:
Состояние вершины, когда вершина еще не рассматривалась алгоритмом обозначается: