Ритетах и ассоциативности лексем и правил.

В качестве примеров устранения конфликтов путем измене-

ния правил приведем перестроенные варианты рассматривавшихся

Выше грамматик. Поскольку исходные конфликтные грамматики

Полностью удовлетворяют требованиям генерируемых ими языков,

Но содержат недостаточно информации для однозначного раз-

Бора, перестройка правил носит уточняющий характер.

Перестроенная грамматика константного арифметического

выражения:

expr: expr1

|

expr '+' expr1

|

expr '-' expr1;

expr1: CONST

|

expr1 '*' CONST

|

expr1 '/' CONST;

Ниже будет приведен также вариант грамматики, полученной из

Исходной введением приоритетов (без перестройки правил).

Перестроенная грамматика для задания константы:

const: const_10

| const_16;

const_10: dec_sequence;

const_16: hex_sequence 'x'

| dec_sequence 'x';

dec_sequence: digit

| dec_sequence digit;

hex_sequence: ABCDEF

| dec_sequence ABCDEF

| hex_sequence ABCDEF

|hex_sequence dec_sequence;

ABCDEF:...

digit:...

- 24 -

Рассмотрим теперь второй из используемых yacc способов раз-

Решения конфликтов, базирующийся на задании пользователем

Информации о приоритетах и ассоциативности. Отметим предва-

рительно две основные причины конфликтности грамматик:

Принципиальная невозможность задать генерируемый язык

Бесконфликтной грамматикой;

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