Когда имеется выбор, мы вынуждены

п.

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

-графам. Некоторые вершины могут быть помечены как

-вершины, это означает, что достаточно получить один из результатов, соответствующий входящим дугам, и инициировать лишь одно из исполнений, соответствующее выходящей дуге. Для структурированности &-

-графа необходимо, чтобы он был сетью, удовлетворяющей следующему условию: имеется инъекция

, сопоставляющая каждой

-вершине ?, из которой выходит несколько дуг,

-вершину

(?), из которой выходит лишь одна дуга, такую, что любой путь, проходящий через первую вершину, проходит и через вторую. Это неудобоваримое теоретическое условие всего лишь формулирует на точном языке, что

-вершины должны группироваться в структуры следующего вида, показанного на рис. 14.2 (количество вариантов может быть любым).

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

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

Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий