18.1. И-ячейка

Пусть даны:

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

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

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

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

• сопряженные с вершинами nd0, nd1, .. , ndN системообразующие и/или частичные ВС vs0, vs1, .. , vsN
• принадлежащие к vs1 .. vsN произвольные состояния s1⚪ .. sN⚪

Вместе с состоянием s0◎ из vs0, сопряженной с nd0, порожденным сразу от всех s1⚪ .. sN⚪, совокупность

c⋒ = <nd0, nd1, .. , ndN, s0◎, s1⚪, .. , sN⚪>

• вершин ячейки nd0, nd1 .. ndN
• состояний s0◎, s1⚪ .. sN⚪ из ВС, сопряженных с указанными вершинами ячейки

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

Назад Вперёд