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

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

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

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

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

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