Алгоритм построения правого разбора по списку разбора
Вход: КС-грамматика
без циклов, правила которой занумерованы
числами от 1 до
,
входная цепочка
и список разбора
для цепочки
.
Выход: Правый разбор цепочки или сообщение об ошибке.
Метод:
Если в списке
нет ситуации вида
,
то
.
Поэтому надо выдать сигнал «ошибка» и
остановиться. В противном случае положить
и выполнить процедуру
.
Процедура
определяется так:
Если - номер правила , то пусть значением переменной будет цепочка, начинающаяся номером , за которым следует предыдущее значение , т.е.
.
(Предполагается, что
- глобальная переменная)Если
,
то положить
и
.Если
,
вычесть 1 из
и из
.Если , найти в
ситуацию
для некоторого
,
для которого ситуация
.
Затем выполнить процедуру
вычесть 1 из
и положить
.
Повторять шаг 3 до тех пор, пока не станет . После этого остановиться.
Пример №1
Задание.
Пусть задана грамматика с правилами
и
– входная цепочка, для которой построен
список разбора
:
Решение.
Так как ситуация вида , то исходная цепочка принадлежит языку . Назначаем и вызываем процедуру
: 
,
,
,
,
,
,
.
Так как
,
то
,
где
и
.
Вызываем
: 
,
,
,
,
,
, .
Так как
,
то
,
где
и
.
Вызываем
: 
,
,
,
,
,
,
.
Так как
,
то
,
где
и
.
Вызываем
: 
,
,
,
,
,
,
.
Так как
,
то
,
.
Вернулись из процедуры.
,
.
Вернулись из процедуры.
,
.
Так как
,
то
,
.
Так как
,
то
,
где
и
.
Вызываем
: 
,
,
,
,
,
,
.
Так как
,
то
,
.
Так как
,
то
,
где
и
.
Вызываем
: 
,
,
,
,
,
,
.
Так как
,
то
,
где
и
.
Вызываем
:
,
,
,
,
,
, .
Так как
,
то
,
где
и
.
Вызываем
:
,
,
,
,
, , .
Так как
,
то
,
где
и
.
Вызываем
:
,
,
,
,
, , .
Так как
,
то
,
.
Вернулись из процедуры.
,
.
Вернулись из процедуры.
, .
Вернулись из процедуры.
, .
Так как
,
то
,
.
Так как
,
то
,
где
и
.
Вызываем
:
,
,
,
,
,
,
.
Так как
,
то
,
где
и
.
Вызываем
:
,
,
,
,
, , .
Так как
,
то
,
.
Вернулись из процедуры.
,
.
Вернулись из процедуры.
, .
Вернулись из процедуры.
, .
Так как
,
то
,
.
Вернулись из процедуры.
,
.
Вернулись из процедуры.
, .
Вернулись из процедуры.
Правый разбор
для входной цепочки
.