1014 C语言文法定义与C程序的推导过程

程序-> <外部声明><程序><外部声明>

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

函数定义-> <函数类型><说明符><复合语句>

函数类型-> void|char|int|float

说明符-> <指针 ><直接说明符>|<直接说明符>

指针-> <*>|<*><指针>

标识符序列-> <标识符>|<标识符序列><，><标识符>

常量表达式-> <条件表达式>

参数序列-> <参数声明>|<参数声明><,><参数声明>

参数声明-> <声明说明符><声明符>

复合语句-> <{}>|<{<陈述序列>}>|<{<声明序列><陈述序列>}>

声明序列-> <声明符>|<声明序列><声明符>

声明符-> <初始化说明符>|<初始化说明符><,><初始化说明符>

初始化说明符-> <说明符>|<说明符><=><初始化程序>

初始化程序-> <赋值表达式>|<{<初始化序列>}>|<{<初始化序列><,>}>

初始化序列-> <初始化程序>|<初始化序列><,><初始化>

陈述序列-> <陈述语句>|<陈述序列><陈述语句>

陈述语句-> <复合语句>|<表达式语句>|<选择语句>|<循环语句>|<转移语句>

表达式语句-> <;>|<表达式><;>

选择语句-> <if（表达式）陈述语句>| <if（表达式）陈述语句><，><else 陈述语句>

循环语句-> <for （<表达式语句 ><表达式语句>< 表达>）>|<for (<表达式语句 ><表达式语句>< 表达>)><,><陈述语句>

转移语句-> continue|break|return|return <表达式><;>

表达式-> <赋值表达式>|<表达式><，><赋值表达式>

赋值表达式-> <条件表达式>|<一元表达式><赋值运算符><赋值表达式>

条件表达式-> <逻辑或表达>|<逻辑或表达><?><表达式><条件表达式>

逻辑或表达-> <逻辑或表达>|<逻辑或表达><运算逻辑和表达>

运算逻辑和表达-> <包容性或表达>|<包容性或表达><运算包容性或表达>

包容性或表达-> <异或表达式>|<包容性或表达><|><异或表达式>

异或表达式-> <与表达式>|<异或表达式><^><与表达式>

与表达式-> <相等表达式>|<与表达式><&><相等表达式>

相等表达式-> <关系式>|<相等表达式><运算关系式>

关系式-> <移动式>|<关系式><'<'><移动式>|<关系式><'>'><移动式>

移动式-> <累积式>|<移动式> <LEFT_OP ><累积式>|<>移动式><RIGHT_OP ><累积式>

累积式-> <乘法式>|<移动式><+> <乘法式> |<移动式><-><乘法式>

乘法式-> <转换表达式>|<转换表达式><*><乘法式> |<转换表达式></><乘法式> | <转换表达式><%><乘法式>

转换表达式-> <一元表达式>|<(类型名称)> <转换表达式>

后缀表达式-> <主要表达式>| <转换表达式><[ ]>| <转换表达式><( )>| <转换表达式><参数表达式列表>| <转换表达式>