SLR грамматика - SLR grammar

В Общая наука, SLR грамматики класс формальные грамматики принято Простой парсер LR. Грамматики SLR - это надмножество всех грамматик LR (0) и подмножество всех грамматик LALR (1) и LR (1).

При обработке парсером SLR грамматика SLR преобразуется в таблицы синтаксического анализа без конфликтов сдвига / уменьшения или уменьшения / уменьшения для любой комбинации состояния синтаксического анализатора LR (0) и ожидаемого опережающего символа. Если грамматика не является SLR, таблицы синтаксического анализа будут иметь конфликты сдвига / уменьшения или уменьшения / уменьшения конфликтов для некоторого состояния и некоторых предварительных символов, и результирующий отклоненный синтаксический анализатор больше не является детерминированным. Синтаксический анализатор не может решить, следует ли выполнить следующий сдвиг или уменьшить, или не может выбрать между двумя вариантами сокращения. Синтаксические анализаторы SLR используют вычисление Follow (A) для выбора ожидаемых символов для каждого завершенного нетерминала.

Парсеры LALR используйте другой расчет, который иногда дает меньшие и более точные наборы опережающих вычислений для одних и тех же состояний анализатора. Эти меньшие наборы могут устранить перекрытие с действиями сдвига состояния и перекрытие с опережением для других сокращений в этом же состоянии. Конфликты перекрытия, о которых сообщают парсеры SLR, тогда являются ложными, что является результатом приблизительного расчета с использованием Follow (A).

Грамматика, которая двусмысленный будет иметь неизбежные конфликты сдвига / уменьшения или уменьшения / уменьшения конфликтов для каждого метода анализа LR, включая SLR. Обычно грамматики компьютерного языка могут быть неоднозначными, если какой-то нетерминал является как леворекурсивным, так и праворекурсивным:

Expr → Expr * Val
Выражение → Val + Выражение
Expr → Val

Определения

Правило формы B → y • в состоянии SLR (1) автомата называется неприводимым или в пониженное состояние потому что он был полностью расширен и не может проходить смену. Правила в этом состоянии будут иметь точку (•, текущую позицию упреждения), расположенную в самом правом конце его RHS (правой стороны).

Правила

Грамматика называется SLR (1) тогда и только тогда, когда для каждого состояния s в автомате SLR (1) не нарушается ни одно из следующих условий:

  1. Для любого сводимого правила A → a • Xb в состоянии s (куда Икс - некоторый терминал), не должно существовать неприводимого правила, B → a • в том же состоянии s так что следить набор B содержит терминал Икс. Говоря более формально, пересечение множества, содержащего терминал Икс и следующий набор B должно быть пусто. Нарушение этого правила является Конфликт Shift-Уменьшить.
  2. Для любых двух полных предметов A → a • и B → b • в s, Следуйте (A) и Следуйте (B) не пересекаются (их пересечение - пустое множество). Нарушение этого правила является Уменьшить-уменьшить конфликт.

Алгоритм разбора

Грамматика называется SLR (1), если следующее простой парсер LR алгоритм не допускает двусмысленности.

  1. Если состояние s содержит любой элемент формы A → a • Xb, куда Икс это терминал, и Икс является следующим токеном во входной строке, тогда действие заключается в перемещении текущего входного токена в стек, а новое состояние, которое будет помещено в стек, - это состояние, содержащее элемент A → aX • b.
  2. Если состояние s содержит полный элемент A → y • , а следующий токен во входной строке находится в Следуйте (A), то действие сводится по правилу А → у. Снижение по правилу S '→ S, куда S - начальное состояние, эквивалентно принятию; это произойдет, только если следующий входной токен $. Во всех остальных случаях новое состояние вычисляется следующим образом. Удалить строку у и все соответствующие состояния из стека синтаксического анализа. Соответственно, вернуться в DFA к состоянию, из которого построена у началось. По построению это состояние должно содержать элемент вида B → a • Ab. Толкать А в стек и поместите состояние, содержащее элемент B → aA • b.
  3. Если следующий входной токен таков, что ни один из двух вышеуказанных случаев не подходит, объявляется ошибка.

Смотрите также

Рекомендации

  • «Конструирование компилятора: принципы и практика» Кеннета К. Лаудена.