Формальные языки 1. Конечные автоматы

00:00:00 - О чём курс?
00:05:06 - Какова система оценивания?
00:12:22 - Что читать?
00:15:03 - Вспоминаем определения из курса математической логики
00:19:06 - Пример конкатенации языков
00:21:12 - Утверждение о множестве всех слов
00:32:16 - Определение недетерминированного конечного автомата
00:35:32 - Пример НКА
00:38:53 - Отношение достижимости. Неформальное определение
00:41:20 - Отношение достижимости. Формальное определение. Свойства отношения
00:46:30 - Определение языка, задаваемого автоматом
00:47:52 - Определение автоматного языка
00:48:13 - Пример: автомат и выводимость
00:53:25 - Утверждение об НКА с одним завершающим состоянием
01:05:15 - Утверждение об НКА с не более однобуквенными переходами
01:07:26 - Теорема об НКА только с однобуквенными переходами

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

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