Разработка компиляторов
Альт
Альтом называется фрагмент, имеющий одну начальную вершину. Пример альтов показан на рисунке на слайде (дуги, принадлежащие альтам, выделены жирными линиями).
Легко могут быть доказаны следующие простейшие свойства альтов:
- весь граф является альтом
- произвольная вершина графа является альтом
- начальная вершина альта обязательно предшествует любой его вершине
- если пересечение двух альтов не пусто, то один из них содержит начальную вершину другого и их объединение также есть альт.
