ТА и ФЯ - вопросы

Вопросы для подготовки к экзамену

по дисциплине

«Теория автоматов и формальных языков»

1. Слова. Языки. Операции над языками.

2. Регулярные языки. Регулярные выражения и определения.

3. Конечные автоматы (детерминированные и недетерминированные) и языки, ими определяемые.

4. Построение по недетерминированному автомату эквивалентного детерминированного.

5. Недостижимые и неразличимые состояния автомата. Минимизация числа состояний в автомате.

6. Построение автомата, соответствующего регулярному выражению.

7. Замкнутость класса регулярных языков относительно теоретико-множественных операций.

8. Алгоритмические проблемы, связанные с регулярными языками.

9. Лемма о разрастании для регулярных языков. Примеры нерегулярных языков.

10. Формальные грамматики. Выводы в грамматиках. Язык грамматики. Классификация грамматик (иерархия Хомского).

11. Контекстно-свободные (КС) грамматики и языки. Левый и правый вывод. Дерево разбора. Однозначные и неоднозначные грамматики.

12. Алгоритмы устранения недостижимых и бесполезных символов в грамматиках.

13. Алгоритмы устранения -правил и цепных правил.

14. Алгоритм устранения левой рекурсии.

15. Нисходящий синтаксический разбор с возвратами для КС-грамматик.

16. Восходящий синтаксический разбор с возвратами для КС-грамматик.

17. LL(k)-грамматики. Алгоритм разбора для LL(k)-грамматик. Построение управляющей таблицы для LL(1)-грамматик.

18. LR(k)-грамматики. Алгоритм разбора для LR(1)-грамматик. Построение управляющей SLR(1)-таблицы.

19. Построение управляющей LR-таблицы для неоднозначной грамматики.