Моделирование систем / lec10

Дуга, помеченная tj, направлена от вершины х к вершине z. Вершина x переопределяется как внутренняя, вершина z становится граничной.

Когда все вершины дерева становятся терминальными, дублирующими или внутренними, алгоритм останавливается.

Конечное дерево достижимости

П р и м е р 2