19.14. Отношение ЛИБО-проекции-прообраза между фреймами

Пусть даны согласованные системы ВС

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

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

такие, что:

• их основы [SVS⚪] и [SVS◎] находятся в отношении О-проекции
• для деревьев T⚪ и T◎ определён один и тот же фрейм FRAME на выделенных вершинах nd0, nd1 .. ndN.
• на этом фрейме как на основе построены: в первой системе ЛИБО-фрейм

  <FRAME, S1⚪ .. SN⚪> = FRAME⋓⚪

  а во второй – ЛИБО-фрейм

  <FRAME, S1◎ .. SN◎> = FRAME⋓◎

  такие, что множества состояний, S1⚪ .. SN⚪ являются проекциями множеств состояний S1◎ .. SN◎.

В этом случае FRAME⋓◎ называется ЛИБО-прообразом FRAME⋓⚪ (FRAME⋓⚪, соответственно, ЛИБО-проекцией FRAME⋓◎)

FRAME⋓⚪ ⊴ FRAME⋓◎

█

Назад Вперёд