Фактор-уграф: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Фактор-уграф''' (''Factor-control-flow-graph'') - ''уграф'' <math>G'</math>, который получается из ...)
 
Нет описания правки
Строка 1: Строка 1:
'''Фактор-уграф''' (''Factor-control-flow-graph'') -  
'''Фактор-уграф''' (''[[Factor-control-flow-graph]]'') -  
''уграф'' <math>G'</math>, который получается из исходного уграфа <math>G</math>
''[[уграф]]'' <math>G'</math>, который получается из исходного уграфа <math>G</math>
стягиванием некоторого непустого множества попарно
стягиванием некоторого непустого множества попарно
непересекающихся ''альтов'' <math>R</math> в вершины (обозначается <math>G'=R(G)</math>).
непересекающихся ''[[альт|альтов]]'' <math>R</math> в [[вершина|вершины]] (обозначается <math>G'=R(G)</math>).
''Начальной'' (соответственно ''конечной'') вершиной уграфа <math>G'</math> является
''[[Начальная вершина|Начальной]]'' (соответственно ''[[конечная вершина|конечной]]'') вершиной уграфа <math>G'</math> является
либо начальная (соответственно конечная) вершина уграфа <math>G</math>, либо
либо начальная (соответственно конечная) вершина уграфа <math>G</math>, либо
тот альт из <math>R</math>, который содержит начальную (соответственно)
тот альт из <math>R</math>, который содержит начальную (соответственно)
конечную вершину исходного уграфа.
конечную вершину исходного уграфа.


См. также ''Гамачное представление, Зонно-интервальное представление, Иерархия вложенных альтов, Иерархия вложенных зон.''
==См. также==
''[[Гамачное представление]], [[Зонно-интервальное представление]], [[Иерархия вложенных альтов]], [[Иерархия вложенных зон]].''
==Литература==
==Литература==
[Касьянов/88]
[Касьянов/88]

Версия от 17:26, 9 марта 2010

Фактор-уграф (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]