Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является:
При чистке циклов вниз, выходной вершиной является такая вершина, среди непосредственных преемников которой есть вершина:
Пара конечных множеств (V, E), называемых соответственно множествами вершин и дуг, при этом множество дуг представляет собой совокупность пар вершин - это:
Для каждого вхождения переменной требуется определить множество присваиваний, такое, что для каждого из них существует путь, в котором между ним и данным вхождением отсутствуют другие присваивания той же переменной - так формулируется задача:
Каждая обратная дуга определяет в графе потока управления:
При наличии контуров множество всех путей в графе управления становится:
Множества входных и начальных вершин для компонент сильной связности:
Взаимно однозначное отображение множества вершин графа на отрезок натурального ряда [1..|V|] называется:
При итеративном перевычислении разметок с использованием рабочего списока вершин - опустошение списка свидетельствует о том, что:
Выписыванием пометок вершин при простом обходе дерева слева-направо и сверху-вниз можно получить:
