Сводимый управляющий граф: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Сводимый управляющий граф''' (''Reducible control flow graph'') - уграф, ''предельный уграф...)
 
Нет описания правки
Строка 1: Строка 1:
'''Сводимый управляющий граф''' (''Reducible control flow graph'') -  
'''Сводимый управляющий граф''' (''[[Reducible control flow graph]]'') -  
уграф, ''предельный уграф'' которого является
[[уграф]], ''[[предельный граф|предельный уграф]]'' которого является
''тривиальным''. Свойство сводимости уграфа эквивалентно свойству
''[[тривиальный граф|тривиальным]]''. Свойство сводимости уграфа эквивалентно свойству
его ''регуляризуемости''.
его ''регуляризуемости''.


См. также ''Аранжируемый уграф, Запрещенный подграф, Одновходовый граф, Разборный граф, Регуляризуемый граф.''
==См. также ==
''[[Аранжируемый граф|Аранжируемый уграф]], [[Запрещенный подграф]], [[Одновходовый граф]], [[Разборный граф]], [[Регуляризуемый граф]].''
==Литература==
==Литература==
[Касьянов/88],
[Касьянов/88],


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

Версия от 12:19, 29 января 2010

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

См. также

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

Литература

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

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