Волкова И.А., Руденко Т.В. Формальные грамматики и языки. Элементы теории трансляции

М.: Московский государственный университет им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики, 1999. — 62 с.Элементы теории формальных языков и грамматик.
Классификация грамматик и языков по Хомскому.
Примеры грамматик и языков.
Задача разбора.
Преобразования грамматик.
Элементы теории трансляции.
Описание модельного языка.
Лексический анализ.
О недетерминированном разборе.
Задачи лексического анализа.
Лексический анализатор для М-языка.
Синтаксический и семантический анализ.
Метод рекурсивного спуска.
О применимости метода рекурсивного спуска.
Синтаксический анализатор для М-языка.
О семантическом анализе.
Семантический анализатор для М-языка.
Генерация внутреннего представления программ.
Язык внутреннего представления программы.
Синтаксически управляемый перевод.
Генератор промежуточной программы для М-языка.
Интерпретатор Полиза для модельного языка.