методи проектування, методы проектирования ; автомат дискретный

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

• ББК науковий // Теорія автоматів та керуючих машин