文法 分析 2

pro

gram à

       external_declaration

      | program external_declaration

程序-> <外部声明><程序><外部声明>

external_declaration à

      function_definition

      | declaration

      外部声明-> <函数定义>|<声明>

function_definition à type_specifier declarator compound_statement

函数定义-> <函数类型><说明符><复合语句>

type_specifier à

      VOID

      | CHAR

      | INT

      | FLOAT

函数类型-> 无返回值|字符型|整型|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 à

       declarator

      | 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

选择语句-> IF(<表达式>)<陈述语句>|IF(<表达式>)<陈述语句>ELSE<陈述语句>

iteration_statementà

       WHILE '(' expression ')' statement

      | FOR '(' expression_statement expression_statement ')' statement

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

循环语句->WHILE(<表达式>)<陈述语句>|FOR(<表达式语句><表达式语句>)<陈述语句>|FOR(<表达式语句><表达式语句><陈述语句>)<陈述语句>

jump_statement

      | CONTINUE ';'

      | BREAK ';'

      | RETURN ';'

      | RETURN expression ';'

转移语句->CONTINUE;| BREAK; | RETURN; | RETURN <表达式>;

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

包括或表达式à<唯一或表达式>|<包括或表达式><唯一或表达式>