可计算枚举语言被命名为0-型语言，上下文相关语言被命名为1-型语言，上下文无关语言被命名为2-型语言，正则语言被命名为3-型语言。低型语言不是高型的，默认情况下，每个高型的语言都是低型的，这个被称为乔姆斯基分层。存在正则语言的一个扩展。在正则语言里，一个非终结符号可以像串最右端符号那样出现任一生成式的右边。这种语法也叫作右线性语法(right linear grammars)。当语法中每个生成式最多有一个非终结符在它右边，并且非终结符像最左端符号那样出现左边时，语法叫作左线性语法(1eft linear grammar)。在线性语法中，每个生成式在右边之多有一个非终结符，在位置上则无任何限制。