Формальное описание языка. Грамматика. Лексический анализ. Синтаксический анализ. Синтаксически управляемые схемы перевода. Генерация кода и атрибутные грамматики. Диагностика и исправление ошибок. Оптимизация кода. Компоненты компиляторов и интерпретаторов.