MiniC词法和语法定义1

MiniC是一种简化版的C语言，其核心在于词法和语法的定义，这些定义构成了MiniC编译器的基础。下面将详细阐述MiniC的词法和语法结构。 1. **词法规则**： - `IDENT`：标识符，由字母开头的字母数字串组成，用于变量或函数名。 - `int_literal`：整数常量，由一个或多个0到9的数字组成，代表十进制整数值。 - `decnum`：定义十进制数字的正则表达式，由一个或多个0到9的数字组成。 2. **语法规则**： - `program`：程序由`decl_list`（变量或函数声明）组成。 - `decl_list`：可以是另一个`decl_list`后跟一个`decl`，或者直接是一个`decl`。 - `decl`：可以是`var_decl`（变量声明）或`fun_decl`（函数声明）。 - `var_decl`：定义变量，可以是简单的`type_spec IDENT;`或一维数组`type_spec IDENT [int_literal];`。 - `type_spec`：类型说明符，可以是`VOID`或`INT`。 - `fun_decl`：定义函数，包括返回类型、函数名和参数列表`params`，以及一个`compound_stm`t。 - `params`：可以是`param_list`（参数列表）或`VOID`（表示无参数）。 - `param_list`：一系列参数，由`param`以逗号分隔，或者单独一个`param`。 - `param`：可以是基本类型的`IDENT`或带数组大小的`type_spec IDENT [int_literal]`。 - `stmt_list`：语句列表，可以是另一个`stmt_list`后跟一个`stmt`，或者为空。 - `stmt`：可以是`expr_stmt`（表达式语句）、`compound_stmt`（复合语句）、`if_stmt`（if语句）、`while_stmt`（while语句）、`return_stmt`（return语句）、`continue_stmt`（continue语句）或`break_stmt`（break语句）。 - `expr_stmt`：赋值语句，可以是简单的`IDENT = expr;`，数组赋值`IDENT [ expr ] = expr;`，或者空语句`;`。 - `while_stmt`：while循环结构，`WHILE ( expr ) stmt`。 - `compound_stmt`：包含局部变量声明`local_decls`和语句列表`stmt_list`的大括号包裹的结构。 - `local_decls`：函数内部变量声明，可以是另一个`local_decl`或为空。 - `if_stmt`：if条件语句，可以有else子句，遵循就近配对原则。 - `return_stmt`：return语句，可以返回值或不返回值。 - `expr`：表达式，包括各种逻辑、关系、算术操作以及函数调用等。 3. **运算符和优先级**： - 运算符优先级：单目运算符高于双目运算符，算术运算符高于逻辑运算符。 - 单目运算符（如`!`, `-`, `+`, `$`）采用右结合规则。 - 双目运算符（如`||`, `&&`, `+`, `-`, `*`, `/`, `%`）采用左结合规则。 - 逻辑运算符：`OR`（`||`）和`AND`（`&&`）。 - 关系运算符：`EQ`（`= =`），`NE`（`!=`），`LE`（`<=`），`<`，`GE`（`>=`），`>`。 - 算术运算符：加法`+`，减法`-`，乘法`*`，除法`/`，模运算`%`。 - 逻辑运算符`OR`和`AND`采用短路计算，`||`在左侧满足条件时不会计算右侧，`&&`在左侧不满足条件时不会计算右侧。 以上就是MiniC的词法和语法定义的详细解析，这些规则构成了MiniC程序的基本结构和语义，允许编写和解析符合这些规则的程序。在实现MiniC编译器或解释器时，这些定义是构建解析器和抽象语法树（AST）的关键依据。