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

Пусть даны:

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

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

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

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

• сопряжённый с nd0 селектор sel из SEL
• сопряженные с вершинами nd0, nd1, .. , ndN системообразующие и/или частичные ВС vs0, vs1, .. , vsN
• принадлежащие к vs1 .. vsN состояния s1⚪ .. sN⚪, такие, что каждое из si⚪ имеет в качестве проекции соответствующий ключ ki селектора sel
  k1 ⊴ s1⚪, .., kN ⊴ sN⚪

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

c⋓ = <nd0, nd1, .. , ndN, s1⚪, .. , sN⚪, s1◎, .. , sN◎, k1, .. , kN>

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

Назад Вперёд