В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта.Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования.