В учебном пособии излагаются классические модели, методы, алгоритмы теории формальных языков и грамматик и их применение при построении синтаксически-управляемых трансляторов. Приводятся примеры программной реализации конечных и магазинных автоматов на языке Паскаль, конвертора программ. Рассмотрена технология автоматизированного конструирования синтаксических и лексических анализаторов с использованием системы «КАШТАН».