Фактор-уграф

Материал из WEGA
Версия от 15:47, 9 февраля 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Фактор-уграф''' (''Factor-control-flow-graph'') - ''уграф'' <math>G'</math>, который получается из ...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Фактор-уграф (Factor-control-flow-graph) - уграф [math]\displaystyle{ G' }[/math], который получается из исходного уграфа [math]\displaystyle{ G }[/math] стягиванием некоторого непустого множества попарно непересекающихся альтов [math]\displaystyle{ R }[/math] в вершины (обозначается [math]\displaystyle{ G'=R(G) }[/math]). Начальной (соответственно конечной) вершиной уграфа [math]\displaystyle{ G' }[/math] является либо начальная (соответственно конечная) вершина уграфа [math]\displaystyle{ G }[/math], либо тот альт из [math]\displaystyle{ R }[/math], который содержит начальную (соответственно) конечную вершину исходного уграфа.

См. также Гамачное представление, Зонно-интервальное представление, Иерархия вложенных альтов, Иерархия вложенных зон.

Литература

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