Kuroda范式。已知把任何不收缩文法变换成上下文有关文法或反之的过程。所以，不收缩文法，Kuroda 范式的文法，和上下文有关文法有同样的表达能力。更精确地说，不收缩文法精确的描述不包含空串的上下文有关语言，而本质不收缩文法精确的描述上下文有关语言的集合。