源程序〉-〉<外部声明>|<源程序><外部声明>
<外部声明>-><定义函数>|<声明>
<函数定义>→<类型说明符> <声明符> <复合语句>
<说明符类型>→<无返回型> | <字符型> | <整型> | <浮点型>
<声明符> <指针> <直接声明符> | <直接声明符>
<指针>→<'*'> | <'*' 指针>
<直接声明符> <标识符> | <直接声明>[]| <直接声明><[常量表达式]> | <标识符>(参数表) | <标识符>() | <直接声明>,< 标识符列表>
<标识符列表>：<标识符> | <标识符列表>,<标识符>
<常量表达式>→<条件表达式>
<参数列表>→<参数声明> | <参数列表>,<参数声明>
<参数声明>→<说明符声明>< 标识符>
<复合语句>→'{''}'|'{'<语句列表>'}'|'{'<声明列表><语句列表>'}'
<声明列表>→<声明>|<声明列表><声明>
<声明>→<初始化声明符>|<初始化声明符列表>','<初始化声明符>
<初始化声明符>→<声明符>|<声明符>'='<初始化>
<初始化>→<赋值表达式>|'{'<初始化列表>'}'|'{'<初始化列表>',''}'
<初始化列表>→<初始化>|<初始化列表>','<初始化>
<语句列表>→<语句>|<语句列表><语句>
<语句>→<复合语句>|<表达式语句>|<选择语句>|<循环语句>|<跳转语句>
<表达式语句>→';'|<表达式>';'
<选择语句>→if'('<表达式>')'<语句>|if'('<表达式>')'<语句>else<语句>
<循环语句>→while'('<表达式>')'<语句>|for'('<表达式语句><表达式语句>')'<语句>|for'('<表达式语句><表达式语句><表达式>')'<语句>
<跳转语句>→continue';'|break';'|return';'|return<表达式>';'
<表达式>→<赋值表达式>|<表达式>','<赋值表达式>
<赋值表达式>→<条件表达式>|<一元表达式><赋值运算符><赋值表达式>
<条件表达式>→<逻辑或表达式>|<逻辑或表达式>'?'<表达式>':'<条件表达式>
<逻辑或表达式>→<逻辑与表达式>|<逻辑或表达式><或运算><逻辑与表达式>
<逻辑与表达式>→<或表达式>|<逻辑与表达式><与运算><或表达式>
<或表达式>→<异或表达式>|<或表达式>'|'<异或表达式>
<异或表达式>→<与表达式>|<异或表达式>'^'<与表达式>
<与表达式>→<等式>|<与表达式>'&'<等式>
<相等表达式>→<关系表达式> |< 相等表达式等于运算关系表达式 >|< 相等表达式不等于运算关系表达式>
<关系表达式>→<移位表达式> |< 关系表达式'<'移位表达式 >| <关系表达式'>'移位表达式> | <关系表达式小于等于运算移位表达式> | <关系表达式大于等于运算移位表达式>
<移位表达式>→<加法表达式> |< 移位表达式左运算加法表达式> | <移位表达式右运算加法表达式>
<加法表达式>→<乘法表达式 >|< 加法表达式'+'乘法表达式 >|< 加法表达式'-'乘法表达式>
<乘法表达式>→<强制转换表达式> | <乘法表达式'*'强制转换表达式> | <乘法表达式'/'强制转换表达式> | <乘法表达式'%'强制转换表达式>
<强制转换表达式>→<一元表达式> |< '(' 类型名称 ')'强制转换表达式>
<一元表达式>→<后缀表达式 >| <INC运算一元表达式> | <DEC运算一元表达式> |< 一元运算符将表达式> |< 结构体变量的一元表达式> | <结构体变量的'(' 类型名称 ')'><后缀表达式>→<基本表达式. | <后缀表达式'['表达式']'> | <后缀表达式'(' ')> |< 后缀表达式 '('参数表达式列表')'> | <后缀表达式'.' 标识符> | <后缀表达式指针运算标识符> | <后缀表达式INC运算> |< 后缀表达式DEC运算>
< 常量> | <字符串常量> |< '('表达式')'>
<参数表达式列表>→<赋值表达式> | <参数表达式列表','赋值表达式>
<一元运算符>→< '&'> |< '*'> |< '+'> |< '-'> |< '~' >| <'!'>
<赋值运算符>→<'=' >| <乘法分配> |< DIV分配> | <MOD分配> | <加法分配> | <SUB分配> | <左分配> |< 右分配> | <与分配> | <异或分配> | <或分配>
<存储类说明符>→<定义类型> | <外部变量 》| <静态> | <自动> | <寄存器>
<结构或联合说明符>→<结构或联合标识符'{'结构体声明列表'}'> |< 结构或联合'{'结构体声明列表'}'> | <结构或联合标识符>
<结构或联合>→<结构体> |< 联合>
<结构体声明列表>→<结构体声明 >|< 结构体声明结构体声明列表>
<结构体声明>→<说明符限定符列表结构说明符';'说明符→类型说明符说明符限定符列表> |< 类型说明符 >| <类型限定符说明符限定符列表> |< 类型限定符>
<结构说明符列表>→<结构体声明> | <结构说明符列表','结构体声明>
《结构体声明》→《声明》 |< ':'常量表达式> | <声明':'常量表达式>
<枚举声明>→<枚举'{'枚举器列表'}'> | <枚举标识符'{'枚举器列表'}'> | <枚举标识符>
<枚举器列表>→<枚举器> | <枚举器列表','枚举器>
<枚举器>→<标识符> | <标识符'='常量表达式>
<类型限定符>→<常量> | <易失的>
<类型限定符列表>→<类型限定符> | <类型限定符列表 类型限定符>
<参数类型列表>→<参数列表> | <参数列表','省略符号>
<参数列表>→<声明参数> | <参数列表','声明参数>
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 语句