Kamus

文脈依存文法（ぶんみゃくいぞんぶんぽう、英: context-sensitive grammar）は、形式文法 G = (N, Σ, P, S) において P の生成規則が以下のような形式のものをいう。 αAβ → αγβ ここで A は N に属する非終端記号であり、α と β は (N ∪ Σ)*