18.4. И-фрейм

Пусть даны:

• согласованная система ВС SVS = <T, SH, COM, SEL, VS>
• фрейм FRAME её дерева T на выделенных вершинах {nd1 .. ndM} = ND

  состоящий из ячеек c1 .. cN

  FRAME = ∑ci (i=1..N)

• базовые и/или частичные ВС vs1 .. vsM сопряжены с указанными вершинами nd1 .. ndM
• к vs1 .. vsM принадлежат некие состояния s1 .. sM

Если при этом произвольный набор построенных на c1 .. cN И-ячеек

c⋒1 = <nd01, nd11, .. , ndN1, s01, s11, .. , sN1, k1>

…

c⋒1M = <nd0M, nd1M, .. , ndNM, s0M, s1M, .. , sNM, kM>

таков, что у соподчинённых совпадают не только вершины, но и образующие их состояния

• c⋒i0 = <ndi0, ndi1 .. ndik, si0, si1 .. sik>
• c⋒i1 = <ndi1, ndj1 .. ndj1n1, si1, sj1 .. sj1n1>

  ...

• c⋒ik = <ndik, ndjk .. ndjkn1, si1, sjk .. sjknm>

где:

• вершина ndi0 сопряжена с ВС vsi0, которой принадлежит состояние si0
• вершина ndi1 сопряжена с ВС vsi1, которой принадлежит состояние si1

  ...

• вершина ndik сопряжена с ВС vsik, которой принадлежит состояние sik

то в этом случае набор

<FRAME, s1 .. sM> = FRAME⋒

из фрейма и связываемых им состояний из ВС, сопряжённых с его листьями, называется И-фреймом. █

Назад Вперёд