Формальные языки и трансляции 13. Нормальная форма ДМП-автомата

0:48 - Следствие из теоремы (см. пред. лекцию) 2:27 - Теорема о нормальных формах ДМП-автомата 6:22 - Доказательство теоремы 43:54 - Теорема о связи ДМП-автоматов и однозначных КС-грамматик 1:02:13 - Дополнительные утверждения о ДМП-автоматах 1:04:38 - Конечные преобразователи 1:08:55 - Теоретические примеры 1:12:57 - Простые утверждения Лекция от 6 декабря 2019 Лектор: Сорокин Алексей Андреевич Оператор: Рухадзе Альбина Монтаж: Бердовский Алексей