當操作員被分組爲非終端時，野牛移位 - 減少衝突

Question

假設我的語法中有以下規則。

expr: expr op expr 
    | NUMBER 

op: '+' | '-' | '*' | '/' 

和我有以下聲明做

%token NUMBER 

%left '+' '-' 
%right '*' '/' 

這將導致在

State 12 

    4 expr: expr . op expr 
    4  | expr op expr . 

    '+' shift, and go to state 6 
    '-' shift, and go to state 7 
    '*' shift, and go to state 8 
    '/' shift, and go to state 9 

    '+'  [reduce using rule 4 (expr)] 
    '-'  [reduce using rule 4 (expr)] 
    '*'  [reduce using rule 4 (expr)] 
    '/'  [reduce using rule 4 (expr)] 
    $default reduce using rule 4 (expr) 

    op go to state 11 

4移位，減少衝突。然而，如果我重寫我的語法爲

expr: expr '+' expr 
    | expr '-' expr 
    | expr '*' expr 
    | expr '/' expr 
    | NUMBER 

優先規則k進入並且衝突得到解決。我相信衝突的產生是因爲當野牛遇到op時，它不會跟蹤被移入堆棧的前op。有沒有辦法讓所有運營商分組，並仍然解決衝突？

Answer 1

顯然，這裏已經回答了1。

通過對運算符進行分組，會丟失優先級信息。