CF文法の定義
CF文法の定義
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は開始記号である -- 『コンパイラの理論と作成技法』 具体例
N
関数定義、型名、パラメータリスト、名前、パラメータ、複文
非終端記号
A, B, ...
$ \Sigma.
(,),,,VOID, INT, NAME, PARAM, COMPOUND
終端記号
a, b,...
P
生成規則の有限集合
S
関数定義
$ \Sigma^*.
終端記号列
x,y,z,...
$ (N\cup \Sigma)^*.
$ \alpha,$ \beta, ...
$ N \cup \Sigma.
$ X, $ X_i,...