Книга посвящена изложению принципов построения систем автоматизации логического проектирования дискретных устройств (управляющих устройств промышленных агрегатов, дискретных блоков ЭВМ и т.п.).
Книга содержит описание иерархии языков, применяемых при автоматизированном логическом проектировании дискретных устройств и систем. Основное внимание уделено оригинальным методам и алгоритмам преобразования и оптимизации дискретных устройств при их алгебраическом описании, что позволяет существенно повысить размерность решаемых задач. Эти методы и алгоритмы могут служить единой формальной (алгебраической) основой для построения систем машинного логического проектирования дискретных автоматов. Это и многое другое вы найдете в книге Логическое проектирование дискретных автоматов (М. А. Гаврилов, В. В. Девятков, Е. И. Пупырев)