文法

上下文无关文法

产生式的定义及其表示

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

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

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

终结符与非终结符

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

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

你可能感兴趣的:(文法)