文法分析2

program à //程序

external_declaration //外部声明

| program external_declaration

external_declaration à //外部声明

function_definition //函数定义

| declaration //声明

function_definition à type_specifier declarator compound_statement

类型说明符 声明 复合语句

type_specifier à

VOID

| CHAR

| INT

| FLOAT

declarator

pointer direct_declarator //指针 直接说明符

| direct_declarator

Pointerà //指针

'*'

| '*' pointer

direct_declarator //直接说明符

IDENTIFIER //标识符

|direct_declarator’[‘ ‘]’ ////直接说明符

|direct_declarator ’[’ constant_expression ’]’ //常量表达式

| IDENTIFIER '(' parameter_list ')' //参数表

| IDENTIFIER '(' ')'

|direct_declarator ‘,’ identifier_list //标识符列表

identifier_list //标识符列表

: IDENTIFIER //标识符

| identifier_list ',' IDENTIFIER

constant_expressionà //常量表达式

conditional_expression //条件表达式

parameter_list à //参数表

parameter_declaration //参数声明

| parameter_list ',' parameter_declaration

参数表 参数声明
parameter_declaration à //参数声明

declaration_specifiers IDENTIFIER

声明说明 标识符

compound_statement à //复合语句

'{' '}'

| '{' statement_list '}' //语句列表

| '{' declaration_list statement_list '}'

声明列表 语句列表

declaration_list à //声明列表

declaration

| declaration_list declaration

Declarationà // 声明

init_declarator //初始化声明符

| init_declarator_list ',' init_declarator

初始化声明符列表

init_declarator à

declaratory //声明符

| declarator '=' initializer //初始化

Initializer à //初始化

assignment_expression //赋值表达式

| '{' initializer_list '}' //初始化列表

| '{' initializer_list ',' '}'

initializer_list à //初始化列表

initializer

| initializer_list ',' initializer

statement_listà //语句列表

statement

| statement_list statement

Statement à

| compound_statement //复合语句

| expression_statement //表达式语句

| selection_statement //选择语句

| iteration_statement //循环语句

| jump_statement //跳转语句

expression_statement à //表达式语句

';'

| expression ';' //表达式

selection_statement //选择语句

: IF '(' expression ')' statement

| IF '(' expression ')' statement ELSE statement

iteration_statementà //循环语句

WHILE '(' expression ')' statement

| FOR '(' expression_statement expression_statement ')' statement

| FOR '(' expression_statement expression_statement expression ')' statement

jump_statement //跳转语句

| CONTINUE ';'

| BREAK ';'

| RETURN ';'

| RETURN expression ';'

expression

: assignment_expression //赋值表达式

| expression ',' assignment_expression

assignment_expression à //赋值表达式

conditional_expression //条件表达式

| unary_expression assignment_operator assignment_expression

一元表达式 赋值运算符 赋值表达式

conditional_expression à //条件表达式

logical_or_expression //逻辑或表达式

| logical_or_expression '?' expression ':' conditional_expression

逻辑或表达式 条件表达式

logical_or_expression à

logical_and_expression //逻辑与

| logical_or_expression OR_OP logical_and_expression

logical_and_expression //逻辑与

: inclusive_or_expression //包容或表达式

| logical_and_expression AND_OP inclusive_or_expression

inclusive_or_expressionà

exclusive_or_expression //唯一或表达式

| inclusive_or_expression '|' exclusive_or_expression

exclusive_or_expression //唯一或表达式

: and_expression

| exclusive_or_expression '^' and_expression

and_expression

: equality_expression //平等表达

| and_expression '&' equality_expression

equality_expression //平等表达

: relational_expression //关系式

| equality_expression EQ_OP relational_expression

| equality_expression NE_OP relational_expression

relational_expression //关系式

: shift_expression //移动式

| relational_expression '<' shift_expression

| relational_expression '>' shift_expression

| relational_expression LE_OP shift_expression

| relational_expression GE_OP shift_expression

shift_expression //移动式

: additive_expression //附加表达式

| shift_expression LEFT_OP additive_expression

| shift_expression RIGHT_OP additive_expression

additive_expression //附加表达式

: multiplicative_expression //乘法式

| additive_expression '+' multiplicative_expression

