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

Пусть даны:

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

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

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

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

• сопряжённый с nd0 селектор sel из SEL и его ЛИБО-ключи k1 .. kN
• сопряженные с вершинами nd0, nd1, .. , ndN системообразующие и/или частичные ВС vs0, vs1, .. , vsN
• принадлежащие к [vs1 ] .. [vsN] множества состояний {s1} .. {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 селектора sel

Назад Вперёд