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