Множества входных и начальных вершин для компонент сильной связности:
Произвольный подграф графа управления называется:
Пара конечных множеств (V, E), называемых соответственно множествами вершин и дуг, при этом множество дуг представляет собой совокупность пар вершин - это:
Компонента сильной связности, являющееся областью своей вершины, имеющей минимальный номер в нумерации Post среди всех остальных вершин этой компоненты называется:
При использовании def-use chains отображение DU описывает, как:
Дерево, содержащее все вершины графа и некоторые его дуги:
При итеративном перевычислении разметок с использованием рабочего списока вершин - опустошение списка свидетельствует о том, что:
Последовательность вершин, такая, что между каждой последующей и предыдущей вершиной в графе существует ребро - это:
Выписыванием пометок вершин при простом обходе дерева слева-направо и сверху-вниз можно получить:
Существует следующие типы дуг графа по отношению к данному глубинному остовному дереву: