Алгоритм выделения максимального альта, для которого данная вершина p является начальной, включает следующие шаги:

При чистке циклов вниз, выходной вершиной является такая вершина, среди непосредственных преемников которой есть вершина:

Следующие шаги, необходимы для решения задачи анализа потока данных с помощью итеративного подхода:

Признаком чего является то, что вершина со следующим номером - во-первых, является бивершиной, а во-вторых, ее номер - максимальный среди номеров всех потомков вершин текущей линейной компоненты:

Обобщенный алгоритм, позволяющий определить некоторое множество и использующий в своей работе следующие компоненты: входную ленту, управляющее устройство с конечной памятью и дополнительную рабочую память - это:

Любая вершина обязательно предшествует:

Состояние вершины, когда вершина еще не рассматривалась алгоритмом обозначается:

Состояние вершины, когда вершина еще рассматривается алгоритмом обозначается:

При формализации удаления пустого оператора вершина графа, помеченная пустым оператором:

Данная ситуация:

[S->(.L)][L->.L, S][L->.S][S->.(L)][S->.x]

определяет состояние:

Данная ситуация:

[S'->.S][S-gt;.x][S-gt;.(L)]

определяет состояние: