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