Посвящена проблеме автоматизации логического проектирования дискретных автоматов. Описывается оригинальная система автоматического синтеза, позволяющая по формальному заданию условий работы автомата получить сеть из логических элементов, удовлетворяющую этим условиям. Система разработана на базе языка программирования ЛЯПАС и включает в себя алгоритмы решения следующих задач: минимизацию числа состояний автомата, противогоночное кодирование состояний, получение и минимизацию булевых функций, описывающих заданный автомат, получение структуры соединений логических элементов. Приводятся оценки эффективности этих алгоритмов и всей системы в целом.
Для специалистов в области проектирования дискретных вычислительных и управляющих автоматических устройств.
