18.3. И-ЛИБО-ячейка

Пусть даны:

• согласованная система ВС

  SVS = <T, SH, COM, SEL, VS>

• узел nd0 её дерева T такой, что вместе с N вершинами nd1 .. ndN образует ячейку

  c = <nd0, nd1, .. , ndN>

• сопряжённый с nd0 коммутатор com из COM
• с вершинами nd1 .. ndN сопряжены системообразующие и/или частичные ВС vs0, vs1 .. vsN
• к [vs1 ] .. [vsN] принадлежат множества состояний {s1} .. {sN}
• И-ключи k1, .. , kN коммутатора com являются проекциями для каждого состояния из соответствующих множеств {s1⚪} .. {sN⚪}

  k1 ⊴ s1⚪, .., kN ⊴ sN⚪

Если при этом в vs0 между собой НЕ пересекаются никакие множества состояний {s1^} .. {sN^}, порожденные от соответствующих множеств {s1} .. {sN}, тогда совокупность

c⋓ = <nd0, nd1, .. , ndN, {s01⚪}, .. , {s0N⚪}, {s1⚪}, .. , {sN⚪}, k1, .. , kN>

• вершин ячейки nd0, nd1 .. ndN
• множеств состояний {s01⚪} .. {s0N⚪} из ВС vs0, сопряженной с корнем
• множеств состояний {s1⚪} .. {sN⚪} из ВС vs1 .. vsN, сопряженных с листьями
• И-ЛИБО-ключей k1, .. , kN коммутатора com

называется И-ЛИБО-ячейкой. █

Назад Вперёд