This is an old revision of the document!
Элементы теории формальных языков
Обзор курса
Курс “Элементы теории формальных языков” знакомит с фундаментальными понятиями формальных языков, автоматов и их практическим применением в разработке программного обеспечения.
Основные темы курса: - Регулярные языки и конечные автоматы - Контекстно-свободные грамматики и синтаксический анализ - Автоматы с магазинной памятью - Практическое применение в компиляторах и трансляторах - Работа с современными инструментами (ANTLR4, LLVM)
Быстрые ссылки
| Раздел | Описание |
| :— | :— |
| Описание курса | Полная программа, цели, структура, литература |
| Лабораторные работы | 4 сквозные лабораторные с вариантами кейсов |
| Расписание | График занятий и сроки сдачи |
| Материалы | Лекции, презентации, примеры кода |
Новости курса
01.09.2025 - Начало курса
- Зарегистрируйтесь на платформе
- Ознакомьтесь с описанием курса
- Выберите вариант кейса для лабораторных работ
15.09.2025 - Старт Лабораторной 1
- Начало работы над лексическим анализатором
- Консультации по выбору инструментов
Преподаватель
* Кафедра: Теории вероятностей и дискретной математики * Контакты: [email преподавателя] * Консультации: [расписание консультаций]
Технологический стек
| Python 3.8+ | ANTLR4 | LLVM | DeepSeek* |
| :— | :— | :— | :— |
 |  |  |  |
| Регулярные выражения | Docker | Git | Pytest |
<small>*Контролируемое использование для анализа кода и генерации шаблонов</small>
Важные примечания
* Все лабораторные работы являются сквозными - каждая последующая строится на основе предыдущей * Для каждого кейса предоставляется 17 вариантов сложности * Использование AI-инструментов разрешено в контролируемом режиме для обучения * Основной фокус - практическое применение теории в реальных задачах
Старт работы
Чтобы начать работу с курсом:
1. Изучите [[gram:cd|описание курса]] 2. Выберите кейс из [[gram:labs|лабораторных работ]] 3. Ознакомьтесь с [[gram:materials|материалами]] 4. Начните выполнение [[gram:case-001|первого кейса]]
Кафедра теории вероятностей и дискретной математики | Иркутский государственный университет | 2025