程序-> <外部声明><程序><外部声明>

外部声明-> <函数定义>|<声明>

函数定义-> <函数类型><说明符><复合语句>

函数类型-> void|char|int|float

说明符-> <指针 ><直接说明符>|<直接说明符>

指针-> <*>|<*><指针>

直接说明符-> <标识符>|<直接说明符[]>|<直接说明符[常量表达式]>|<标识符（参数序列）>|<标识符（）>|<直接说明符，标识符序列>

标识符序列-> <标识符>|<标识符序列><，><标识符>

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

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

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

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

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

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

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

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

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

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

逻辑或表达式-> <逻辑和表达式>|<逻辑或表达式><逻辑和表达式>

逻辑和表达式-> <或表达式>|<和表达式><AND><或表达式>

包涵或表达式-> <异或表达式><包涵或表达式>|<异或表达式>

异或表达式-> <和表达式>|<异或表示><和表达式>

和表达式-> <等值式>|<和等值式><等值式>

等值式-> <关系表达式>

关系表达式-> <转移表达式>|<关系表达><‘<‘><转移表示式> |<关系表达><‘>‘><转移表示式>

实验二 语言文法