В учебном пособии излагаются классические модели, методы, алгоритмы теории формальных языков и грамматик и их применение при построении синтаксически-управляемых трансляторов. Приводятся примеры программной реализации конечных и магазинных автоматов на языке Паскаль, конвертора программ. Рассмотрена технология автоматизированного конструирования синтаксических и лексических анализаторов с использованием системы «КАШТАН». Система прилагается к учебному пособию, разработана его авторами, функционирует в операционной среде Windows 95/NT. В системе поддерживается автоматизированная разработка грамматики языка (описание языка с помощью форм Бэкуса—Науэра; проверка их корректности, приведение и структурные преобразования грамматик), автоматический синтез конечных и магазинных распознавателей и их тестирование. Для студентов вузов, специализирующихся в областях прикладного и системного программирования. Для преподавателей, аспирантов и программистов-профессионалов, занимающихся решением задач обработки информации на ЭВМ с применением лингвистических моделей.