程序-> <外部声明><程序><外部声明>
外部声明-> <函数定义>|<声明>
函数定义-> <函数类型><说明符><复合语句>
函数类型-> void|char|int|float
说明符-> <指针 ><直接说明符>|<直接说明符>
指针-> <*>|<*><指针>
直接说明符-> <标识符>|<直接说明符[]>|<直接说明符[常量表达式]>|<标识符（参数序列）>|<标识符（）>|<直接说明符，标识符序列>
标识符序列-> <标识符>|<标识符序列><，><标识符>
常量表达式-> <条件表达式>
参数序列-> <参数声明>|<参数声明><,><参数声明>
参数声明-> <声明说明符><声明符>
复合语句-> <{}>|<{<陈述序列>}>|<{<声明序列><陈述序列>}>
声明序列-> <声明符>|<声明序列><声明符>
声明符-> <初始化说明符>|<初始化说明符><,><初始化说明符>
初始化说明符-> <说明符>|<说明符><=><初始化程序>
初始化程序-> <赋值表达式>|<{<初始化序列>}>|<{<初始化序列><,>}>
初始化序列-> <初始化程序>|<初始化序列><,><初始化>
陈述序列-> <陈述语句>|<陈述序列><陈述语句>
陈述语句-> <复合语句>|<表达式语句>|<选择语句>|<循环语句>|<转移语句>
表达式语句-> <;>|<表达式语句><;>
原文：http://www.cnblogs.com/zlcan/p/4918069.html