<源程序> → <外部声明> | <源程序> <外部声明>
<外部声明> → <函数定义> | <定义>
<函数定义> → <类型标识符> <声明部分语句>
<标识符类型> → <无类型> | <字符> | <整型> | <浮点型>
<声明> <指针直接声明> | <直接声明>
<指针> → < * > | < * 指针>
<源程序> → <外部声明> | <源程序> <外部声明>
<外部声明> → <函数定义> | <定义>
<函数定义> → <类型标识符> <声明部分语句>
<标识符类型> → <无类型> | <字符> | <整型> | <浮点型>
<声明> <指针直接声明> | <直接声明>
<指针> → < * > | < * 指针>