Как исправить этот YACC конфликта сдвиг/

Question

У меня есть эта грамматика

value 
    : INTEGER 
    | REAL 
    | LEFTBRACKET value RIGHTBRACKET 
    | op expression 
    | expression binaryop expression 
    ; 

и я получаю этот сдвиг уменьшить ошибку

47 expression: value . 
53 value: LEFTBRACKET value . RIGHTBRACKET 
RIGHTBRACKET shift, and go to state 123 
RIGHTBRACKET [reduce using rule 47 (expression)] 
$default  reduce using rule 47 (expression)` 

До сих пор я попытался установить% налево и% правильные приоритеты с не повезло. Я также попытался использовать новую грамматику для значения, которая не вызывает себя снова, но я получаю конфликты. Я попробовал this решение слишком

любые мысли?

Спасибо заранее

EDIT

expression 
    : lvalue 
    | value 
    ; 

lvalue 
    : IDENTIFIER 
    | lvalue LEFTSQBRACKET expression RIGHTSQBRACKET 
    | LEFTBRACKET lvalue RIGHTBRACKET 

binaryop 
    : PLUS 
    | MINUS 
    | MUL 
    | DIVISION 
    | DIV 
    | MOD 
    ; 

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

binaryop 
    : expression PLUS expression 
    | expression MINUS expression 
    | expression MUL expression 
    | expression DIVISION expression 
    | expression DIV expression 
    | expression MOD expression 
    ; 

Answer 1

Почему у вас есть как value, так и expression? Не видя остальной грамматики, я не решаюсь угадать использование expression, что приводит к конфликту, но я предполагаю, что это связано с ненужным производством единицы.

С другой стороны, вы не сможете устранить прецеденты, если вы запустите все терминалы оператора в binaryop (если все двоичные операторы не имеют одинакового приоритета). Поэтому я предлагаю вам найти грамматику стандартного выражения (например, в пособии бизона или википедии) и использовать ее в качестве базы.