Бакалавриат
2025/2026
Теория автоматов, формальные языки, регулярные выражения
Статус:
Курс по выбору (Прикладная математика и информатика)
Где читается:
Факультет компьютерных наук
Когда читается:
4-й курс, 3 модуль
Охват аудитории:
для своего кампуса
Преподаватели:
Запрягаев Александр Александрович
Язык:
русский
Кредиты:
4
Контактные часы:
40
Программа дисциплины
Аннотация
Курс «Теория автоматов, Формальные языки, Регулярные выражения» познакомит слушателей одной из самых быстро развивающихся дисциплин теоретической информатики – теорией автоматов. Мы рассмотрим, как язык конечных автоматов применяется в алгебре и компьютерной лингвистике, позволяет исследовать грамматику реальных языков и языков программирования, характеризовать устройство алгебраических структур. Будут доказаны теоремы о выразительной силе формальных языков и алгоритмической разрешимости и неразрешимости различных классов структур, выражающихся автоматами.