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