语法图又称铁路图,是EBNF(扩展巴克斯范式)的图形化表示

  1. 从左边界开始沿着轨道去到右边界。
  2. 沿途,你将在圆框中遇到的是字面量,在方块中遇到的是规则或者描述。
  3. 任何沿着轨道能走通的序列都是合法的。
  4. 任何不能沿着轨道走通的序列都是非法的。
/* a simple program in EBNF  Wikipedia */
program ::= 'PROGRAM' whiteSpace identifier whiteSpace 'BEGIN'  whiteSpace  (assignment  ";")*  'END.'
assignment ::= identifier  ":="  ( number | identifier | string ) 
string ::= '"' [A-Z0-9_]+ '"'
identifier ::= [A-Z] [0-9A-Z]*
whiteSpace ::= [#x20]

p1 p2 p3 p4 p5