Содержание (FireFox,Safari)
|
19.4. Отношение прообраза-проекции между ЛИБО-ячейкамиПусть даны две согласованные системы ВС 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⋓◎
█
|
ru/en |