般性，但仍足够有秩序得可以被线性有界自动机所解析。上下文有关文法的概念是诺姆·乔姆斯基在1950年代介入的，被作为描述自然语言的语法的一种方式，在自然语言中一个单词是否可以出现在特定位置上，要依赖于上下文。可以被上下文有关文法描述的形式语言叫做上下文有关语言。
形式定义.形式文法 "G" = ("N", Σ, "P", "S") 是上下文有关的，如果在 "P" 中所有的规则都有如下形式这里的 "A" ∈ "N"（就是 "A" 是单一非终结符），α,β ∈ ("N" U Σ)*