c - 修复给定代码中的冲突？ "25 shift/reduce conflicts [-Wconflicts-sr] "

Question

//Lex 文件:for.l

alpha [A-Za-z]  
digit [0-9]  
%%  
[\t \n]   
for         return FOR;  
{digit}+    return NUM;  
{alpha}({alpha}|{digit})* return ID;  
"<="         return LE;  
">="         return GE;  
"=="         return EQ;  
"!="          return NE;  
"||"          return OR;  
"&&"         return AND;  
.            return yytext[0];  
%% 

//Yacc 文件:for.y

%{  
#include<stdio.h>  
#include<stdlib.h>  
%}  
%token ID NUM FOR LE GE EQ NE OR AND  
%right "="  
%left OR AND  
%left '>' '<' LE GE EQ NE  
%left '+' '-'  
%left '*' '/'  
%right UMINUS  
%left '!'  
%%  
S         : ST {printf("Input accepted\n"); exit(0);}  
ST       : FOR '(' E ';' E2 ';' E ')' DEF  
;  
DEF    : '{' BODY '}'  
| E';'   
| ST  
|  
;   
BODY  : BODY BODY  
| E ';'          
| ST  
|               
;  
E     : ID '=' E   
| E '+' E   
| E '-' E  
| E '*' E  
| E '/' E  
| E '<' E  
| E '>' E  
| E LE E  
| E GE E  
| E EQ E  
| E NE E  
| E OR E  
| E AND E  
| E '+' '+'   
| E '-' '-'  
| ID    
| NUM  
;
E2     : E'<'E  
| E'>'E  
| E LE E  
| E GE E  
| E EQ E  
| E NE E  
| E OR E  
| E AND E  
;      
%%  
#include "lex.yy.c"  
main() 
{  
printf("Enter the expression:\n");  
yyparse();  
}        

当我运行它时，它显示:

warning: 25 shift/reduce conflicts [-Wconflicts-sr]  
warning: 4 reduce/reduce conflicts [-Wconflicts-rr]  

如何修复它？

编译方法:

$ lex c.l  
$ yacc c.y  

Answer 1

你的语法存在各种问题；以下是最明显的:

1. 您允许 DEF 为空。这意味着

    for (i=0;i<1;i++)  for (j=0;j<1;j++) 
   

   可以是两个带有空主体的 for 语句，或者主体是另一个 for 语句(其主体为空)的 for 语句。所以空产生式使得语法变得不明确。

2. BODY: BODY BODY 的歧义呈指数级增长，任何优先级声明都无法弥补。由于 BODY 有一个(也是不必要的)空产生式，所以问题变得更糟。

3. E '+' '+' 意味着 i++ 中的两个 + 是单独的标记(事实上，您的flex 定义不会将 ++ 识别为单个 tomen，unlime，例如 <=。这意味着您的语法会考虑 i++ 成为有效的后增量。也许这是故意的，但它肯定与我所知道的任何语言不同。无论如何，结果将适用 + 的优先级声明，这是不正确的: 3*j++ 应解析为 3*(j++)，而不是 (3*j)++。(对于后减运算符。)