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

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

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

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

такие, что для деревьев T⚪ и T◎ определена одна и та же ячейка

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

Пусть на этой ячейке как на основе построена в первой системе И-ячейка

c⋔⚪ = <nd0, nd1, .. , ndN, s0⚪, s1⚪, .. , sN⚪, k>

а во второй – И-ячейка

c⋔◎ = <nd0, nd1, .. , ndN, s0◎, s1◎, .. , sN◎, k>

такие, что у них совпадают И-ключи k, а состояния s0⚪, s1⚪, .. , sN⚪ являются проекциями состояний s0◎, s1◎, .. , sN◎.

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

c⋔⚪ ⊴ c⋔◎

█

Назад Вперёд