Формальные языки и трансляции 4. Построение и единственность МПДКА. Порождающие грамматики

Таймкоды: 00:00:00 - Определение изморфизма автоматов 00:06:36 - Канонический МПДКА 00:12:38 - Канонический изоморфизм и его построение 00:34:12 - Теорема Майхилла-Нероуда 00:38:07 - Пример применения для доказательства неавтоматности 00:41:05 - Минимизация ПДКА 00:53:03 - Доказательство леммы 00:58:27 - Пример минимизации 01:01:59 - Регулярное выражение в МПДКА 01:02:33 - Порождающие грамматики 01:06:35 - Пример про сушки 01:12:13 - Отношение выводимости 01:16:09 - Иерархия Хомского Дата лекции: 25.09.25 Лектор: Ахтямов Павел Ибрагимович Оператор: Гумерова Лэйла Монтажёр: Гумерова Лэйла Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbFjcQTVmo7diaFmk8ypIDr Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_149