Пример 13. Простая корректная система - И-узел, вызывающий две базовых ВС, состоящих из пары состояний
Content
Пример 14. Простая корректная система - И-узел, вызывающий две базовых ВС, состоящих из пары состояний
C
=
and
(
A,B
)
x=1,y=1
x=2,y=2
А
x
x=1,z=1
x=2,w=2
B
y
y=1,v=1
y=2,r=2
y=2,r=3
Назад
Вперёд
ru/
en