<源程序> → <外部声明> | <源程序> <外部声明>

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

<函数定义> → <类型标识符> <声明部分语句>

<标识符类型> → <无类型> | <字符> | <整型> | <浮点型>

<声明>  <指针直接声明> | <直接声明>

<指针> → < * > | < * 指针>