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

Версия от 12:44, 25 ноября 2009

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

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

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

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