私のLexとYaccプログラムは一度正常に動作し、2回目の試行でクラッシュしますか？

Question

私はLexとYaccで書かれた2つの非常に小さなファイルを持っています。

レックス：

%{ 
    #include <stdlib.h> 
    #include "y.tab.h" 
    void yyerror(char *); 
%} 

%% 

[a] { 
    yylval = *yytext; 
    return VAR; 
    } 

[ \t\n] ; 

. yyerror("invalid character"); 

%% 

int yywrap(void) { 
return 1; 
} 

のYacc：

%token VAR 

%{ 
    void yyerror(char *); 
    int yylex(void); 
    #include <stdio.h> 
%} 

%% 

butts: 
    VAR { printf("%d\n", $1); } 

%% 

void yyerror(char *s) { 
    fprintf(stderr, "%s\n", s); 
} 


int main(void) { 
    #if YYDEBUG 
    yydebug = 1; 
    #endif 
    yyparse(); 
    return 0; 
} 

と私は全部（-DYYDEBUG付き）オプションをコンパイルするとき、私は出力を得る：

Starting parse 
Entering state 0 
Reading a token: a 
Next token is token VAR() 
Shifting token VAR() 
Entering state 1 
Reducing stack by rule 1 (line 12): 
    $1 = token VAR() 
97 
-> $$ = nterm butts() 
Stack now 0 
Entering state 2 
Reading a token: a 
Next token is token VAR() 
syntax error 
Error: popping nterm butts() 
Stack now 0 
Cleanup: discarding lookahead token VAR() 
Stack now 0 

"a"を2回入力する。私が最初に "a"を押すと、Reading a token:プログラムは正常に動作しているように見えますが、2回目には嘔吐します。

私はこれがなぜそうであるかについて迷っています。

Answer 1

文法ファイルに「a」は1つしか指定できないと記載されているためです。これ以上エラーが発生すると、エラーが発生します。あなたの文法ルールは、次のように書かれています：

butts: VAR 

これ以上何も、

したがって、あなたの文法が一致したときのみ有効なプログラムは次のとおりです。

a 

のような他の入力、：

aa 

か：

a 
a 

構文エラーが発生します。あなたのルールは非常に明示的にと書かれています VAR ; VARSのシーケンスではありません。少数のヴァースではありません。ただ1つのVAR。

入力に2つ以上一致させる場合は、にはと表示されます。したがって、文法は許可されたシーケンスを記述しなければなりません：

butts: VAR | butts VAR 

これでシーケンスが許可されます。

これは明確ですか？