Формальные языки и трансляции 5. Построение минимального автомата. Праволинейные грамматики

Таймкоды: 0:00 Начало 3:29 Доказательство утв-я про классы эквивалентности 13:49 Построение МПДКА по регулярке 14:29 Конечность классов эквивалентности 17:41 Теорема Майхилла-Нероуда 19:03 Пример доказательства неавтоматности языка 23:04 Порождающие грамматики 26:11 Пример грамматики 32:36 Выводимость в грамматике 37:22 Иерархия Хомского 47:34 Теорема об эквивалентности праволинейных грамматик и автоматных языков Лектор: Ахтямов Павел Ибрагимович Дата лекции: 01.10.2024 Оператор: Савельев Е. Монтажер: Андреев Я. Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvaB9lc47qlPq_XteD3l7HIs