filmov
tv
Формальные языки 4. Минимизация ПДКА, лемма о разрастании
Показать описание
00:00:00 - Продолжение доказательства леммы о ПДКА
00:09:18 - Теорема о минимальном ПДКА
00:25:25 - Теорема о единственности ПДКА
00:48:12 - Алгоритм построения минимального ПДКА: слова малой длины
01:02:42 - Алгоритм построения минимального ПДКА: классы
01:03:32 - Теорема Майхилла-Нероуда
01:06:11 - Лемма о разрастании (лемма о накачке, pumping lemma)
01:13:42 - Как показать, что язык не является автоматным, используя отрицание леммы о разрастании?
01:15:38 - Пример: a^n b^n
Дата лекции: 28.09.2021
Лектор: Ахтямов Павел
Оператор: Мария Шкатова
Монтаж: Алексей Горбулев
00:09:18 - Теорема о минимальном ПДКА
00:25:25 - Теорема о единственности ПДКА
00:48:12 - Алгоритм построения минимального ПДКА: слова малой длины
01:02:42 - Алгоритм построения минимального ПДКА: классы
01:03:32 - Теорема Майхилла-Нероуда
01:06:11 - Лемма о разрастании (лемма о накачке, pumping lemma)
01:13:42 - Как показать, что язык не является автоматным, используя отрицание леммы о разрастании?
01:15:38 - Пример: a^n b^n
Дата лекции: 28.09.2021
Лектор: Ахтямов Павел
Оператор: Мария Шкатова
Монтаж: Алексей Горбулев
1:22:35
Формальные языки 4. Минимизация ПДКА, лемма о разрастании...
1:15:21
Формальные языки и трансляции 4. МПДКА. Праволинейные грамматики...
1:18:28
Формальные языки 3. Минимизация ПДКА
1:23:18
Формальные языки и трансляции 4. Канонический МПДКА. Неавтоматные языки...
1:19:20
Формальные языки и трансляции 3. Теорема Клини. Существование минимального ПДКА...
0:03:54
12 Дополнительные пример ДКА
0:08:25
ЛЕКЦИЯ №4 (end) -ПОНЯТИЕ Р-ГРАФА. РЕГУЛЯРНЫЕ МНОЖЕСТ,ВЫРАЖЕНИЯ. МИНИМИЗАЦИЯ КОНЕЧНЫХ АВТОМАТОВ...
1:19:00
Формальные языки и трансляции 2. ДКА, ПДКА, их построение...
1:23:24
Формальные языки и трансляции 5. Порождающие грамматики. Праволинейные грамматики. КС-грамматики...
1:14:10
Формальные языки и трансляции 3. Полные ДКА
1:17:27
Формальные языки 7. Лемма о разрастании для КС-языков. МП-автоматы...
1:17:44
ДМ 1 курс - формальные языки - определения, регулярные языки, ДКА...
1:31:29
ДМ 1 курс - формальные языки - regex по автомату, нерегулярность, лемма о разрастании, минимизация...
1:19:03
Формальные языки 10. Алгоритм LR
1:32:00
ДМ 2 семестр 9 лекция: Минимизация и эквивалентность ДКА, лемма о накачке для ДКА...
1:26:31
ТА Лекция 4. Минимизация дка. Лекция Лыткиной Д.В.
1:47:51
ДМ 2 семестр 10 лекция: Операции с ДКА и быстрая минимизация...
1:25:09
ДМ 1 курс - Минимизация ДКА, нерегулярные языки
1:04:06
Формальные языки и трансляции 1. Слова и языки. Конечные автоматы...
1:01:35
Формальные языки и трансляции 9. Алгоритм переноса-свертки...
1:27:20
ТРЯП-5. Структурные свойства регулярных языков
1:31:21
ТРЯП дополнительный семинар 1. Построение РВ и ДКА. Регулярность языков...
1:25:41
ДМ 1 курс - НКА, eps-замыкание, теорема Клини
1:33:09
ДМ 1 курс - Уравнения в рег. выражениях, Анализ ДКА, Быстрая минимизация...
Комментарии