Parseing Techniques

1. 描述和语言都是无穷的，但是无穷是不相等的， 语言的无穷包含描述的无穷， 有些语言不存在描述与之对应。

2. Type 1文法： 上下文有关文法。 一条文法规则，只允许替换规则左边的一个符号，且规则左边的其他符号保持不变。

    Type 2文法： 上下文无关文法。 一条文法规则，左边只允许有一个非终结符。

    Type 3文法： 规则文法。 一条文法规则， 右边只允许有终结符或者最末尾有一个非终结符。

    Type 4文法： 有限选择文法。一条文法规则， 右边不允许有非终结符。