18.4. Ли-ячейка

Пусть даны:

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

  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⚪, такие, что каждое из si⚪ имеет в качестве проекции соответствующий ключ ki коммутатора com
  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

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

Назад Вперёд