文法

上下文无关文法

产生式的定义及其表示

• 定义：产生式左部为一个非终结符，产生式右部为一个或者多个非终结符和终结符。

• 表示：终结符使用固定宽度字体表示，非终结符由斜体表示，非终结符后面跟一个冒号，在其后面跟的若干行中，每一行表示该终结符一个可能的产生式右部。若一行中产生式右部无法写完，可以在第二行续写，但是需要适当缩进。

• 例子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 ;

终结符与非终结符

• 非终结符：是一个抽象符号

• 终结符包括以下：标识符，关键字，字面常量，分隔符，操作符