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

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

См. также

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

Литература

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.