[NAME]
ALL.dao.grammar.notation

[TITLE]
Dao语言文法标记

[DESCRIPTION]

语法定义: A ::= B, A被定义为B, 这里B可以是一句描述性的话或下列单项定义的组合, 
  1. 描述式: "描述"
  2. 可替换式: S | Y
  3. 可选择式: [ S ]
  4. 归组式: ( S )
  5. 可重复式: S *S + 
       *  * : 零次或多次;
       *  + : 一次或多次;  
     为了方便,{ S }也被用来表示重复S零次或多次。 
例子: 
  *  ( S | Y )+ 表示所有这些可能的序列: S;   Y; SY; YS; SSY ...;
  *  S ( Y | N ) T 表示: SYTSNT;