0型文法 0型文法没有限制,所有文法都是0型 1型文法 我的理解是右边长度大于等于左边 2型文法 形如A->… 左边只能有一个非终结符 3型文法(正规文法) 分为右线性正规文法和左线性正规文法 文法包含关系