C语言文法翻译

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

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

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

<类型说明符>→<无返回型>|<字符型>|<整型>|<浮点型>

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

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

<直接声明>→<标识符>|<直接声明>[]|<直接声明>[常量表达式]|<标识符>(参数表)|< 标识符>()|<直接声明>,< 标识符列表>

<标识符列表>→<标识符>|<标识符列表>,<标识符>

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

<参数表>→<参数声明>|<参数表>, <参数声明>

<参数声明>→<声明说明符><标识符>

<复合语句>→{<>}|{<语句列表>}|{<声明列表><语句列表>}

<声明列表>→<声明>|<声明列表><声明>

<声明>→<初始化声明符>|<初始化声明符列表>,<初始化声明符>

<初始化声明符>→<声明>|<声明符>=<初始化>

<初始化>→<赋值表达式>|{< initializer list

初始化列表>}|{< initializer list

初始化列表>,}

<初始化列表>→<初始化>|<初始化列表>,<初始化>

<语句列表>→<语句>|<语句列表><语句>

<语句>→<复合语句>|<表达式语句>|< selection statement

选择语句>|<迭代语句>|<跳转语句>

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

<选择语句>→if(<表达式>)<语句>| if(<表达式>)<语句>else<语句>

<迭代语句>→while(<表达式>)<语句>|for(<表达式语句><表达式语句>)<语句>|for(<表达式语句><表达式语句><表达式>)<语句>

<跳转语句>→continue;|break;|return;| return<表达式>;

<表达式>→<赋值表达式>|<表达式>,<赋值表达式>

<赋值表达式>→<条件表达式>|<一元表达式><赋值操作符><赋值表达式>

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

<逻辑或表达式>→<逻辑与表达式>|<逻辑或表达式> OR OP<逻辑与表达式>

<逻辑与表达式>→<包含或表达式>|<逻辑与表达式>and op<包含或表达式>

<包含或表达式>→<按位或表达式>|<与表达式>|<按位或表达式>^<与表达式>

<与表达式>→<等式表达式>|<与表达式>&<等式表达式>

<等式表达式>→<关系表达式>|<等式表达式> EQ_OP<关系表达式>|<等式表达式> NE_OP<关系表达式>

<关系表达式>→<转换表达式> |<关系表达式><<转换表达式>|<关系表达式>><转换表达式>|<关系表达式>le op<转换表达式>|<关系表达式>ge op<表转换达式>

<转换表达式>→<加法表达式>|<转换表达式>left op<加法表达式>|<转换表达式>right op<加法表达式>

<加法表达式>→<乘法表达式>|<加法表达式>+<乘法表达式>|<加法表达式>-<乘法表达式>

<乘法表达式>→<铸造表达式>|<乘法表达式>*<铸造表达式>|<乘法表达式>/<铸造表达式>|<乘法表达式>%<铸造表达式>

<铸造表达式>→<一元表达式>|(<类型名称>)<<铸造表达式>>

<一元表达式>→<后缀表达式>| INC OP<一元表达式>| DEC_OP<一元表达式>|<一元运算符><铸造表达式>| SIZEOF<一元表达式>| SIZEOF(<类型名称>)

<后缀表达式>→<原始表达式>|<后缀表达式>[<表达式>]| <后缀表达式>()|<后缀表达式>(<表达式的参数列表>)|<后缀表达式>. IDENTIFIER|<后缀表达式> PTR OP IDENTIFIER|<后缀表达式> PTR OP IDENTIFIER|<后缀表达式> INC OP|<后缀表达式> DEC OP

<原始表达式>→IDENTIFIER| CONSTANT| STRING LITERAL|(<表达式>)

<表达式的参数列表>→<参数表达式>|<表达式的参数列表>,<参数表达式>

<一元运算符>→&|*|+|-|~|!

<赋值操作符>→=| MUL_ASSIGN| DIV_ASSIGN| MOD_ASSIGN| ADD_ASSIGN|SUB_ASSIGN|LEFT_ASSIGN|RIGHT_ASSIGN|AND_ASSIGN| XOR_ASSIGN| OR_ASSIGN

<存储类说明符>→ TYPEDEF| EXTERN| STATIC| AUTO| REGISTER

<结构体或共用体的说明符>→<结构体或共用体> IDENTIFIER{<结构体声明列表>}|<结构体或共用体>{<结构体声明列表>}|<结构体或共用体> IDENTIFIER

<结构体或共用体>→STRUCT| UNION

<结构体声明列表>→<结构体声明>|<结构体声明列表><结构体声明>

<结构体声明>→<说明符限定符列表><结构体声明列表>;

<说明符限定符列表>→<类型说明符><说明符限定符列表>|<类型说明符>|<类型限定符><说明符限定符列表>|<类型限定符>

<结构体声明符列表>→<结构体声明>|<结构体声明符列表>,<结构体声明>

<结构体声明>→<声明>|:<常量表达式>|<声明>:<常量表达式>

<枚举说明符>→ ENUM{<枚举数列表>}| ENUM IDENTIFIER{<枚举数列表>}| ENUM IDENTIFIER

<枚举数列表>→<枚举法>|<枚举数列表>,<枚举法>

<枚举法>→IDENTIFIER| IDENTIFIER=<常量表达式>

<类型限定符>→ CONST| VOLATILE

<说明符限定符列表>→<类型限定符>|<说明符限定符列表><类型限定符>

<参数类型列表>→<参数表>|<参数表>, ELLIPSIS

<参数表>→<参数声明>|<参数表>,<参数声明>

<类型名称>→<说明符限定符列表>|<说明符限定符列表><抽象说明>

<抽象说明>→<指针>|<直接声明符>|<指针><直接声明符>

<直接声明符>→(<抽象说明>)|[]|[<常量表达式>]|<直接声明符>[]|<直接声明符>[<常量表达式>]|()|(<参数类型列表>)|<直接声明符>()|<直接声明符>(<参数类型列表>)

<标号语句>→ IDENTIFIER:< 语句>| CASE<常量表达式>:< 语句>| DEFAULT: < 语句>