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

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

Если при этом порождённые от них множества состояний S1◎ .. SN◎ корневой ВС не пересекаются, то S1 .. SN называются ЛИБО-сопряжёнными, то есть связаны порождённым ЛИБО-отношением. █

Назад Вперёд