Cygwin 转移/减少与if的冲突。。。else语句

我试图对一种类似java的语言做一个解析器，但对于else语句，出现了一个shift/reduce冲突。 我尝试了bison

bison_file.y--report=state

，冲突的结果是：

州62 31语句：if_语句。 65 if_else_语句：if_语句。ELSE语句 否则，切换到状态84 ELSE[使用规则31（声明）减少] $default REDUCT使用规则31（语句）

我想不出避免冲突的办法。有什么好主意吗？ 在此，我提交完整的代码：

%{
#include <stdio.h>
#include <math.h>
void yyerror(char *);
extern int yylval;
extern FILE *yyin;
extern FILE *yyout;
extern yylineno;
extern int yyparse(void);
extern int yylex(void);
extern int yywrap() { return 1; }
extern char* yytext;
int errors;
%}

%debug
%start m_class


%token IF ELSE INT CHAR CLASS NEW GURISE VOID WHILE
%token PUBLIC PROTECTED PRIVATE STATIC FINAL ABSTRACT
%token PLUS MINUS MUL DIV MODULO
%token EQ NEQ GRT LT GREQ LEQ
%token OR AND NOT
%token AR_PAR DEK_PAR AR_AGK DEK_AGK AR_STRO DEK_STRO
%token SEMICOLON ANATHESI COMA
%token MY_INT SINT MY_CHAR ID

%right          ANATHESI
%left           OR AND
%nonassoc       EQ NEQ GRT LT GREQ LEQ
%left           PLUS MINUS MUL DIV MODULO
%right          NOT

%%

m_class: m_class class_declaration
        | class_declaration
        ;

class_declaration: CLASS ID class_body
        ;

class_body: AR_STRO variable_declaration constructor method_declaration DEK_STRO
        ;

variable_declaration:variable variable_declaration
    |variable
    |array_declaration
    |array_declaration variable_declaration
        ;

variable:  var_type ID SEMICOLON
    ;

var_type: INT
        |CHAR
        ;

array_declaration: ID ANATHESI NEW var_type AR_AGK MY_INT DEK_AGK SEMICOLON
    ;


constructor: modifier ID AR_STRO variable_declaration DEK_STRO
        ;

modifier: PUBLIC
        | PROTECTED
        | PRIVATE
        | STATIC
        | FINAL
        | ABSTRACT
        ;
method_declaration: modifier meth_type ID parameters meth_body
        ;

meth_type: VOID
        | var_type
        ;

parameters: AR_PAR par_body DEK_PAR
        ;

par_body: var_type ID
        | par_body COMA var_type ID
        ;

meth_body: AR_STRO bodybuilder DEK_STRO
        ;

bodybuilder: statement GURISE expression SEMICOLON
        |statement bodybuilder
    |statement
        ;

statement: anathesh
        | if_statement
    | if_else_statement
        | while_statement
        ;

statementsss: statement
    |
    ;

anathesh:atath SEMICOLON
        | atath numeric_expression SEMICOLON
        ;

atath: ID ANATHESI orisma
    |ID AR_AGK MY_INT DEK_AGK ANATHESI orisma
    ;

orisma: ID
    |MY_INT
    |SINT
    |MY_CHAR
    ;

expression: testing_expression
        | numeric_expression
        | logical_expression
        | ID
        | MY_INT
        | SINT
        | MY_CHAR
        ;

numeric_expression:  expression PLUS  expression
        | expression MINUS expression
        | expression MUL expression
        | expression DIV expression
        | expression MODULO expression
        ;

testing_expression: expression EQ expression
        | expression NEQ expression
        | expression GRT expression
        | expression LT expression
        | expression GREQ expression
        | expression LEQ expression
        ;
logical_expression: expression OR expression
        | expression AND expression
        | expression NOT expression
        ;

if_statement: IF abc
    |
        ;

if_else_statement: if_statement ELSE statement
        ;

abc: sin8iki statement
    ;

sin8iki: AR_PAR testing_expression DEK_PAR
        | AR_PAR logical_expression DEK_PAR
        ;

while_statement: WHILE sin8iki statement
        ;


%%



