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