乔姆斯基将文法的类型分成4中即0型-3型。注 文法是一个四元组(Vt,Vn,P,S)其中Vt:终结符集 Vn:非终结符集 P:规则集 S:开始符号 一般大写字母指非终结符小写字母指终结符
0型:左边至少有一个大写字母
1型:右部的长度>=左部的长度
2型:左部全是非终结符如AB->ab
3型:左部为一个大写字母 右部为一个小写字母或者由一个大写字母和一个小写字母组成并且大写字母要么在小写字母左侧(左线性)要么在小写字母右侧(右线性)不能在一个P中两者皆有!!!
3型文法的另一种描述:P中 每个规则都形如A->a A->aB (右线性)或者 A->Ba(左线性)注:3型不能同时具有左线性和右线性 至多含有一种