Сводимый управляющий граф
Перейти к навигации
Перейти к поиску
Сводимый управляющий граф (Reducible control flow graph) - уграф, предельный уграф которого является тривиальным. Свойство сводимости уграфа эквивалентно свойству его регуляризуемости.
См. также
Аранжируемый уграф, Запрещенный подграф, Одновходовый граф, Разборный граф, Регуляризуемый граф.
Литература
[Касьянов/88],
[Евстигнеев-Касьянов/94]