Загрузка страницы

Формальные языки и трансляции 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. Слова и языки. Конечные автоматы канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Введите заголовок:

Введите адрес ссылки:

Введите адрес видео с YouTube:

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