<翻译单元> --> {<外部声明>} *
<外部声明> --> <函数定义>
| <申报>
<函数定义> --> {<声明说明符>} * <声明符> {<申报>} * <复合语句>
<声明说明符> --> <存储类说明符>
| <类型说明符>
| <类型限定符>
<存储类说明符> -->“自动”
| “注册”
| “静”
| “外部”
| “类型定义”
<类型说明符> -->“无效”
| “字符”
| “短”
| “INT”
| “长”
| “浮动”
| “双节”
| “签约”
| “符号”
| <结构-或工会说明符>
| <枚举符>
| <类型定义名称>
<结构-或工会说明符> --> <结构-或工会> <标识>“{”{<结构声明>} +“}”
| <结构-或工会>“{”{<结构声明>} +“}”
| <结构-或工会> <标识符>
<结构-或工会> -->“结构”
| “联盟”
<结构声明> --> {<说明限定符>} * <结构说明符列表>
<说明限定符> --> <类型说明符>
| <类型限定符>
<结构说明符列表> --> <结构说明符>
| <结构说明符列表>“，”<结构说明符>
<结构说明符> --> <说明符>
| <声明符>“：”<常量表达式>
| “：”<常量表达式>
<声明符> --> {<指针>}？ <直接说明符>
<指针> -->“*”{<类型限定符>} * {<指针>}？
<类型限定符> -->“常量”
| “挥发性”
<直接说明符> --> <标识符>
| “（”<声明符>“）”
| <直接说明符>“[”{<常量表达式>}？ “]”
| <直接说明符>“（”<参数类型列表>“）”
| <直接说明符>“（”{<标识符>} *“）”
<常量表达式> --> <条件表达式>
<条件表达式> --> <逻辑或表达式>
| <逻辑或表达式>“？” <表达式>“：”<条件表达式>
<逻辑或表达式> --> <逻辑和表达>
| <逻辑或表达式“||” <逻辑和表达>
<逻辑和表达> --> <包容性，或表达>
| <逻辑和表达“&&”<包容性，或表达>
<含-或表达式> --> <异或表达>
| <包容性，或表达>“|” <异或表达>
<异或表达式> --> <和表达>
| <异或表达>“^”<和表达>
<和表达式> --> <平等表达>
| <和表达>“＆”<平等表达>
<平等表达式> --> <关系表达式>
| <平等表达>“==”<关系表达式>
| <平等表达>“！=”<关系表达式>
<关系表达式> --> <移位表达式>
| <关系表达式>“<”<移位表达式>
| <关系表达式>“>”<移位表达式>
| <关系表达式>“<=”<移位表达式>
| <关系表达式>“> =”<移位表达式>
<移位表达式> --> <添加剂表达>
| <移位表达式>“<<”<添加剂表达>
| <移位表达式>“>>”<添加剂表达>
<添加剂表达式> --> <乘法表达式>
| <添加剂表达>“+”<乘法表达式>
| <添加剂表达式>“ - ”<乘法表达式>
<乘法表达式> --> <铸表达>
| <乘法表达式>“*”<投表达式>
| <乘表达>“/”<投表达式>
| <乘法表达式>“％”<投表达式>
<投表达式> --> <一元表达式>
| “（”<类型名>“），”<铸表达>
<一元表达式> --> <后缀表达式>
| “++”<一元表达式>
| “ - ”<一元表达式>
| <一元算子> <铸表达>
| “sizeof的”<一元表达式>
| “sizeof的”<类型名称>
<后缀表达式> --> <主表达式>
| <后缀表达式>“[”<表达式>“]”
| <后缀表达式>“（”{<赋值表达式>} *“）”
| <后缀表达式>“。” <标识符>
| <后缀表达式>“ - >”<标识>
| <后缀表达式>“++”
| <后缀表达式>“ - ”
<基本表达式> --> <标识符>
| <常数>
| <字符串>
| “（”<表达式>“）”
<常数> --> <整型常数>
| <字符常量>
| <浮常数>
| <枚举常数>
<表达式> --> <赋值表达式>
| <表达式>“，”<赋值表达式>
<赋值表达式> --> <条件表达式>
| <一元表达式> <赋值运算符> <赋值表达式>
<赋值运算符> -->“=”
| “* =”
| “/ =”
| “％=”
| “+ =”
| “ - =”
| “<< =”
| “>> =”
| “＆=”
| “^ =”
| “| =”
<一元操作符> -->“＆”
| “*”
| “+”
| “ - ”
| “〜”
| “！”
<类型名> --> {<说明限定符>} + {<抽象声明符>}？
<参数类型列表> --> <参数列表>
| <参数列表>“，”...
<参数列表> --> <参数声明>
| <参数列表>“，”<参数声明>
<参数声明> --> {<声明说明符>} + <说明符>
| {<声明说明符>} + <抽象说明符>
| {<声明说明符>} +
<抽象声明符> --> <指针>
| <指针> <直接抽象说明符>
| <直接抽象说明符>
<直接抽象说明符> -->（<抽象说明符>）
| {<直接抽象说明符>}？ “[”{<常量表达式>}？ “]”
| {<直接抽象说明符>}？ “（”{<参数类型列表>？|“）”
<枚举说明> -->“枚举”<标识>“{”<枚举列表>“}”
| “枚举”，“{”<枚举列表>“}”
| “枚举”<标识>
<枚举列表> --> <枚举>
| <枚举列表>“，”<枚举>
<枚举> --> <标识符>
| <标识>“=”<常量表达式>
<类型定义名称> --> <标识符>
<申报> --> {<声明说明符>} + {<初始化声明符>} *
<初始化声明符> --> <说明符>
| <声明符>“=”<初始化>
<初始化> --> <赋值表达式>
| “{”<初始化列表>“}”
| “{”<初始化列表>“，”“}”
<初始化列表> --> <初始化>
| <初始化列表>“，”<初始化>
<复合语句> -->“{”{<申报>} * {<语句>} *“}”
<语句> --> <标记语句>
| <表达式语句>
| <复合语句>
| <选择语句>
| <循环语句>
| <跳转语句>
<标记语句> --> <标识符>“：”<语句>
| “案例”<常量表达式>“：”<语句>
| “默认”“：”<语句>
<表达式语句> --> {<表达式>}？ “;”
<选择语句> -->“如果”“（”<表达式>“），”<语句>
| “如果”“（”<表达式>“），”<语句>“其他”<声明>
| “开关”“（”<表达式>“），”<语句>
<循环语句> -->“，而”“（”<表达式>“），”<语句>
| “做”<语句>“，而”“（”<表达式>“）”“;”
| “为”“（”{<表达式>}？“;”{<表达式>}？“;”{<表达式>}“），”<语句>
<跳转语句> -->“转到”<标识>“;”
| “继续”“;”
| “破”“;”
| “回归”{<表达式>}？ “;”