文脈自由文法（Context-Free Grammar, CFG）は、形式言語理論における文法の一種です。これは、生成規則を用いて文字列を生成するためのルールセットであり、特にプログラミング言語や自然言語の解析に広く利用されています。文脈自由文法は、非終端記号と終端記号を使い、非終端記号が他の記号の組み合わせに置き換えられることを許可します。 この文法は、構文解析器やコンパイラの設計において重要な役割を果たします。例えば、バッカス-ナウア記法（BNF）は、文脈自由文法の一例であり、プログラミング言語の構文を定義するために使用