Определяет возможность задания целых чисел со знаком и без

Него. Другой способ описать эту возможность состоит в зада-

нии следующей группы правил:

целое_число:знак целое_без_знака |

Целое_без_знака;

знак: '+'|'-';

С пустым правилом может быть обычным образом связано

действие:

ИМЯ: {тело_действия};

Во-вторых, правила часто описывают некоторую конструкцию

Рекурсивно, т.е. правая часть может рекурсивно включать

Определяемый нетерминальный символ. Различают леворекурсив-

ные правила вида:

<имя_нетерминала>:<имя_нетерминала>

<многократно_повторяемый_фрагмент>;

И праворекурсивные вида

<имя_нетерминала>:

<многократно_повторяемый_фрагмент>

<имя_нетерминала>;

Yacc допускает оба вида рекурсивных правил, однако при

Использовании правил с правой рекурсией объем анализатора

Увеличивается, а во время разбора возможно переполнение

Внутреннего стека анализатора.

Рекурсивные правила необходимы при задании последова-

Тельностей и списков. Следующие примеры иллюстрируют уни-

версальный способ описания этих конструкций:

последовательность: элемент

| последовательность элемент;

список: элемент|список ',' элемент;

- 11 -

Заметим, что в каждом из этих случаев первое правило (не

Содержащее рекурсии) будет применено только для первого эле-

Мента, а второе (рекурсивное) - для всех последующих. Нетер-

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