Сводимый управляющий граф

Материал из WEGA
Версия от 16:07, 26 января 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Сводимый управляющий граф''' (''Reducible control flow graph'') - уграф, ''предельный уграф...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Сводимый управляющий граф (Reducible control flow graph) - уграф, предельный уграф которого является тривиальным. Свойство сводимости уграфа эквивалентно свойству его регуляризуемости.

См. также Аранжируемый уграф, Запрещенный подграф, Одновходовый граф, Разборный граф, Регуляризуемый граф.

Литература

[Касьянов/88],

[Евстигнеев-Касьянов/94]