Разработка компиляторов



         

Пример: достижимые определения (2)



увеличить изображение

На иллюстрации показано несколько состояний разметки в процессе работы алгоритма. Жирными стрелками обозначен порядок обход графа, внутри вершин показана разметка after . Видно, что при первом входе в вершину 4 вершины 6 и 9 еще необработанны (правая часть иллюстрации). После первого прохода по вершинам 7, 8 и 9 неподвижная точка еще не достигнута (средняя часть иллюстрации), что требует еще одного прохода по фрагменту пути 4, 7, 8. Окончательная разметка показана в правой части иллюстрации. Возможный порядок посещения вершин при работе алгоритма показан внизу иллюстрации.




Содержание  Назад  Вперед