Формальные языки 2. Свойства конечных автоматов

Презентация с лекции: https://drive.google.com/file/d/1vntj...

К сожалению, из-за технических проблем не удалось записать первую часть лекции должным образом. Однако первую часть чудом удалось спасти, пусть и частично, благодаря одному из аудитории, при этом возможны проблемы со звуком, которые удалось исправить лишь частично.

00:00:00 - Продолжение доказательства теоремы об НКА с однобуквенными переходами
00:10:47 - Алгоритм принадлежности слова автоматному языку
00:22:53 - Начало второй части
00:24:44 - Определение детерминированного конечного автомата
00:26:02 - Улучшение алгоритма принадлежности слова автоматному языку
00:29:28 - Теорема о построении ДКА по НКА
00:50:30 - Свойства автоматных языков: определения
00:53:00 - Теорема о свойствах автоматных языков
00:58:36 - Проблема автоматов
01:00:45 - О регулярных выражениях

Дата лекции: 14.09.2021
Лектор: Ахтямов Павел

Оператор: Арсений Беляев (2-я половина)
Монтаж: Алексей Горбулев