四种类型的文法

0型文法：所见到的文法，99%的文法是0型的文法；
1型文法（上下文无关文法）：式子左边至少包括一个非终结符，右边是有限个字符；
2型文法（上下文相关文法）：式子左边只有一个非终结符，右边是有限个字符；
3型文法（正规文法）：式子左边只有一个非终结符，右边是一个终结符或【终结符+非终结符】两个字符（右线性文法），也可以【非终结符+终结符】（左线性文法）。