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

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

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

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

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

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

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

c⋓⚪ = <nd0, nd1, .. , ndN, {s01⚪}, .. , {s0N⚪}, {s1⚪}, .. , {sN⚪}, k1, .. , kN>

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

c⋓◎ = <nd0, nd1, .. , ndN, {s01◎}, .. , {s0N◎}, {s1◎}, .. , {sN◎}, k1, .. , kN>

такие, что у них совпадают И-ключи k1, .. , kN, а множества состояний {s01⚪}, .. , {s0N⚪}, {s1⚪}, .. , {sN⚪} являются соответствующими проекциями множеств состояний {s01◎}, .. , {s0N◎}, {s1◎}, .. , {sN◎}.

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

c⋓⚪ ⊴ c⋓◎

█

Назад Вперёд