<translation-unit> ::= {<external-declaration>}*
<程序>→<外部声明>|<程序 外部声明>
<外部声明>→<函数定义>|<定义>
<函数定义>→<类型 复合语句>
<类型>→<无字符>|<字符型>|<整形>|<浮点型>
<声明符>→<指针直接声明符>|<直接声明>
<指针>→<’*’>|<’*’指针>
<直接声明符>→<标识符>|<直接声明符’[’’]’>|<直接声明符’[’普通表达式’]’>|<标识符’(’参数表’)’>|<标识符’(’’)’>|<直接声明符’,’标识符>
<标识符列表>:<标识符>|<标识符列表’,’标识符>
<一般表达式>→<条件表达式>
<参数表>→<参数声明>|<参数表’,’参数声明>
<参数声明>→<声明说明符 标识符>
<复合语句>→<’{’’}’>|<’{’语句列表’}’>|<’{’声明列表 语句列表’}’>
<声明列表 >→<声明>|<’{’声明列表 声明’}’>
<声明 >→<初始化 声明符>|<初始化 声明符列表’,’ 初始化 声明符’>
<初始化 声明符>→<声明符>|<声明符’=’ 初始化’>
<初始化>→<分配表达>|<’{’初始化列表’}’>|<’{’初始化列表’,’’}’>
<初始化列表>→<初始化>|<初始化列表’,’初始化>
<声明列表>→<声明>|<声明列表 声明>
<声明>→<复合声明>|<表达声明>|<选择声明>|<循环声明>|<跳转声明>
<表达声明>→<’;’>|<表达’;’>
<选择声明>→<:if’(’表达’)’声明>|<:if’(’表达’)’声明 else 声明>
<循环声明>→<while’(’表达’)’声明>|<for’(’表达声明 表达声明’)’声明>|<for’(’表达声明 表达声明 表达’)’声明>
<跳转声明>→<continue’,’>|<break’,’>|<return’,’>|<return 表达’,’>
<表达>→<:分配表达>|<表达’,’分配表达>
<分配表达>→<条件表达>|<一元表达 分配运算符 分配表达>
<条件表达>→<逻辑 or 表达>|<逻辑 or 表达’?’>