?上下文有关文法

则称G为1型文法，也称上下文有关文法(context sensitive grammar, CSG)，对应的语言L(G)称为1 型语言，或者上下文有关语言。线性有界自动机可识别这种语言。

?或上下文有关文法

...网 如果对于αβ∈P，均有|β|≥|α|成 立，则称G为1型文法(type 1 grammar)， 或上下文有关文法(context sensitive grammar,CSG)。