Несводимый уграф
Материал из WikiGrapp
Несводимый уграф (Nonreducible control flow graph) - уграф, предельный уграф которого не является тривиальным. Свойство несводимости уграфа равносильно наличию в нем запрещенного подграфа.
См. также Аранжируемый уграф, Одновходовый граф, Разборный граф, Регуляризуемый граф, Сводимый управляющий граф.
Литература
[Касьянов/86],
[Касьянов/88]