分四类: 0型文法 1型文法 不包括空产生式,这是因为空产生式产生的空代表β为空,而α又必须包含非终结符,所以不满足定义。 2型文法: 产生式的左部必须是非终结符 3型文法 四种文法之间的关系,逐级的进行限制: