语言 formula_1，它不是上下文无关的。还有给语言 formula_2 的（更加复杂）的不收缩文法。
等价的文法类型和表达能力.有容易的过程把任何不收缩文法转换成 Kuroda范式。已知把任何不收缩文法变换成上下文有关文法或反之的过程。所以，不收缩文法，Kuroda 范式的文法，和上下文有关文法有同样的表达能力。更精确地说，不收缩文法精确的描述不包含空串的上下文有关语言，而本质不收缩文法精确的描述上下文有关语言的集合。