Фактор-уграф: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Фактор-уграф''' (''Factor-control-flow-graph'') - ''уграф'' <math>G'</math>, который получается из ...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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]