0

私は次の文法を持っています：

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 ファイルで次の shift-reduce 競合が発生します。

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)

これらの競合を取り除くための助けが必要です。ここで何が間違っていますか？優先ルールを設定しようとしましたが、どうにかここでは機能しないようです。何か案は？

4

1 に答える 1

0

奇妙な文法。次の形式にする必要があります。

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);
于 2016-03-24T00:54:39.747 に答える