bisonの優先順位（実際にはjisonを使用していますが、同じである必要があります）

Question

jison（Bisonのjavascript相当版）を使用していますが、次の優先順位の問題があります。私は電卓のデモを使って説明します http://zaach.github.com/jison/try/

それはそのまま動作します。優先順位は

であると私は

| e '*' e %prec TIMESPREC 
     {$$ = $1*$3;} 

ことと

%left '+' '-' 
%left TIMESPREC '/' 
%left '^' 
%left UMINUS 

に優先順位を変更するには '*' 行を変更した場合は文法は

e 
    : e '+' e 
     {$$ = $1+$3;} 
    | e '-' e 
     {$$ = $1-$3;} 
    | e '*' e 
     {$$ = $1*$3;} 
    | e '/' e 
     {$$ = $1/$3;} 
    | e '^' e 
     {$$ = Math.pow($1, $3);} 
    | '-' e %prec UMINUS 
     {$$ = -$2;} 

ですこれ以上動作しません。同じことをしなければならないのでしょうか？例えば、2 x + 3が（2x）+3として解析される代数構文を最終的に得たい場合など、これは有用である。

ありがとうございます！

Answer 1

%precは、すべての個々のトークンではなく、ルールの優先順位のみを設定するためです。したがって、規則のRHS上のトークンの個々の優先順位は依然として重要です。

したがって、%precを乗算ルールに設定しても、'*'シンボルの優先順位は変更されません。優先順位が競合を解決しようとすると、削減アクションの優先順位とシフトされるトークンの優先順位を比較します。 *には優先順位がないため、文法は変更にあいまいになります。