Формальные языки и трансляции 1. Слова и языки. Конечные автоматы
2:36 - Приложение предмета
5:24 - Список литературы
10:16 - Основные определения
13:05 - Основные операции
22:56 - Определение конечного автомата
29:31 - Эквивалентность НКА другому НКА с шагом не более 1 буквы
31:14 - Теорема о НКА с однобуквенными переходам
52:45 - Вспомогательные определения
55:04 - Финальное доказательство теоремы
1:02:56 - Теорема о эквивалентности НКА и ДКА
Лекция от 6 сентября 2019
Лектор: Сорокин Алексей Андреевич
Оператор: Рухадзе Альбина
Монтаж: Бердовский Алексей
Видео Формальные языки и трансляции 1. Слова и языки. Конечные автоматы канала Лекторий ФПМИ
5:24 - Список литературы
10:16 - Основные определения
13:05 - Основные операции
22:56 - Определение конечного автомата
29:31 - Эквивалентность НКА другому НКА с шагом не более 1 буквы
31:14 - Теорема о НКА с однобуквенными переходам
52:45 - Вспомогательные определения
55:04 - Финальное доказательство теоремы
1:02:56 - Теорема о эквивалентности НКА и ДКА
Лекция от 6 сентября 2019
Лектор: Сорокин Алексей Андреевич
Оператор: Рухадзе Альбина
Монтаж: Бердовский Алексей
Видео Формальные языки и трансляции 1. Слова и языки. Конечные автоматы канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Алгебра и геометрия 29. Основная теорема арифметики многочленаАлгебра и геометрия 28. Алгебра над полем, многочленыАлгебра и геометрия 27. Смежные классы, теорема ЛагранжаАлгебра и геометрия 26. Теорема Кэли, порядокАлгебра и геометрия 25. Свойства определителя, теорема КэлиАлгебра и геометрия 24. Свойства определителяДифференциальные уравнения 13. Зависимость решения задачи Коши от параметра.Введение в математическую логику 15. Программа ГильбертаИнтеграл Лебега и теория поля 15. Формула Остроградского-ГауссаМетапрограммирование 17. МакросыИнтеграл Лебега и теория поля 7. Сведение кратных интегралов к повторным (продолжение).Дискретный анализ 14. Алгоритм AKS, часть 2C++ 6. xvalues, RVO, copy elision, move_if_noexceptC++ 13. Objects as non-type template parameters / consteval / std::is_constant_evaluatedСлучайные процессы 11. Цепи МарковаДифференциальные уравнения 14. Геодезические задачиДифференциальные уравнения 13. Изопериметрические задачиДифференциальные уравнения 12. Необходимые условия экстремума функционала для разных задачАлгоритмы (базовый поток) 13. Потоки-2Функциональный анализ 13. Свёртка в L1(R)Программирование основных алгоритмов 12. Суффиксный автомат (2). Быстрое преобразование Фурье (FFT)