>CF文法GはG = (N, \Sigma, P, S)の四つ組で定義される。ここで、Nと\Sigmaはそれぞれ非終端記号と終端記号の有限集合であり、Pは生成規則の有限集合で、各規則はA\to\alphaの形を持つ。ただし、A\in N、\alpha \in (N \cup \Sigma)^* \cdot S\in Nは開始記号である -- 『コンパイラの理論と作成技法』