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

Пусть в согласованной системе ВС SVS = <T, SH, COM, SEL, VS> имеются не лежащие попарно на одном пути к корню вершины nd1 .. ndN, сопряженные с системообразующими и/или частичными ВС vs1 .. vsN, к которым принадлежат соответствующие состояния s1 .. sN.

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

Замечание 15.2

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

Назад Вперёд