程序 → 外部声明|程序 外部声明

外部声明 → 定义函数|定义

函数定义 → 类型标识符 声明部分语句

类型标识符 → 空类型|字符型|整型|浮点型

声明部分语句 → 指针 直接声明|直接声明

指针 → * |* 指针

直接声明 → 标识符 | 直接声明[ ] | 直接声明[常数表达式] | 标识符（参数列表） | 标识符（） | 直接声明 ,标识符列表

标识符列表 → 标识符 | 标识符列表,标识符

标识符 → 下划线 标识符|字母 标识符|数字|字母|下划线

常数表达式 → 条件表达式

参数列表 → 参数声明 | 参数列表 ,参数声明

参数声明 → 说明符声明 标识符

语句列表 → 语句 | 语句列表 语句

语句 → 复合语句 | 表达式语句 | 选择语句 | 循环语句

复合语句 → { } | { 语句列表 } | { 声明列表 语句列表 }

声明列表 → 声明 | 声明列表 声明

声明 → 初始化声明 | 初始化声明列表 ,初始化声明

初始化声明 → 声明 | 声明=初始化程序

初始化程序 → 表达式 | {初始化程序列表} | {初始化程序列表 , }

初始化程序列表 → 初始化程序 | 初始化程序列表 , 初始化程序

表达式语句  → 表达式;

表达式 → 赋值表达式 | 表达式, 赋值表达式

赋值表达式 → 条件表达式| 一元表达式 赋值操作符 赋值表达式

条件表达式 → 逻辑‘或’表达式 | 逻辑‘或’表达式 ？ 表达式: 条件表达式

逻辑‘或’表达式 → 逻辑‘与’表达式 | 逻辑‘或’表达式 ‘或’运算 逻辑‘与’表达式

逻辑‘与’表达式 → 逻辑‘或’表达式 | 逻辑‘与’表达式 ‘与’运算 逻辑‘或’表达式

一元表达式 → 加一运算 一元表达式 | 减一运算 一元表达式|一元运算符 强制转换表达式

一元运算符 → & | * | + | - | !

强制转换表达式 → 一元表达式 | （类型名称）强制转换表达式

赋值运算符 → = | 乘法赋值 | 除法赋值 | 求余赋值 | 加法赋值 | 减法赋值

基本表达式 → 标识符 | 常量 | 字符串 | （表达式）

选择语句  → IF（表达式）语句 |  IF（表达式）语句   ELSE 语句

循环语句  → WHILE（表达式）语句 |  FOR（表达式语句;表达式语句）语句 |  FOR（表达式语句;表达式语句;表达式）语句

加法表达式 → 乘法表达式 | 加法表达式 + 乘法表达式 | 加法表达式 - 乘法表达式

乘法表达式 → 强制转换表达式 | 乘法表达式 * 强制转换表达式 | 乘法表达式 / 强制转换表达式 | 乘法表达式 % 强制转换表达式