15.3. ЛИБО-сопряжённые состояния

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

• согласованная система ВС 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.3

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

Назад Вперёд