Нисходящие распознаватели языков

Рекурсивный спуск

Сущность метода

В основе метода рекурсивного спуска лежит левосторонний разбор строки языка. Исходной сентенциальной формой является начальный символ грамматики, а целевой – заданная строка языка. На каждом шаге разбора правило грамматики применяется к самому левому нетерминалу сентенции. Данный процесс соответствует построению дерева разбора цепочки сверху вниз (от корня к листьям).

ПримерДана грамматика с правилами . Требуется выполнить анализ строки cabca^.

Левосторонний вывод цепочки имеет вид:

.

Нисходящее дерево разбора цепочки представлено на рисунке 3.2.

 

 

 

 

Рисунок 3.2 – Дерево нисходящего разбора цепочки cabca^

 

Метод рекурсивного спуска реализует разбор цепочки сверху вниз следующим образом. Для каждого нетерминального символа грамматики создается своя процедура, носящая его имя. Задача этой процедуры – начиная с указанного места исходной цепочки, найти подцепочку, которая выводится из этого нетерминала. Если такую подцепочку считать не удается, то процедура завершает свою работу вызовом процедуры обработки ошибок, которая выдает сообщение о том, что цепочка не принадлежит языку грамматики и останавливает разбор. Если подцепочку удалось найти, то работа процедуры считается нормально завершенной и осуществляется возврат в точку вызова. Тело каждой такой процедуры составляется непосредственно по правилам вывода соответствующего нетерминала, при этом терминалы распознаются самой процедурой, а нетерминалам соответствуют вызовы процедур, носящих их имена.

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

Введем следующие обозначения:

1) СH – текущий символ исходной строки;

2) gc – процедура считывания очередного символа исходной строки в переменную СH;

3) Err - процедура обработки ошибок, возвращающая по коду соответствующее сообщение об ошибке.

С учетом введенных обозначений, процедуры синтаксического разбора будут иметь вид.

 

procedure S;

begin

A; B;

if CH<>¢^¢ then ERR

end;

procedure A;

begin

if CH=¢a¢ then gc

else if CHc¢

then begin

gc; A

end

else Err

end;

procedure B;

begin

if CH= ¢b¢ then

begin

gc; B

end

else Err

end;








Дата добавления: 2016-03-27; просмотров: 1403;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.005 сек.