上下文无关文法
产生式的定义及其表示
定义:产生式左部为一个非终结符,产生式右部为一个或者多个非终结符和终结符。
表示:终结符使用固定宽度字体表示,非终结符由斜体表示,非终结符后面跟一个冒号,在其后面跟的若干行中,每一行表示该终结符一个可能的产生式右部。若一行中产生式右部无法写完,可以在第二行续写,但是需要适当缩进。
例子1:
IfThenStatement:
if (Expression) Statement
- 例子2({x}表示0个或者多个x):
ArgumentList:
Argument {,Argument}
- 例子3([x]表示0个或者1个x):
法1:
BreakStatement:
break [Identifier] ;
法2:
BreakStatement:
break ;
break Identifier ;
终结符与非终结符
非终结符:是一个抽象符号
终结符包括以下:标识符,关键字,字面常量,分隔符,操作符