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

Материал из WikiGrapp
Перейти к:навигация, поиск

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

Factor-control-flow-graph.gif

См. также

Литература

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