| additive_expression '-' multiplicative_expression

multiplicative_expression //乘法式

: cast_expression //转换表达式

| multiplicative_expression '*' cast_expression

| multiplicative_expression '/' cast_expression

| multiplicative_expression '%' cast_expression

cast_expression //转换表达式

: unary_expression //一元表达式

| '(' type_name ')' cast_expression

unary_expression //一元表达式

: postfix_expression //后缀表达式

| INC_OP unary_expression //一元表达式

| DEC_OP unary_expression

| unary_operator cast_expression //转换表达式

| SIZEOF unary_expression

| SIZEOF '(' type_name ')' //类型名称

postfix_expression à //后缀表达式

: primary_expression //主要表现

| postfix_expression '[' expression ']'

| postfix_expression '(' ')'

| postfix_expression '(' argument_expression_list ')'

参数表达式列表

| postfix_expression '.' IDENTIFIER //标识符

| postfix_expression PTR_OP IDENTIFIER

| postfix_expression INC_OP

| postfix_expression DEC_OP

primary_expression à //主要表现

IDENTIFIER

| CONSTANT

| STRING_LITERAL

| '(' expression ')argument_expression_list //参数表达式列表

: assignment_expression

| argument_expression_list ',' assignment_expression

unary_operator //一元运算符

: '&'

| '*'

| '+'

| '-'

| '~'

| '!'

assignment_operator à //赋值运算符

'='

| MUL_ASSIGN

| DIV_ASSIGN

| MOD_ASSIGN

| ADD_ASSIGN

| SUB_ASSIGN

| LEFT_ASSIGN

| RIGHT_ASSIGN

| AND_ASSIGN

| XOR_ASSIGN

| OR_ASSIGN

storage_class_specifier à //存储类说明

TYPEDEF

| EXTERN

| STATIC

| AUTO

| REGISTER

struct_or_union_specifier //结构或联合说明符

: struct_or_union IDENTIFIER '{' struct_declaration_list '}'

结构声明表

| struct_or_union '{' struct_declaration_list '}'

| struct_or_union IDENTIFIER

struct_or_union

: STRUCT

| UNION

struct_declaration_list //结构声明表

: struct_declaration //结构声明

| struct_declaration_list struct_declaration

struct_declaration //结构声明

: specifier_qualifier_list struct_declarator_list ';'

specifier_qualifier_list à

type_specifier specifier_qualifier_list

| type_specifier

| type_qualifier specifier_qualifier_list

| type_qualifier

struct_declarator_list à //结构声明表

struct_declarator //结构声明

| struct_declarator_list ',' struct_declarator

struct_declarator à : declarator

| ':' constant_expression

| declarator ':' constant_expression

enum_specifier à //枚举说明

ENUM '{' enumerator_list '}' //枚举列表

| ENUM IDENTIFIER '{' enumerator_list '}' //枚举列表

| ENUM IDENTIFIER

enumerator_list à //枚举列表

enumerator

| enumerator_list ',' enumerator

Enumerator à

IDENTIFIER

| IDENTIFIER '=' constant_expression

type_qualifier à

CONST

| VOLATILE

type_qualifier_list à

type_qualifier

| type_qualifier_list type_qualifier

parameter_type_list à //参数类型列表

parameter_list

| parameter_list ',' ELLIPSIS

parameter_list à //参数类型列表

: parameter_declaration //参数类型说明

| parameter_list ',' parameter_declaration

type_name à

specifier_qualifier_list

| specifier_qualifier_list abstract_declarator

抽象声明符

abstract_declarator à //抽象声明符

pointer

| direct_abstract_declarator

| pointer direct_abstract_declarator

direct_abstract_declarator à //直接抽象声明

'(' abstract_declarator ')' //抽象声明符

| '[' ']'

| '[' constant_expression ']' //常量表达式

| direct_abstract_declarator '[' ']'

| direct_abstract_declarator '[' constant_expression ']'

| '(' ')'

| '(' parameter_type_list ')' //参数类型列表

| direct_abstract_declarator '(' ')'

| direct_abstract_declarator '(' parameter_type_list ')'

labeled_statement à //标签语句

IDENTIFIER ':' statement

| CASE constant_expression ':' statement //常量表达式

| DEFAULT ':' statement