15.2. И-сопряжённые состояния

Пусть имеются:

• согласованная система ВС SVS = <T, SH, COM, SEL, VS>
• некая вершина nd0 (типа И или типа И-ЛИБО) и с ней сопряженная ВС vs0
• вершины nd1 .. ndN такие, что nd0 является для них ближайшей общей вершиной
• сопряженные с nd1 .. ndN системообразующие или частичные ВС vs1 .. vsN
• состояния s1 .. sN, принадлежащие этим vs1 .. vsN
• s1 .. sN имеют в vs0 непустое множество состояний, каждое из которых порождено ими всеми

В этом случае состояния s1 .. sN называются И-сопряжёнными, то есть связанными порождённым И-отношением. █

Замечание 15.2

Другое более "конструктивное" определение косвенного (порождённого) отношения И будет дано в Главе 18.

Назад Вперёд