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