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