flex/bison总是在第一行出现“语法错误”

Question

正如我在标题中所说的，我试图用flex和bison编写解析器。但是，无论如何修改文件，总是会出现错误“第1行中的语法错误”。

所以我决定写一个非常简单的例子来看我的方法是否正确。

这是一个简单的文件 “c1.isc”，这将是阅读：

1 nand 
2 nor 
3 nand 
4 nor 
5 xor 

这是token.l文件：

%{ 
# include <stdio.h> 
# include <string.h> 
# include "parse.tab.h" 


struct{ 
    char *symbol; 
    int val; 
} symtab[]={ 
"nand", 1, 
"nor", 2, 
"xor", 3, 
"0",0 
}; 

extern int yylval; 

%} 

DIGITS [0-9]+ 
BLANK [ \t\n]+ 
ALPHA [a-z]+ 

%% 

{DIGITS} {yylval=atoi(yytext);return(NUM);} 
{ALPHA} {yylval=lookup(yytext);return(TYPE);} 
{BLANK} ; 

%% 
lookup(s) 
char* s; 
{int i; 
for (i=0;symtab[i].val!=0;i++) 
{ 
if(strcmp(symtab[i].symbol,s)==0) 
break; 
} 
return(symtab[i].val); 
} 

这是parse.y文件

%{ 
# include <stdio.h> 


extern FILE *yyin; 

int gi; 


%} 

%token NUM TYPE 

%% 

parto: NUM 
     {gi=$1;printf("num=%d\t",gi);} 
     TYPE 
     {gi=$3;printf("type=%d\n",gi);} 
     ; 

%% 

yyerror(s) 
char *s; 
{ 
    extern int yylineno; 
    extern char yytext[]; 

    fprintf(stderr, "%s in line %d near <%s>\n", s, yylineno, yytext); 
    exit(-1); 
} 

main() 
{FILE *x=fopen("c1.isc","r"); 
yyin=x; 
yyparse(); 
} 

我认为这几乎是最简单的例子，但解析器只输出第一行为“num = 1 gat = 1”，然后是“synt” ax 1线附近的错误“。

我真的不知道为什么。我确定令牌文件是正确的，因为我已经使用以下方式对它进行了测试：

%{ 
# include <stdio.h> 
# include <string.h> 


struct{ 
    char *symbol; 
    int val; 
} symtab[]={ 
"nand", 1, 
"nor", 2, 
"xor", 3, 
"0",0 
}; 

int val; 

%} 

DIGITS [0-9]+ 
BLANK [ \t\n]+ 
ALPHA [a-z]+ 

%% 

{DIGITS} {val=atoi(yytext);printf("num=%d\t",val);} 
{ALPHA} {val=lookup(yytext);printf("type=%d\n",val);} 
{BLANK} ; 

%% 
lookup(s) 
char* s; 
{int i; 
for (i=0;symtab[i].val!=0;i++) 
{ 
if(strcmp(symtab[i].symbol,s)==0) 
break; 
} 
return(symtab[i].val); 
} 

main() 
{ 
FILE *x=fopen("c1.isc","r"); 
yyin=x; 
yylex(); 
} 

yylex（）可以工作。

我编译的方法是 1.柔性token.l 2.野牛-d parse.y 3立方厘米的lex.yy.c parse.tab.c -lfl

然后，我会得到a.out当我运行a.out时，出现错误。

我想这是因为我在parse.y文件中的规则不正确，但是错误总是出现在第一行？

我已经使用以下规则使其工作。

parti: 
    | parti parto 
    ; 

parto: NUM 
     {gi=$1;printf("num=%d\t",gi);} 
     TYPE 
     {gi=$3;printf("type=%d\n",gi);} 
     ; 

Answer 1

也许我错过了这里的一些东西，但是您的语法只是说输入应该是单个NUM和单个TYPE。就这样。所以当分析器发现更多的东西时，你会在输入的第二行发生错误。

您必须添加一条处理多行的规则。类似这样的：

lots_of_partos: parto lots_of_partos | /* empty */ ;