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