"A" 是否可以被 γ 所替代。这不同于上下文无关文法，它不考虑非终结符的上下文。如果把向语言增加空串的可能性增加到由不收缩文法所识别的那些字符串（永不包括空串的）中，则在这两种定义下的语言是相同的。
例子.正规的非上下文无关语言formula_1可由以下上下文有关文法生成:规则1和2允许将 "S" 拆分为 "a"("BC")；规则3到5允许随后将每个 "CB" 对换位置为 "BC"（需要用3个规则，因为1个 "CB" → "BC" 规则，不能适合 α"A"β → αγβ