<程序> → <外部声明> | <程序的外部声明>
<标识符类型> → <无类型> | <字符> | <整型> | <浮点型>
<标识符列表> : <标识符> | <标识符列表 ,标识符>
<常数表达式> → <条件表达式>
<复合语句> → <{ }> | <{ 语句列表 }> | <{ <声明列表> <语句列表> }>
<声明列表> → <声明> | <声明列表> <声明>
<语句列表> → <语句> | <语句列表> <语句>
<语句> | <复合语句> | <表达式语句> | <选择语句> | <循环语句> |<跳转语句>
<表达式语句> → <表达式;>
<选择语句> : < IF(表达式)语句> | < IF(表达式)语句 > < ELSE 语句>
<循环语句> → < WHILE(表达式)语句> | < FOR(表达式语句表达式语句)语句> | < FOR(表达式语句表达式语句表达式)语句>
<表达式> : <赋值表达式> | <表达式, 赋值表达式>
<赋值表达式> → <条件表达式> | <一元表达式> <赋值操作符> <赋值表达式>
<条件表达式> → <逻辑‘或’表达式> | <逻辑‘或’表达式?> <表达式:> <条件表达式>
<加法表达式> : <乘法表达式> | <加法表达式 + 乘法表达式> | <加法表达式 - 乘法表达式>
<乘法表达式> : <强制转换表达式> | <乘法表达式 * 强制转换表达式> | <乘法表达式 / 强制转换表达式> | <乘法表达式 % 强制转换表达式>