• Оффтоп
• Используемые обозначения

Используемая литература

[0] Методичка Семёнова образца 2021 года. Версия 6 7 8 9 10 11 12 13 14 14 15 16.

[1] А. Ахо, Дж. Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1 — 1978. (.djvu)

[2] А. Ахо, М. Лам, Р. Сети, Дж. Ульман. Компиляторы. Принципы, технологии и инструментарий — 2008, 2-е изд. (.djvu, .pdf)

[3] Э.А. Опалева, В.П. Самойленко. Языки программирования и методы трансляции. — 2005. (.pdf)

Примечание: Некоторые разделы, не считая 5 и 6 глав, также частично или полностью повторяют разделы из [3]. Ссылки на них проставлены не будут.

Глава 1. Классификация грамматик и автоматов

• 1.1. Способы описания синтаксиса языка. Итерационная форма описания
• 1.2. Классификация Хомского

Глава 2. Автоматные грамматики и конечные автоматы

• 2.1. Определение автоматных грамматик и конечных автоматов
• 2.2. Способы задания конечных автоматов
• 2.3. Свойства регулярных языков: лемма о накачке
• 2.4. Эпсилон-переход: реализация по заданному регулярному выражению составного автомат, построение ДКА из НКА

Глава 3. Контекстно-свободные грамматики и МП-автоматы

• 3.1. Определение КС-грамматик и МП-автоматов
• 3.2. Преобразование КС-грамматик (!!!)
• 3.3. Свойства КС языков: лемма о накачке