bison sysy语法分析

Bison 是一个用于生成自动语法分析器的工具，可以根据输入的语法规则生成对应的 C 代码。SysY 是一种类 C 语言，为了能够使用 Bison 进行语法分析，需要编写相应的 Bison 语法文件。

下面是一个简单的 SysY 语法规则的 Bison 示例：

%{
#include <stdio.h>
%}

%token ID NUM

%%
program: stmt_list
       ;

stmt_list: stmt_list stmt
         | stmt
         ;

stmt: ID '=' NUM ';'
    | '{' stmt_list '}'
    ;

%%

int main() {
    yyparse();
    return 0;
}

int yyerror(char* s) {
    printf("Error: %s\n", s);
    return 0;
}

在这个例子中，我们定义了三个终结符（`ID`，`NUM` 和 `;`），以及三个非终结符（`program`，`stmt_list` 和 `stmt`）。其中 `stmt` 可以表示一个赋值语句（`ID '=' NUM ';'`），或者一个复合语句（`'{' stmt_list '}'`）。`stmt_list` 可以表示一个或多个语句。

Bison 的语法文件中，以 `%` 开头的行为控制行，用于设置一些选项或声明一些符号。`%token` 用于声明终结符，`%left` 和 `%right` 用于声明运算符的结合性和优先级。`%%` 之间是语法规则的定义，其中 `|` 表示或，`stmt_list: stmt_list stmt` 表示 `stmt_list` 可以由一个 `stmt_list` 和一个 `stmt` 组成。

最后，我们在 `main` 函数中调用 `yyparse` 函数进行语法分析，`yyerror` 函数用于处理语法错误。