串允许声明：上下文有关语言是上下文无关语言的真超集，而不是作出弱一些的声明：没有 →ε产生式的所有上下文无关文法也是上下文有关文法。上下文有关这个名称来源自 α 和 β 形成了 "A" 的上下文并且决定 "A" 是否可以被 γ 所替代。这不同于上下文无关文法，它不考虑非终结符的上下文。如果把向语言增加空串的可能性增加到由不收缩文法所识别的那些字符串（永不包括空串的）中，则在这两种定义下的语言是相同的。
例子.正规的非上下文无关语言 formula_1可由以下上下文有关文法生