コンパイラ構成法：演習問題2-2 (b) 続き

先日は空のリスト () には対応できていなかったが、対応できた。
演習問題 2-2(b)にあるリストでは、すべて correct expression として受理される。
0個以上というのを文法ではこのように記載することに気が付いたことが大きい。

%token CHAR

%%

input : '(' expr ')' '\n' { printf("correct expression\n"); } ;
expr :                    { printf("[empty] -> expr\n"); } 
     | expr term          { printf("expr -> expr term\n"); };
term : CHAR               { printf("term -> CHAR(%c)\n", $1); }
     | '(' expr ')'       { printf("term -> ( expr )\n"); }
     ;

%%

yylex() {
	int c;

	while (' ' == (c = getchar()) );
	if ( isalpha(c) ) {
		yylval = c;
		return CHAR;
	} else {
		return c;
	}
}