Правильный уграф
Материал из WikiGrapp
Правильный уграф (Proper control flow graph) — уграф, все вершины которого лежат на путях от его начальной вершины до конечных вершин.
Литература
- Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.