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

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