
- •2. Недетерминированный конечный автомат: формальное определение, построение множества достижимых состояний.
- •4. Преобразование недетерминированного конечного автомата в детерминированный.
- •6. Контекстно-свободные языки. Вывод. Дерево вывода.
- •8. Метод грамматического разбора сверху - вниз. Ll(1) – грамматики.
- •10. Левая факторизация.
- •12. Построение множества follow
- •14. Алгоритм работы таблично управляемого анализатора для ll(1) – грамматики.
- •32. Генератор компиляторов уасс. Использование неоднозначных грамматик.
- •18. Разбор методом «сдвиг – свертка» (shift – reduce) на основе стека.
- •24. Алгоритм заполнения таблиц разбора для slr (1) анализатора.
- •28. Построение абстрактного синтаксического дерева.
- •22. Каноническая совокупность множеств ситуаций.
- •34. Автомат с магазинной памятью. Допустимость по заключительному состоянию и по пустому магазину.
- •36. Lr(1) анализ. Lr(1)-ситуация. Замыкание множества ситуаций. Определение переходов.
- •16. Построение отношения предшествования операторов исходя из их ассоциативности и приоритета. Алгоритм разбора для грамматик простого предшествования.
- •38. Lalr(1) – грамматики. Построение lalr(1) – таблиц разбора.
- •1. Операции над языками. Регулярные выражения.
- •4) Положительное замыкание Клини (без пустой строки):
- •3. Преобразование регулярных выражений в недетерминированный конечный автомат
- •5. Минимизация детерминированного конечного автомата.
- •13. Построение таблицы разбора для ll(1) – грамматики
- •7. Контекстно-свободные грамматики для регулярных языков.
- •11. Построение множества first
- •9. Исключение левой рекурсии.
- •15. Грамматики простого предшествования. Использование отношения предшествования операторов
- •21. Алгоритм вычисления замыкания множества ситуаций (Closure).
- •17. Синтаксический анализ снизу – вверх. Основа. Подрезка основы.
- •19. Активный префикс. Обосновать, что основа всегда формируется в вершине стека.
- •27. Синтезируемые атрибуты. Их обработка в алгоритме сдвиг–свертка.
- •23. Переходы в slr (1) анализаторе. Функция goto. Допустимая ситуация.
- •29. Наследуемые атрибуты. Граф зависимостей.
- •25. Алгоритм lr – разбора.
- •33. Автомат с магазинной памятью. Графическое представление автомата с магазинной памятью. Вычислительный процесс в мп – автомате.
- •37. Lr(1) анализ. Заполнение таблиц lr-разбора
- •35. Типы и проверка типов.
- •26. Контекстно–зависимый анализ. Синтаксически управляемая трансляция.
21. Алгоритм вычисления замыкания множества ситуаций (Closure).
Для заданного множества ситуаций I грамматики G, замыкание этого множества Closure(I) строится по двум правилам:
Базовый случай: все ситуации I Î closure(I).
Общий случай (шаг индукции): если ситуация [ A → α • B β ] Î closure(I), правило может начать ожидать свою основу B → γ (существует такая продукция), то добавим ситуацию [ B → • γ ] Î closure(I).
Этот процесс выполняется до тех пор, пока что-то можно добавить в множество closure(I).
Пример:
Для пополненной грамматики:
E’ → E [E’ → • E]
E → E + T | T [E → • E + T]
T → T * F | F [E → • T]
F → ( E ) | id [T → • T * F]
Если вначале множество I содержит 1 ситуацию: [T → • F]
Построим closure(I), где I = {[E’ → •E]}: [F → •( E )]
closure(I) будет содержать: [F → • id]
17. Синтаксический анализ снизу – вверх. Основа. Подрезка основы.
Основная идея разбора снизу вверх состоит в следующем. Находим продукцию, правая часть которой совпадает с фрагментом входной последовательности. Заменяем найденный фрагмент нетерминалом левой части продукции.
При таком разборе применяется метод “сдвиг-приведение”. В процессе разбора этим методом строится дерево разбора входной строки с листьев к корню. Этот процесс можно рассматривать как приведение (свертку) входной строки к стартовому символу грамматики. Если на каждом шаге выбирается правильная подстрока для замены нетерминалом по некоторому правилу, то в обратном порядке прослеживается правосторонний вывод.
Из входной последовательности берем по символу и сдвигаем в стек. Если в стеке окажется правая часть правила, то замещаем ее на нетерминал левой части. Просматривая входную последовательность слева на право, находим в ней правую часть правила, и заменяем на нетерминал в левой части (Должен быть правый вывод). Основой правой сентенциальной γ называется продукция А→β , и позиция в γ , где находится фрагмент β, который можно заменить на А, и при этом получится предыдущая правая сентенциальная форма с правым выводом γ. Основа – самое левое полное поддерево, состоящее из узла и потомков.
Возьмем грамматику:
1) S → a A B e 2) A → A b c 3)A → b 4)B → d
Последовательность abbcde можно привести к S сл. образом:
abbcde ⇐ aAbcde ⇐ aAde ⇐ aABe ⇐ S
Это соответствует правому выводу: S ⇒ aABe ⇒ aAde ⇒ aAbcde ⇒ abbcde
Подрезка основы – это главная задача анализатора, с помощью её можно получить обращенное правое порождение. Мы начинаем процесс со строки терминалов w, которую хотим проанализировать. Если w – предложение рассматриваемое грамматики, то w = γn где γn - n-я правосентенциальная форма некоторого, ещё неизвестного правого порождения S => γ0 => γ1=> γ2 => … γn = w. Для воссоздания этого порождения в обратном порядке мы находим основу βn в γn и заменяем её левой частью продукции An -> βn для получения (n-1)-й сентенциальной формы γn-1. Затем повторяем описанный процесс.
При использования стека в момент появления основы в нем определяется левый край основы (т.е сколько позиций менять) и каким нетерминалом.