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