Лекции
1
Лекция 1. Формальные языки
01:51:59
2
Лекция 2. Порождающие грамматики
01:47:53
3
Лекция 3. Конечные автоматы
01:40:31
4
Лекция 4. Теорема о детерминизации
01:29:56
5
Лекция 5. Свойства замкнутости класса автоматных языков
01:37:05
6
Лекция 6. Построение автомата для пересечения автоматных языков
01:22:55
7
Лекция 7. Лемма о разрастании
01:35:11
8
Лекция 8. Методы доказательства неавтоматности
01:49:08
9
Лекция 9. Регулярные выражения
01:22:33
10
Лекция10. Теорема Клини
01:28:34
11
Лекция 11. Множества правых контекстов
01:28:45
12
Лекция 12. Теорема Майхилла-Нероуда
01:47:31
13
Лекция 13. Минимизация полных детерминированных конечных автоматов
01:48:49
14
Лекция 14. Алгоритм Бжозовского
01:35:56