编译原理----0型，1型，2型，3型文法

0型文法：

解释： （左部）可以包含非终结符和终结符， (右部)可以包含非终结符和终结符，但是 （左部）中至少包含1个非终结符

符合：Ab-->b,B-->Bb

不符合：a-->b,ab-->BA,a-->bA

1型文法（上下文有关文法）：

在0型文法的基础上，还需符号

解释：左部符号串长度必须小于右部符号串长度

符合：A--->bB        Aa--->abc        --->(特例)        aB--->

不符合：Ab-->c        Ba--->c        

2型文法（上下型无关文法）：

在1型文法的基础上

符合：A--->aB        B--->BB        B-->ab

不符合：Ab--->aB        AA--->Ba        bb--->AB

3型文法（正规文法）：

在2型文法的基础上

解释：产生式规则的右侧只能包含一个终结符后跟一个非终结符，或者只包含一个终结符，或者是空串。

右线性文法就是后半部分中非终结符在右侧，例如：A--->bA

左线性文法就是后半部分中非终结符在左侧，例如：B--->Ab

符合：A--->bA        B---->Ba        B---->BBa       A-->b

不符合：A--->AbB

从0型到3型文法描述能力是越来越小的：

即描述能力：0型>1型>2型>3型

从0型到3型文法的限制是越来越大的：