文脈自由文法
Context-free Grammer
$ V \to \bold{w}
ただし，
$ Vと$ \bold{w}の置換が，その前の状態/文脈から完全に自由に(free)で行うことが出来るという意味が込められている
形式的定義
$ C = \lang V, \Sigma, R, S \rang
$ \Sigma: 終端記号の有限集合，アルファベットとも，$ V \cup \Sigma = \empty $ A \in V, \alpha \in (V + \Sigma)^*として$ A \to \alpha