Способами. Рассмотрим, например, набор правил, описывающих

константное арифметическое выражение:

expr: CONST /*1*/

|

expr '+'expr /*2*/

|

expr '-'expr /*3*/

|

expr '*'expr /*4*/

|

expr '/'expr; /*5*/

Описывая возможность построения выражения из двух выра-

Жений, соединенных знаком арифметической операции, правила

Неоднозначно определяют путь разбора некоторых входных

строк. Так, строка вида:

expr*expr-expr

Допускает два пути разбора, приводящих к различным группи-

ровкам ее элементов:

expr*(expr-expr) и (expr*expr) - expr

С точки зрения работы грамматического анализатора дан-

Ная ситуация проявляется в неоднозначности выбора действия

при вводе лексемы "-" в момент, когда разобранная часть

строки приведена к виду expr*expr. Два возможных действия

анализатора состоят в следующем:

Можно ввести следующий символ и без применения правила

Подстановки перейти в новое состояние. В разделе 1 мы

Назвали такое действие сдвигом. Выбор сдвига приведет к

Тому, что в одном из следующих состояний ко второй

Части конструкции для приведения ее к expr будет приме-

Нено правило (3), а затем вся полученная конструкция

Сведется к expr применением правила (4).

- 20 -

Можно сразу применить к конструкции expr*expr правило

(4), тем самым приведя ее к expr, и без ввода нового

Символа перейти в очередное состояние. Такое действие в

Разделе 1 было названо сверткой. Использование свертки

Не нашли, что искали? Воспользуйтесь поиском: