Формальные языки и трансляции 3. Теорема Клини. Существование МПДКА

Таймкоды: 0:00 Начало 6:30 Любой НКА задается регулярным автоматом 10:57 Упрощения регулярных автоматов 18:46 Любой регулярный автомат можно свести к 1 завершающему состоянию 30:50 Лемма о разрастании (накачке) 46:00 Применение отрицания леммы 52:39 Как проверить совпадение языков, задаваемых разными регулярками 59:39 Минимальные автоматы 1:02:20 Док-во того, что отношение по правому контексту - отношение экв-ти 1:09:54 Лемма о задании классов эквивалентности вершинами автомата 1:16:23 Следствие леммы о количестве состояний Лектор: Ахтямов Павел Ибрагимович Дата лекции: Оператор: Савельев Е. Монтажер: Андреев Я. Плейлист: