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

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

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

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

такие, что:

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

  <FRAME, s1⚪ .. sM⚪> = FRAME⋒⚪

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

  <FRAME, s1◎ .. sM◎> = FRAME⋒◎

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

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

FRAME⋒⚪ ⊴ FRAME⋒⚪

█

Назад Вперёд