Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2003, № 2 за темою "Формальные методы в программировании"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2003, № 2 за темою "Формальные методы в программировании"

Сортувати за: Порядок: Результатів:

  • Синтез автомата, специфицированного множеством дизъюнктов 
    Чеботарев, А.Н. (2003)
    Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис