Идея анализа потока управления заключается в следующем:
В задачу анализа потока управления входит определение свойств:
При описании программ с использованием потока управления необходимо, чтобы разметка графа потока управления сопоставляла пустой оператор только тем вершинам, для которых число исходящих дуг:
Следующие шаги, необходимы для решения задачи анализа потока данных с помощью итеративного подхода:
Анализ потока управления производится над:
Граф потока управления удовлетворяет следующим требованиям:
Каждая обратная дуга определяет в графе потока управления:
Основным способом представления потока управления программы является:
В зависимости от размера фрагмента оптимизации различают следующие виды оптимизации:
При описании программ с использованием потока управления, два слова в алфавите операторов объявляются эквивалентными в том и только том случае, когда:
