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

Грамматического разбора.

Грамматики, конфликтные по второй причине, всегда

Допускают преобразование правил до полного устранения конф-

ликтов; в случае конфликтов сдвиг/свертка yacc всегда может

Построить для этих грамматик корректный разбор путем разре-

Шения конфликтов. Для грамматик, конфликтных по причине 1,

Попытки разрешения конфликтов не приведут к нужному резуль-

Тату. Однако, надо убедиться в том, что конфликтная грамма-

тика действительно отражает входной язык: возможно, конф-

Ликты не имеют отношения к этому языку, а вызваны неодноз-

Начностью другого, реально описанного языка. Вообще, конф-

Ликты стоит рассматривать как повод проверить грамматику на

Соответствие языку (хотя последнее не гарантируется и

Отсутствием конфликтов). Задание приоритетов для неверной

Грамматики не приведет к генерации нужного языка, но может

Замаскировать ошибки, сняв вопрос о конфликтах.

Приоритетное разрешение конфликтов сдвиг/свертка сос-

Тоит в том, что с обоими действиями yacc ассоциирует приори-

Теты (со сдвигом - приоритет лексемы, чтение которой вызы-

Вает данный конфликт, со сверткой - приоритет конкурирующего

Правила) и выбирает более приоритетное действие. В случае

Равенства приоритетов yacc руководствуется при выборе

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