<程序>→<声明序列>|<程序><声明序列>
<声明序列>→<函数>|<声明>
<函数>→<标识符类型><声明语句>
<标识符类型>→<无类型>|<字符>|<整型>|<浮点型>
<声明><指针直接声明>|<直接声明>
<指针>→<*>|<*指针>
<复合语句>→<{}>|<语句列表>|<{<声明序列><语句序列>}>
<语句序列>→<语句>|<语句序列><语句>
<语句>→<条件语句>|<赋值语句>
<条件语句>→<S1>|<S2>
<S1>→if<a><条件语句>else<条件语句>
<S2>→if<a><条件语句>|<复活语句>
<a>→<逻辑表达式>
<逻辑表达式>→<标识符>|<N>|<运算符>|<标识符>|<N>
<运算符>→ >|=|>=|<=|<
<赋值语句>→<标识符><表达式>