Cminus语言的BNF语法定义(精).docVIP

C_minus语言的BNF语法定义 C_minus语言的BNF语法定义如下：1.program→declaration-list2.declaration-list→declaration-listdeclaration|declaration3.declaration→var-declaration|fun-declaration4.var-declaration→type-specifierID;|type-specifierID[NUM];5.type-specifier→int|void6.fun-declaration→type-specifierID(params)|compound-stmt7.params→params-list|void8.param-list→param-list,param|param9.param→type-specifierID|type-specifierID[]10.compound-stmt→{local-declarationsstatement-list}11.local-declarations→local-declarationsvar-declaration|empty12.statement-list→statement-liststatement|empty13.statement→expression-stmt|compound-stmt|selection-stmt|iteration-stmt|return-stmt14.expression-stmt→expression;|;15.selection-stmt→if(expression)statement|if(expression)statementelsestatement16.iteration-stmt→while(expression)statement17.return-stmt→return;|returnexpression;18.expression→var=expression|simple-expression19.var→ID|ID[expression]20.simple-expression→additive-expressionrelopadditive-expression|additive-expression21.relop→=|||=|==|!=22.additive-expression→additive-expressionaddopterm|term23.addop→+|-24.term→termmulopfactor|factor25.mulop→*|/26.factor→(expression)|var|call|NUM27.call→ID(args)28.args→arg-list|empty29.arg-list→arg-list,expression|expression 以下是对C_minus语言的文法定义的一些说明。 对以上每条文法规则，给出了相关语义的简短解释如下：1.program→declaration-list2.declaration-list→declaration-list｜declaration|declaration3.declaration→var-declaration|fun-declaration程序由声明的列表(或序列)组成，声明可以是函数或变量声明，顺序是任意的。至少必须有一个声明。接下来是语义限制(这些在C中不会出现)。所有的变量和函数在使用前必须声明(这避免了向后backpatching引用)。程序中最后的声明必须是一个函数声明，名字为main。注意，C－缺乏原型，因此声明和定义之间没有区别(像C一样)。4.var-declaration→type-specifierID;|type-specifierID[NUM];5.type-specifier→int|void变量声明或者声明了简单的整数类型变量，或者是基类型为整数的数组变量，索引范围从0到NUM-1。注意，在C－中仅有的基本类型是整型和空类型。在一个变量声明中，只能使用类型指示符int。void用于函数声明(参见下面)。也要注意，每个声明只能声明一个变量。6.fun-declaration→type-specifierID(params)compound-stmt7.params→param-list|void8.param-list→param-list,param|param9.param→type-specifierID|type-specifierID[]函数声