3 Теорема Клини Существование МПДКА

Теорема Клини о неподвижной точке — утверждение о существовании наименьшей неподвижной точки у всякого непрерывного по Скотту отображения полного частично упорядоченного множества на себя. Результат относят к Стивену Клини. Используется в теории областей, теории решёток, теории графов, теории автоматов. Видео о теореме Клини и существовании МПДКА можно посмотреть на сайте «ВКонтакте» в видео от Лекторий ФПМИ. Также видео на эту тему доступно на RUTUBE на канале «Питоновый анализ данных в области генеалогии». Кроме того, на сайте Московского физико-технического института есть курс «Математическая логика и теория алгоритмов», в котором представлена теорема Клини о неподвижной точке. 00:05 Введение в минимальный полный детерминированный конечный автомат 01:45 Определение регулярного автомата 06:24 Утверждение о создании регулярного автомата 12:36 Построение регулярного выражения по автомату 19:09 Переход к автоматам с более чем тремя состояниями 20:40 Введение в регулярные выражения 21:09 Преобразование переходов 22:09 Уменьшение состояний 26:45 Пример преобразования 30:06 Лемма о разрастании 34:07 Доказательство леммы 39:59 Длина слова и автомат 43:06 Минимальное значение т 45:37 Отрицание леммы о разрастании 52:51 Регулярные выражения и автоматные языки 55:15 Проверка эквивалентности автоматов 58:59 Введение в минимальный автомат 59:52 Определение эквивалентности по правому контексту 01:04:03 Построение классов эквивалентности 01:12:12 Доказательство эквивалентности состояний 01:16:42 Заключение и дальнейшие шаги

Видео 3 Теорема Клини Существование МПДКА автора Сталинский Букварь