<程序>-><声明>|<程序><函数>

<函数>-><修饰符><标识符><形式参数><复合语句>

<修饰符>->void | int |char |float|double

<标识符>-> <D>|<标识符><D>|<标识符><N>

<D>->a|b|...|z

<N>->0|1|2|...|9

<形式参数>-><数据类型><标识符>

<数据类型>->int|float|double|char

<复合语句>-><语句列表>|{}

<语句列表>-><语句>|<语句列表><语句>

<语句>-><条件语句>|<赋值语句>

<条件语句>-><S1>|<S2>

<S1>->if<b><条件语句> else <条件语句>

<S2>->if <b><条件语句>|<复合语句>

<b>-><逻辑表达式>

<逻辑表达式>-><标识符>|<N>|<逻辑运算符>|<标识符>|<N>

<逻辑运算符>-> >|=|>=|<=|<|!

<赋值语句>-><标识符>=<表达式>

<表达式>->表达式+T|表达式-T|T

T->F*F|T/F|F

F->(表达式)|i