Каждая обратная дуга определяет в графе потока управления:

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

При наличии контуров множество всех путей в графе управления становится:

Анализ потока управления производится над:

Идея анализа потока управления заключается в следующем:

Основное употребление анализа потока управления в оптимизации - это:

Граф потока управления удовлетворяет следующим требованиям:

В задачу анализа потока управления входит определение свойств:

Основным способом представления потока управления программы является:

При описании программ с использованием потока управления, два слова в алфавите операторов объявляются эквивалентными в том и только том случае, когда:

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