Пример 12. Простая корректная система - И-узел, вызывающий две одинаковых базовых ВС, состоящих из единственного состояния

Content

Пример 12. Простая корректная система - И-узел, вызывающий две одинаковых базовых ВС, состоящих из единственного состояния

    C = and (A,B)
  • Аx
    x=1
  • Bx
    x=1

Назад Вперёд
ru/en