如何去除yacc语法中的移位减少冲突

Question

我有以下语法：

Expression
    : SimpleExpression {$$ = $1;};
    | SimpleExpression LTnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    | SimpleExpression LEnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    | SimpleExpression EQnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    | SimpleExpression NEnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    | SimpleExpression GEnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    | SimpleExpression GTnum SimpleExpression
        { MkLeftC($1, $2); $$ = MkRightC($3, $2); }
    ;
SimpleExpression
    : PLUSnum Term op_terms
        { $$ = MakeTree(AddOp,$3,$2); }
    | MINUSnum Term op_terms
        { $$ = MakeTree(SubOp,$3,$2); }
    ;
op_terms
    : PLUSnum Term
        { $$ = MakeTree(AddOp,NullExp(),$2); }
    | PLUSnum Term op_terms
        { $$ = MakeTree(AddOp,$3,$2); }
    | MINUSnum Term
        { $$ = MakeTree(SubOp,NullExp(),$2); }
    | MINUSnum Term op_terms
        { $$ = MakeTree(SubOp,$3,$2); }
    | ORnum Term
        { $$ = MakeTree(OrOp,NullExp(),$2); }
    | ORnum Term op_terms
        { $$ = MakeTree(OrOp,$3,$2); }
    ;

我在y.output文件中得到了以下减少冲突的转换：

51: shift/reduce conflict (shift 74, reduce 57) on GTnum
51: shift/reduce conflict (shift 75, reduce 57) on NEnum
51: shift/reduce conflict (shift 76, reduce 57) on EQnum
51: shift/reduce conflict (shift 77, reduce 57) on GEnum
51: shift/reduce conflict (shift 78, reduce 57) on LEnum
51: shift/reduce conflict (shift 79, reduce 57) on LTnum
state 51
    Expression : SimpleExpression .  (57)
    Expression : SimpleExpression . LTnum SimpleExpression  (58)
    Expression : SimpleExpression . LEnum SimpleExpression  (59)
    Expression : SimpleExpression . EQnum SimpleExpression  (60)
    Expression : SimpleExpression . NEnum SimpleExpression  (61)
    Expression : SimpleExpression . GEnum SimpleExpression  (62)
    Expression : SimpleExpression . GTnum SimpleExpression  (63)

我需要帮助消除这些冲突。我在这里做错了什么？我试图设定优先规则，但不知怎么的，它们在这里似乎不起作用。有什么想法吗？

Answer 1

奇怪的语法。它应该是这样的形式：

Expression
    : SimpleExpression {$$ = $1;};
    | Expression LTnum SimpleExpression
    | Expression LEnum SimpleExpression
    | Expression EQnum SimpleExpression
    | Expression NEnum SimpleExpression
    | Expression GEnum SimpleExpression
    | Expression GTnum SimpleExpression
    ;

即使用左递归。

奇怪的树也是。它应该是通用的形式：

$$ = MkBinaryNode($1,$2,$3);