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