Формальные языки 3. Минимизация ПДКА

00:00:00 - Что было на прошлой лекции?
00:01:46 - Какой план на эту лекцию?
00:02:14 - Любой автоматный язык — регулярный
00:19:25 - Проблемы ДКА
00:21:40 - «Полупрактическое» решение
00:24:25 - «Практическое» решение
00:28:29 - Минимизация автомата
00:38:39 - Лемма об объединении классов в L_q
01:01:25 - Лемма о ПДКА для любого автоматного языка

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

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