形式定义.在形式语言理论中，文法是不收缩的（或单调的），如果所有它的产生规则都有如下形式 就是说，没有规则会减少被重写的字符串的大小。它是本质不收缩的，如果可有一个例外，也就是，规则这里的 S 是开始符号而 ε 是空串。
例子.这个文法生成语言 formula_1，它不是上下文无关的。还有给语言 formula_2 的（更加复杂）的不收缩文法。
等价的文法类型和表达能力.有容易的过程把任何不收缩文法转换成 Kuroda