Формальные языки и трансляции 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:    • [ФЯиТ] Формальные языки и трансляции (2 ку...   Плейлист в ВК: https://vkvideo.ru/playlist/-20607802...