Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Моделирование систем / lec10
.pdfДуга, помеченная tj, направлена от вершины х к вершине z. Вершина x переопределяется как внутренняя, вершина z становится граничной.
Когда все вершины дерева становятся терминальными, дублирующими или внутренними, алгоритм останавливается.
Конечное дерево достижимости
П р и м е р 2