急问yacc一问题(高分)

[nevil]

lex代码如下
%{
#include "y.tab.h"
%}

chars [A-Za-z]
number [0-9]+
end [\n]
words {chars}+
%%

[ \t] ;
{words} {yylval.sval = strdup(yytext);return NAME;}
{number} {yylval.dval = atof(yytext);return NUMBER;}
{end} {return 0;}
%%


yacc代码如下

%{
#include <stdio.h>
%}

%union{
double dval;
char * sval;
}

%token <sval>NAME
%token <dval>NUMBER
%left '-' '+'

%type <sval>statement
%type <dval>expression
%%

statement: NAME '=' expresson{printf("%s=%d"$1,$3);}
| expression {printf("=%f\n",$1);}
;
expression: NUMBER '+' NUMBER {$$=$1+$3;}
| NUMBER '-' NUMBER {$$=$1-$3;}
| NUMBER {$$=$1;}
;
%%
int main() {
yyparse();
return 0;
}
int yyerror(char* msg) {
printf("Error: %s\n", msg);
}

为何将执行的时候总是提示语法错语
输入"a=2+3" 提示"="语法错
输入"2+3" 提示"+"语法错

[core]

词法中加上：
= return '=';
\+ return '+';

[nevil]

可是yacc应该能识别单个字符的啊？
实际的程序有多个操作符，那样在lex中将会出现非常冗长的标记声明啊！

[core]

yacc通过lex读单词，lex不输出，yacc从哪里读？？

[nevil]

yacc只是从lex得到标记吧？
yacc分析的时候，是将输入流与lex标记匹配，而单个确定的字符是不需要作为标识符声明的.
参见o'reilly的《lex与yacc第二版》 p65最后一行.

[spiderww]

同意core(猪母狼马)，需要在lex中加上
[=+-] {return yytext[0];}
单个的字符确实不用声明为标识符,但在lex中还是要指定输出。

[DanXer]

编译yacc时你好像没有加上lex产生的.h文件的申明，如#include <yy.lex.h>
编译时可能也要在makefile里加上连接lex产生的库或直接编译它产生的.c文件