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