Миналом digit возникает конфликт между двумя возможными

свертками: к нетерминалу dec_sequence в результате примене-

Ния правила (5) и к нетерминалу hex_sequence с помощью пра-

Вила (7). Заметим, что эта грамматика, в отличиe от грамма-

Тики в предыдущем примере, не позволяет корректно разобрать

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

Const определен однозначно. Однако, алгоритм разбора с

Просмотром вперед на 1 символ не в состоянии правильно осу-

Ществить выбор нужного правила. Следовательно, в этом случае

Речь идет о неоднозначности грамматики по отношению к приня-

Тому в yacc методу разбора. Поскольку вопрос о принципиаль-

Ной неоднозначности грамматики формально неразрешим, будем в

Дальнейшем понимать под неоднозначностью невозможность для

- 21 -

Анализатора в некоторые моменты разбора выбрать очередное

Действие. Каждая ситуация (т.е. появление в некотором состо-

Янии некоторой входной лексемы), которая при разборе спо-

собна вызвать конфликт "сдвиг/свертка" или "свертка/

свертка", выявляется yacc уже на этапе построения граммати-

Ческого анализатора. При этом yacc выдает сообщение о числе

Выявленных конфликтных ситуаций обоих видов, а в выходной

Файл y.output (если он формируется) помещается подробное

Описание всех конфликтов. Однако, yacc не считает наличие

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