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

Компонента сильной связности, являющееся областью своей вершины, имеющей минимальный номер в нумерации Post среди всех остальных вершин этой компоненты называется:

Взаимно однозначное отображение множества вершин графа на отрезок натурального ряда [1..|V|] называется:

Пара конечных множеств (V, E), называемых соответственно множествами вершин и дуг, при этом множество дуг представляет собой совокупность пар вершин - это:

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

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

Выписыванием пометок вершин при простом обходе дерева слева-направо и сверху-вниз можно получить:

Набор областей всех вершин при нумерации Post является:

Стягивание линейных компонент переводит граф:

Для данной грамматики:

S -> B AA -> +B A A -> eB -> D CC -> * D C C -> eD -> (S) D -> a

множества FIRST определяются следующим образом:

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