7.5.1 Алгоритм lr-анализа

Схематически LR-анализатор представлен на рис. 36. Он состоит из входного потока, выхода, стека, управляющей программы и таблицы синтаксического анализа, состоящей из двух частей (действие (action) и переход (goto)). Управляющая программа для всех LR-анализаторов одна и та же; изменяются только таблицы синтаксического анализа. Программа синтаксического анализа считывает символы из входного буфера по одному и использует стек для хранения строк вида s₀X₁s₁X₂s₂ …X_ms_m (s_m находится на вершине стека). Каждый символ X, является символом грамматики, а каждый s_i — символом состоянием. Каждый символ состояния обобщает информацию, содержащуюся в стеке ниже его. Комбинация символа состояния на вершине стека и текущего входного символа используется в качестве индекса таблицы синтаксического анализа и определяет дальнейшее действие — перенос или свертку. При реализации грамматические символы нe обязаны появляться в стеке, однако для облегчения понимания принципов работы LR-анализатора их лучше рассматривать.

Таблица синтаксического анализа состоит из двух частей — функции действий синтаксического анализа action и функции переходов goto. Управляющая программа LR-анализатора функционирует следующим образом. Она определяет s_m, текущее состояние на вершине стека, и a_i текущий входной символ. Затем программа обращается к асtion[s_m, а_i], ячейке таблицы действий синтаксического анализа, определяемой состоянием s_m и символом а_i, которая может иметь одно из четырех значений:

1) перенос s, где s — состояние;

2) свертка в соответствии с продукцией А →β;

3) допуск;

4) ошибка.

Рис. 36. Модель LR-анализатора

Функция goto получает в качестве аргументов состояние и символ грамматики и воз­вращает новое состояние. Функция goto таблицы синтаксического ана­лиза, построенная на основе грамматики G с использованием LR- метода, представляет собой функцию переходов детерминированного конеч­ного автомата. Начальным состоянием этого ДКА является состояние, изначально размещаемое на вершине стека LR-анализатора.

Конфигурация LR-анализатора представляет собой пару, первый компонент кото­рой — содержимое стека, а второй — непросмотренная часть входного потока: (s₀X_ls₎X₂s₂ …X_ms_m,a_ia_i+1 …a_n$). Эта конфигурация представляет правосентенциальную форму Х₁Х₂ …X_m a_ia_i+1…a_n, по сути, тем же способом, что и ПС-анализатор; новым яв­ляется только наличие в стеке состояний.

Следующий шаг синтаксического анализатора определяется текущим входным символом а, и состоянием на вершине стека s_m в соответствии со значением ячейки таблицы action[s_m, а_i]. Конфигурации, получаемые после каждого из четырех типов действий, следующие.

1. Если action[s_m, а_i] = "перенос s", синтаксический анализатор выполняет перенос, пе­реходя в конфигурацию (s₀X_ls₁X₂s₂ …X_ms_ma_is,a_ia_i+1 …a_n$). Синтаксический анализа­тор переносит в стек текущий входной символ а_i, и очередное состояние s, опреде­ляемое значением action[s_m, а_i]; текущим входным символом становится a_i+1.

2. Если action[s_m, а_i] = "свертка А → β”, то синтаксический анализатор выполняет свертку, переходя в конфигурацию (s₀X_ls₁X₂s₂ …X_m-rs_m-rAs,a_ia_i+1 …a_n$), где s = goto[s_m-r,A], а r — длина β, правой части продукции. Здесь синтаксический ана­лизатор вначале снимает со стека 2r - символов (r символов состояний и r символов грамматики), выводя на вершину стека состояние s_m-r. Затем он вносит в стек А (левую часть продукции) и s, запись из ячейки

goto[s_m-r, А]. Текущий входной символ при этом не изменяется. Последовательность снимаемых со стека символов грамматики X_m-r+1 … Х_т всегда соответствует правой части продукции свертки.

3. Если action[s_m, a_i] = "допуск", синтаксический анализ завершает свою работу.

4. Если action[s_m, a_i] = "ошибка", синтаксический анализатор обнаружил ошибку и вызывает подпрограмму восстановления после нее.

Все LR-анализаторы ведут себя одинаково; единственная разница между ними заключается в таблицах action и goto.