Начала теории формальных языков

Название спецкурса на английском языке
The first course in formal language theory
Авторы курса
Борисенко Владимир Витальевич, Леонов Александр Георгиевич
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра вычислительной математики]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору студента на английском языке
Учебный год
2025/26
Список тем
Введение в теорию формальных языков.
Иерархия Хомского.
Конечные автоматы.
Автоматы с магазинной памятью (МП‑автоматы).
Синтаксический анализ для КС‑языков.
Практикум.
Список источников
Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции (в 2-х томах)
Рейуорд-Смит В. Дж. Теория формальных языков: Вводный курс.
Гинзбург С. Математическая теория контекстно‑свободных языков.
Дополнительная информация

Занятия начнутся в марте. Как попасть на спецкурс?
Зарегистрироваться на платформе Мирера и вступить в группу по ссылке: 

https://mirera.ru/user/groups/698dec496cefd9d7cba25a3d

Курс посвящен классическому разделу математической лингвистики и
теоретической информатики — теории формальных языков. В нем
рассмотрены классификация грамматик по Хомскому, регулярные
множества и выражения, конечные автоматы, автоматы с магазинной
памятью, программные утилиты
GREP, FLEX, BISON. Курс имеет практическую направленность,
рассматриваются части теории формальных языков, которые
применяются на практике при написании компиляторов, студенты
решают не менее 100+ практических заданий различной сложности за
курс, включая тестовые задания, практические задания,
сдают программы на Python, FLEX, BISON, задания на GREP и т.д.

День недели
пятница
Время
16:45-18:20
Аудитория
1413
Дата первого занятия
Аудитория первого занятия
1413
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.