文脈自由文法（ぶんみゃくじゆうぶんぽう、”Context-free Grammar”、CFG）とは、言語学や情報工学において全生成規則が以下の形式である形式文法のひとつである。 :V → ”w” ここで V は非終端記号であり、”w” は終端文字と非終端記号から構成される文字列である。「文脈自由」という用語は前後関係に依存せずに非終端記号 V を ”w” に置換できることを意味している。文脈自由文法によって生成される形式言語を文脈自由言語という。 文脈自由文法はほとんどのプログラミング言語の文法を記述できるほど強力である。実際、多くのプログラミング言語は文脈自由文法で構文仕様を定義している。また、文脈自由文法は効率的な構文解析アルゴリズムを適用できる程度に単純である。つまり、ある文字列が特定の文法による言語に属しているかどうかを判断することができる。初期の構文解析手法であるLR法やLL法は文脈自由文法のサブセットを扱うものであった。 

Wikipedia - 文脈

▲楽