Сводимый управляющий граф: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) |
||
| Строка 14: | Строка 14: | ||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
[[Категория: Сводимые и регуляризуемые графы]] | |||
Версия от 15:04, 11 сентября 2019
Сводимый управляющий граф (Reducible (control) flow graph) — уграф, предельный уграф которого является тривиальным. Свойство сводимости уграфа эквивалентно свойству его регуляризуемости.
См. также
Литература
- Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.