Экзаменационная программа

Программа курса "Основы построения трансляторов"

2010-2011 уч. год

1. Основные операции с цепочками символов. Понятие формального языка.

2. Определение формальной грамматики (общего вида) и языка, порождаемого грамматикой.

3. Проблема распознавания и неукорачивающие грамматики.

4. Грамматики с ограничениями на правила. Классификация грамматик и языков по Н. Хомскому.

5. Эквивалентность укорачивающих и неукорачивающих КС-грамматик.

6. Транзитивное замыкание бинарных отношений и его использование в теории формальных грамматик. Представление бинарных отношений и операций с ними с помощью булевых матриц.

7. Приведенные КС-грамматики.

8. Представление грамматических выводов с помощью ДГР. Однозначные и неоднозначные грамматики и языки.

9. Задача грамматического разбора. Восходящий и нисходящий грамматический разбор. Понятие канонического восходящего грамматического разбора.

10. Использование КС-грамматик для описания синтаксиса языков программирования. Грамматики арифметических выражений.

11. Детерминированные конечные автоматы как распознаватели языков.

12. Недетерминированные конечные автоматы как распознаватели языков. Построение эквивалентного детерминированного автомата по заданному недетерминированному автомату.

13. Эквивалентность конечных автоматов и автоматных грамматик.

14. Эквивалентность состояний и минимизация автоматов.

15. Фаза лексической обработки входных программ в компиляторах. Представление типовых лексем, общая схема построения лексического анализа.

16. Обработка числовых констант в лексическом анализаторе.

17. Обработка идентификаторов в лексическом анализаторе. Способы работы с таблицами.

18. Обобщенный алгоритм нисходящего синтаксического анализа с возвратами: процедура порождения узлов дерева в стеке, организация возвратов, примеры работы.

19. Метод рекурсивного спуска: общие принципы построения и пример реализации синтаксического анализатора.

20. Отношения предшествования и их использование при построении восходящих синтаксических анализаторов. Формальное определение отношений простого предшествования.

21. Грамматики простого предшествования: определение грамматик, стратификация, организация синтаксического анализа.

22. Функции простого предшествования: общее определение функций и процедура их вычисления.

23. Определение отношений операторного предшествования.

24. Грамматики операторного предшествования и особенности их синтаксического анализа (общий вид сентенциальных форм, выделение первичных фраз).

25. Автоматы с магазинной памятью. Способы допускания цепочек МП-автоматами. Расширенные МП-автоматы.

26. Эквивалентность МП-автоматов и КС-грамматик.

27. LL(k) и LR(k)-грамматики.

28. Постфиксная запись простых выражений. Использование постфиксной записи в трансляторах и интерпретаторах. Способы получения постфиксной записи.

29. Постфиксная запись переменных с индексами. Представление массивов в памяти ЭВМ.

30. Постфиксная запись условных выражений.

31. Постфиксная запись операторов цикла.

Лектор потока

к.т.н., доц. _________________________ Пашинцев В.Д.