Рассмотрены формальные модели грамматик и языков, грамматики Хомского, методы синтаксического анализа формальных языков и приемы генерации кода в современных компиляторах. Особое внимание уделено постановке базовых проблем теории формальных языков, пониманию основных задач построения трансляторов. Приводится большое количество примеров и задач к каждой главе. УДК 681.3.068