<源程序>→<外部声明>|<外部声明><函数体>
<外部申明>→<头文件><函数声明>|其他声明
<函数体>→<返回值类型><标识符><形参><复合语句>
<返回值类型>→void|char|int|float
<标识符>→<字母>|<标识符><字母>|<标识符><数字>
<字母>→a|b|c|...|z|_
<数字>→0|1|2|3|4|5|6|7|8|9
<形参>→<数据类型> <标识符>
<复合语句>→{}|{ <语句列表>}
<语句列表>→<复合语句>|<语句列表>
<复合语句>→<赋值语句>|<条件语句>|<循环语句>
<赋值语句>→<标识符>=<表达式>
E→E + T |E–T|T
T→T*F|T/F|F
F→E|i
<条件语句>→S1|S2
<S1>→if <判断语句><{条件语句}> else <{条件语句}>
<S2>→if <判断语句><{条件语句}>| if <判断式><{条件语句}> S1
<判断语句>→<标识符><逻辑运算符><标识符|数字>
<逻辑运算符>→>|<|=|!|>=|<=
<循环语句>→<for语句>|<while语句>|<do while语句>
<for语句>→for(赋值语句;判断语句; <标识符><D>){语句列表}
D→++|--
<while语句>→while(判断语句){语句列表}
<do while语句>→do{语句列表}while(判断语句)