void yyerror(char *s) {
        errors++;
printf("\n------- ERROR AT LINE #%d.\n\n", yylineno);
fprintf(stderr, "%d: error: '%s' at '%s', yylval=%u\n", yylineno, s, yytext, yylval);

}
int main (int argc, char **argv) {
        ++argv;
        --argc;
    errors=0;
        if (argc > 0)
                yyin = fopen (argv[0], "r");
        else
                yyin = stdin;
        yyout = fopen ("output","w");
        yyparse ();
    if(errors==0)
        printf("komple");
        return 0;
}

%{
#包括
#包括
无效错误（字符*）；
外部国际组织；
外部文件*yyin；
外部文件*yyout；
外行号；
外部内部解析（无效）；
外部内部yylex（无效）；
extern int yywrap（）{return 1；}
外部字符*文本；
整数错误；
%}
%调试
%开始上课
%令牌IF ELSE INT CHAR CLASS NEW GURISE VOID WHILE
%令牌公共保护私有静态最终摘要
%令牌加减多DIV模
%令牌均衡NEQ GRT LT GREQ LEQ
%象征与否
%代币面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值面值
%象征性分号知觉昏迷
%在我的字符ID中标记我的\u INT
%右感觉
%左或右
%非ASSOC EQ NEQ GRT LT GREQ LEQ
%左加减MUL DIV模
%对不对
%%
m_类：m_类声明
|类别声明
;
类声明：类ID类体
;
类\u体：AR\u STRO变量\u声明构造函数方法\u声明DEK\u STRO
;
变量_声明：变量_声明
|变数
|数组声明
|数组\声明变量\声明
;
变量：变量类型ID分号
;
变量类型：INT
|煤焦
;
数组声明：ID解析新的var类型AR\u AGK MY\u INT DEK\u AGK分号
;
构造函数：修饰符ID AR\U STRO变量\U声明DEK\U STRO
;
修饰语：公共
|保护
|私人的
|静止的
|决赛
|摘要
;
方法声明：修饰符方法类型ID参数方法体
;
方法类型：无效
|变型
;
参数：AR_PAR PAR_body DEK_PAR
;
par_主体：变量类型ID
|par_主体昏迷变量类型ID
;
美体：健美运动员DEK_STRO
;
bodybuilder:语句GURISE表达式分号
|声明健美运动员
|声明
;
声明：阿纳泰什
|if_语句
|if\u else\u语句
|while_语句
;
声明SSS：声明
|
;
anathesh：atath分号
|atath数值表达式分号
;
阿塔斯：奥里萨马解剖
|我是奥里萨马学院的学生
;
奥里萨马：身份证
|我的心
|辛特
|我的妈妈
;
表达式：测试_表达式
|数值表达式
|逻辑表达式
|身份证
|我的心
|辛特
|我的妈妈
;
数值表达式：表达式加表达式
|表达式负表达式
|表达式多表达式
|表达式DIV表达式
|表达式模表达式
;
测试_表达式：表达式EQ表达式
|表达式NEQ表达式
|表达式GRT表达式
|表达式LT表达式
|表达式GREQ表达式
|表达式LEQ表达式
;
逻辑表达式：表达式或表达式
|表达与表达
|表达而非表达
;
if_语句：if abc
|
;
if_-else_语句：if_语句else语句
;
abc:sin8iki声明
;
sin8iki:AR_PAR测试
|逻辑表达式
;
while_语句：while sin8iki语句
;
%%
无效错误（字符*s）{
错误++；
printf（“\n------第#%d行出现错误。\n\n”，yylineno）；
fprintf（stderr，“%d:错误：“%s”位于“%s”，yylval=%u\n”，yylineno，s，yytext，yylval）；
}
int main（int argc，字符**argv）{
++argv；
--argc；
误差=0；
如果（argc>0）
yyin=fopen（argv[0]，“r”）；
其他的
yyin=stdin；
yyout=fopen（“输出”，“w”）；
yyparse（）；
如果（错误==0）
printf（“komple”）；
返回0；
}

在这里，解析器将令牌推入堆栈，当按下

如果abc

并且下一个令牌是

ELSE

将发生冲突时，解析器应根据

IF_语句

规则减少

IF abc

，或者将下一个令牌

ELSE

移入堆栈。 您必须确定规则的优先级，在这种情况下，您必须使用%nonassoc和%prec为

ELSE

标记赋予比

if\u语句更高的优先级。试试这个：

if_statement: IF abc %prec else_priority

在优先领域：

%nonassoc else_priority
%nonassoc ELSE

你必须按照这个顺序写优先级（优先级越高，优先级越低）。
希望这能解决您的问题。
可能重复的