Список всех тем лекций

Лекция 1. Формальные языки.

Лекция 2. Порождающие грамматики.

Лекция 3. Конечные автоматы.

Лекция 4. Теорема о детерминизации.

Лекция 5. Свойства замкнутости класса автоматных языков.

Лекция 6. Построение автомата для пересечения автоматных языков.

Лекция 7. Лемма о разрастании.

Лекция 8. Методы доказательства неавтоматности.

Лекция 9. Регулярные выражения.

Лекция10. Теорема Клини.

Лекция 11. Множества правых контекстов.

Лекция 12. Теорема Майхилла-Нероуда.

Лекция 13. Минимизация полных детерминированных конечных автоматов.

Лекция 14. Алгоритм Бжозовского.