ТА и ФЯ - вопросы
.docВопросы для подготовки к экзамену
по дисциплине
«Теория автоматов и формальных языков»
-
Слова. Языки. Операции над языками.
-
Регулярные языки. Регулярные выражения и определения.
-
Конечные автоматы (детерминированные и недетерминированные) и языки, ими определяемые.
-
Построение по недетерминированному автомату эквивалентного детерминированного.
-
Недостижимые и неразличимые состояния автомата. Минимизация числа состояний в автомате.
-
Построение автомата, соответствующего регулярному выражению.
-
Замкнутость класса регулярных языков относительно теоретико-множественных операций.
-
Алгоритмические проблемы, связанные с регулярными языками.
-
Лемма о разрастании для регулярных языков. Примеры нерегулярных языков.
-
Формальные грамматики. Выводы в грамматиках. Язык грамматики. Классификация грамматик (иерархия Хомского).
-
Контекстно-свободные (КС) грамматики и языки. Левый и правый вывод. Дерево разбора. Однозначные и неоднозначные грамматики.
-
Алгоритмы устранения недостижимых и бесполезных символов в грамматиках.
-
Алгоритмы устранения -правил и цепных правил.
-
Алгоритм устранения левой рекурсии.
-
Нисходящий синтаксический разбор с возвратами для КС-грамматик.
-
Восходящий синтаксический разбор с возвратами для КС-грамматик.
-
LL(k)-грамматики. Алгоритм разбора для LL(k)-грамматик. Построение управляющей таблицы для LL(1)-грамматик.
-
LR(k)-грамматики. Алгоритм разбора для LR(1)-грамматик. Построение управляющей SLR(1)-таблицы.
-
Построение управляющей LR-таблицы для неоднозначной грамматики.