Разработка компиляторов
Граф потока управления
Основным способом представления потока управления программы является граф потока управления (см. лекции 11) - ориентированный граф с двумя выделенными вершинами start и stop , такими, что
- в start не заходит ни одна дуга
- из stop не выходит ни одна дуга
- произвольная вершина принадлежит хотя бы одному пути из start в stop
Для произвольной дуги e обозначим через beg(e) ее начало, а через end(e) - ее конец.
Для произвольной вершины v обозначим через in(v) множество входящих в нее дуг, а через out(v) - множество исходящих дуг.
Путем в графе назовем последовательность вершин, такую, что между каждой последующей и предыдущей вершиной в графе существует ребро.
