Образовательный ресурс edu.irnok.net

This is an old revision of the document!

Материалы курса (gram:materials)

Номер	Тема	Материалы	Дополнительно
Лекция 1	Введение в формальные языки. Иерархия Хомского. Регулярные языки и конечные автоматы. Регулярные языки и конечные автоматы. ДКА/НКА: преобразования и минимизация.	lec-1.pdf

<!–

Лекция 2	Регулярные языки и конечные автоматы	lec-2.pdf	Слайды
Лекция 3	ДКА/НКА: преобразования и минимизация	lec-3.pdf	Слайды
Лекция 4	Контекстно-свободные грамматики	lec-4.pdf	Слайды
Лекция 5	Автоматы с магазинной памятью	lec-5.pdf	Слайды
Лекция 6	Синтаксический анализ: LL(1)	lec-6.pdf	Слайды
Лекция 7	Синтаксический анализ: LR(1)	lec-7.pdf	Слайды
Лекция 8	Генерация кода с LLVM	lec-8.pdf	Слайды

–>

Номер	Тема	Задание	Шаблоны	Примеры
ЛР1	Лексический анализ	lab-1-task.pdf	lab-1-template.zip	lab-1-example.zip
ЛР2	Синтаксический анализ	lab-2-task.pdf	lab-2-template.zip	lab-2-example.zip
ЛР3	Семантический анализ	lab-3-task.pdf	lab-3-template.zip	lab-3-example.zip
ЛР4	Генерация кода	lab-4-task.pdf	lab-4-template.zip	lab-4-example.zip

Номер	Тема	Задачи	Решения
ПЗ1	Регулярные выражения и автоматы	prac-1-tasks.pdf	prac-1-solutions.pdf
ПЗ2	КС-грамматики и парсеры	prac-2-tasks.pdf	prac-2-solutions.pdf
ПЗ3	Синтаксические анализаторы	prac-3-tasks.pdf	prac-3-solutions.pdf
ПЗ4	Генерация LLVM IR	prac-4-tasks.pdf	prac-4-solutions.pdf

Уровень	Проект	Описание	Исходный код
Начальный	Калькулятор выражений	Арифметические выражения с переменными	example-calculator.zip
Средний	Мини-язык запросов	SQL-подобный язык для фильтрации данных	example-querylang.zip
Продвинутый	Декларативный конфигуратор	Язык для описания конфигураций систем	example-configlang.zip
Экспертный	Полноценный компилятор	Статически типизированный язык программирования	example-minilang.zip

Книги и учебники
1. “The Definitive ANTLR 4 Reference” - Terence Parr
2. “Compilers: Principles, Techniques, and Tools” - Aho, Ullman et al.
3. “Engineering a Compiler” - Cooper, Torczon

Последнее обновление: 14.11.2025

Планируемые обновления: