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

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

<函数定义>→<类型标识符声明>|<复合语句声明>

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

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

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