Гаврилов М.А., Девятков В.В., Пупырев Е.И., Логическое проектирование дискретных автоматов.

1977, изд-во: Наука, город: Москва, стр. : 352 с., обложка: Издательский переплет, формат: Обычный, состояние: Отличное. Книга посвящена изложению принципов построения систем автоматизации логического проектирования дискретных устройств (управляющих устройств промышленных агрегатов, дискретных блоков ЭВМ и т. п.). Книга содержит описание иерархии языков, применяемых при автоматизированном логическом проектировании дискретных устройств и систем. Особое внимание уделено оригинальным методам и алгоритмам преобразования и оптимизации дискретных устройств при их алгебраическом описании, что позволяет существенно повысить размерность решаемых задач. Эти методы и алгоритмы могут служить единой формальной (алгебраической) основой для построения систем машинного логического проектирования дискретных автоматов.