为什么我会遇到冲突：1 班次/减少

Question

我是野牛新手，我收到“冲突：1 移位/减少”错误。有人能解释一下吗？

这是 y 文件。

test.y：

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

#define YYERROR_VERBOSE
#define YYDEBUG 1
void yyerror(const char *str);
int yywrap();
%}

%union
{
    int integer;
    char *string;
}

%token <string>     VAR_LOCAL
%token <integer>    LIT_NUMBER
%token <string>     LIT_STRING
%token WS_LINEBRK

//%token SYMB_EQL
%token SYMB_PLUS
%token SYMB_MINUS
%token SYMB_MUL
%token SYMB_DIV

%%

/*
    // Sample input
    num = 10
    str = "this is a string"
*/

inputs: /* empty token */
        | literal
        | variable
        | inputs stmt WS_LINEBRK
        ;

stmt:   variable "=" exps  
        ;

exps:   variable op literal
        | variable op variable
        | literal op literal
        | literal op variable
        ;


op:     SYMB_PLUS | SYMB_MINUS | SYMB_MUL | SYMB_DIV ;


variable: VAR_LOCAL
        {
            printf("variable: %s\n", $1);
        }
        ;

literal:
        number | string
        ;

string: LIT_STRING
        {
            printf("word: %s\n", $1);
        }
        ;

number: LIT_NUMBER
        {
        printf("number: %d\n", $1);
        }
        ;

%%

void yyerror(const char *str)
{
        fprintf(stderr,"error: %s\n",str);
}

int yywrap()
{
        return 1;
} 

main()
{
    yyparse();
}

这是 lex 文件 测试.l：

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


#include "y.tab.h"
int line_no = 0;

%}

%%
[a-z][a-zA-Z0-9]*       {
                            // local variable
                            yylval.string=strdup(yytext);
                            return VAR_LOCAL;
                        }

[0-9]+                  {
                            //number literal
                            yylval.integer=atoi(yytext);
                            return LIT_NUMBER;
                        }

=                       return SYMB_EQL;
\+                      return SYMB_PLUS;
\-                      return SYMB_MINUS;
\*                      return SYMB_MUL;
\/                      return SYMB_DIV;


\"[-+\!\.a-zA-Z0-9' ]+\"    {
                            // word literal
                            yylval.string=strdup(yytext);
                            return LIT_STRING;
                        }

\n                      {
                            // line break
                            printf("\n");
                            return WS_LINEBRK;
                        }

[ \t]+                  /* ignore whitespace */;

%%

Answer 1

bison -r test.y 将编写一个文件 test.output，其中包含生成的状态机的详细描述，使您可以查看正在发生的情况 - 例如状态发生移位/归约冲突。

就您而言，问题出在启动状态（对应于您的启动非终端，inputs）。假设第一个标记是 VAR_LOCAL。您的解析器可以做两件事：

• 它可以匹配变量大小写。
• 它还可以匹配 inputs stmt WS_LINEBRK 情况：inputs 匹配空字符串（第一行），stmt 匹配 variable "= “exps。

对于野牛解析器使用的前瞻这一单一标记，我们无法判断。你需要改变你的语法来摆脱这种情况。

Answer 2

要修复语法，正如 Fabian 建议的那样，将变量和文字从输入移动到exps的末尾

inputs: 
    | variable
    | literal 

exps:
...
    | variable
    | literal

这允许使用 x= y,x="aliteral" 语法。

要允许空输入行，请将 /* 空标记 */ 规则更改为 WS_LINEBREAK：

inputs: WS_LINEBRK
    | stmt WS_LINEBRK
    | inputs stmt WS_LINEBRK
    ;

另一方面，由于扫描器仍会查找 SYMB em>_ 等于 ;但解析器不再定义它（它被注释掉），需要做一些事情才能编译。一种选择是取消注释 %token 定义并使用 SYMB_ EQUAL 而不是解析器 .y 文件中的文字“=”。