文脈自由文法
文脈自由文法（ぶんみゃくじゆうぶんぽう、"Context-free Grammar"、CFG）は、形式言語の理論（特に、生成文法）において全生成規則が以下のようである形式文法である。
ここで V は非終端記号であり、"w" は終端記号と非終端記号の（0個を含む）任意個の並びである。「文脈自由」という用語は前後関係に依存せずに非終端記号 V を "w" に置換できる、という所から来ている（「文脈無用」という訳の提案もある）。文脈自由文法によって生成される形式言語を文脈自由言語という。