Данная дисциплина изучается на 6 семестре обучения.

В рамках данной дисциплины рассматриваются основные вопросы, имеющие отношение к методам построения программного обеспечения, а точнее - к теории формальных языков и теории компиляторов.
1. Формальные грамматики.
2. Регулярные выражения и конечные автоматы. Автоматическое порождение конечных автоматов из регулярных выражений.
3. Генерация кода.
4. Контекстно-свободные грамматики.
5. Автоматы с магазинной памятью.
6. LL(1)- и LR(1)-грамматики.

Текст лекций и презентация прилагается.

В ходе изучения дисциплины выполняются 4 лабораторные работы.
Методичка по лабораторным работам прилагается.

В ходе изучения дисциплины выполняется пятая лабораторная работа (курсовик).
Методичка по курсовику прилагается.

Бонусные темы на курсовик
Будут известны, когда наступит время.