Стили и методы программирования

https://kakoysegodnyaprazdnik.com/prazdniki-3-decabrya.html

Выбор - часть 2


п.

Когда имеется выбор, мы вынуждены переходить от сети данных к более сложной структуре: &-

-графам. Некоторые вершины могут быть помечены как
-вершины, это означает, что достаточно получить один из результатов, соответствующий входящим дугам, и инициировать лишь одно из исполнений, соответствующее выходящей дуге. Для структурированности &-
-графа необходимо, чтобы он был сетью, удовлетворяющей следующему условию: имеется инъекция
, сопоставляющая каждой
-вершине ?, из которой выходит несколько дуг,
-вершину
(?), из которой выходит лишь одна дуга, такую, что любой путь, проходящий через первую вершину, проходит и через вторую. Это неудобоваримое теоретическое условие всего лишь формулирует на точном языке, что
-вершины должны группироваться в структуры следующего вида, показанного на рис. 14.2 (количество вариантов может быть любым).

Сеть охраняемых команд

Рис. 14.2.  Сеть охраняемых команд




Начало  Назад  Вперед



Книжный магазин