Формальные языки 5SE весна 2018

Лекции

Преподаватель: Дворкин Михаил Эдуардович (mikhail.dvorkin@gmail.com)

Список билетов на экзамене

1. Детерминированные конечные автоматы. Принятие слова. Эквивалентность состояний. Минимизация ДКА.
2. Правые контексты. Прямое произведение ДКА. Динамическое программирование по ДКА.
3. Недетерминированные КА, их соотношение с детерминированными. Распознавание слова НКА. Детерминизация. Эквивалентность ДКА и НКА.
4. Академические регулярные выражения. Теорема Клини — эквивалентность КА и АРВ.
5. Лемма о разрастании для ДКА.
6. КС-грамматики. Вывод, левосторонний вывод, дерево разбора. Однозначные КС-грамматики.
7. Нормальная форма Хомского. Все этапы алгоритма приведения к НФХ.
8. Принадлежность слова КС-языку. Алгоритм Кока—Янгера—Касами.
9. Лемма о разрастании для КС-грамматик.
10. Автоматы с магазинной памятью, прием по пустому стеку и терминальному состоянию. Эквивалентность МП-автоматов и КС-грамматик.
11. Детерминированные автоматы с магазинной памятью, неэквивалентность двух видов приема. Соотношение регулярных, ДМП- и КС-языков.
12. Иерархия Хомского. Регулярные грамматики, эквивалентность ДКА. Неограниченные грамматики, эквивалентность машинам Тьюринга.
13. Контекстно-зависимые грамматики, неукорачивающие грамматики. Нормальная форма Куроды для КЗ- и произвольных грамматик, приведение к ней.

Ссылки

• Важная книга: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.
• neerc.ifmo.ru
• [1]
• [2]
• [3]
• [4]

Практика

Слабодкин Михаил

Контакты: slabodkinm@gmail.com

Таблица с результатами

Вербицкая Екатерина

Контакты: kajigor@gmail.com

Таблица с результатами

Домашние задания

Важно: префикс для темы писем с домашками: [FL_SPbAU] HWxx