Context-Free Grammar
文脈自由文法とは、各生成規則の左辺が単一の非終端記号である文法であり、再帰的構造を記述でき、ほとんどのプログラミング言語の構文の基礎を成す。
目的
プログラミング言語の構文構造を記述し、パーサ設計を導く。
メカニズム
規則は A→α の形を取り、A は非終端記号、α は終端記号と非終端記号の列である。入れ子（釣り合いの取れた括弧や式など）は記述できるが、文脈依存の制約（変数の宣言より前の使用など）は記述できない。Chomsky 階層の 2 型文法である。
ユースケース
- プログラミング言語の設計
- パーサの実装
- パーサによる構文解析