На примере "САПР-технологии" рассмотрены языковые средства проектирования САПР на основе алгоритмических алгебр, а также абстрактная модель реализации САПР в виде композиции "рабочий-станок". Предложен F-язык для описания конструкторских чертежей. Приведено решение задач синтеза языковых процессоров САПР с использованием автоматов и преобразователей с магазинной памятью.
Пособие предназначено для студентов, изучающих курсы "Автоматизированные системы управления", "Прикладная математика" и др.
