bison計算機の問題

Question

stmt : expr {printf("%d\n",$1);} 
     ; 

expr : expr '+' expr {$$ = $1 + $3;} 
    | expr '-' expr {$$ = $1 - $3;} 
    | INTEGER  {$$ = $1;} 
    ; 

いつbisonがstmt非ターミナルを実行していますか。どのキャラクターが見える？

Answer 1

と仮定すると、これらはあなたのバイソン入力、EOFに到達するようstmtが、すぐに「実行」を取得します非終端記号からすべてのルールがある（すなわち：それ以上入力し、最後のexprが減少されていません）。

ただし、文法に矛盾があります。