| |
Бабаков, Р. М.
Алгебраический синтез микропрограммного автомата с операционным автоматом переходов [Електронний ресурс] / Р. М. Бабаков
// Інформаційні технології та комп'ютерна інженерія. – 2017. – № 2. – С. 35-41.
Для микропрограммного автомата с операционным автоматом переходов сформулирована задача алгебраического синтеза, представленная частью процесса структурного синтеза данного класса автоматов. Дано формальное определение решения задачи алгебраического синтеза. Введено понятие методологии алгебраического синтеза. Предложен общий алгоритм алгебраического синтеза, основанный на полном переборе с ограничениями. |
