#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 29.05.2026 в 16:20

Докладчик: Анна Оверчук

Название доклада: Регулярные языки

Аннотация:
К формальным языкам можно подходить с разных сторон. Их можно рассматривать алгебраически - как множество слов над алфавитом с операцией конкатенации (приписывания одной строки к другой). Можно изучать их с вычислительной точки зрения - через алгоритмы и автоматы, распознающие язык. Наконец, возможен лингвистический подход: язык задаётся грамматикой, которая его порождает. Несмотря на обманчивую простоту, теория формальных языков необычным образом объединяет методы разных областей математики.
В докладе я расскажу о классе регулярных языков и о том, как с их помощью можно алгебраически описывать вычисления.