18.8. ЛИБО-фрейм

Пусть даны:

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

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

  FRAME = ∑ci, (i=1..M)

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

Если при этом построенные на c1 .. cN ЛИБО- и/или И-ЛИБО-ячейки

c⋓1 = <nd01, nd11, .. , ndN1, {s01}, .. , {s0N}, {s11}, .. , {s1N}, k1, .. , kK1>

…

c⋓1M = <nd0M, nd1M, .. , ndNM, {s0M1}, .. , {s0MN}, {s1M1}, .. , {s1MN}, k1, .. , kKM>

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

• ci0 = <ndi0, ndi1, .. , ndik, {si0}, {si1}, .. , {sik}>
• ci1 = <ndi1, ndj1, .. , ndj1n1, {si1}, {sj1}, .. , {sj1n1}>

  ...

• cik = <ndik, ndjk, .. , ndjkn1, {sik}, {sjkn1}, .. , {sjknm}>

где:

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

  ...

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

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

<FRAME, {s1} .. {sM}> = FRAME⋓

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

Назад Вперёд