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