プッシュダウンオートマトン
$ M=(Q,\ \Sigma,\ \Gamma,\ \delta, \ q_{0}, \ F)
$ \, Q は状態の有限集合
$ \,\Sigma は入力アルファベットの有限集合
$ \,\Gamma はスタック上のアルファベットの有限集合
$ \,\delta : $ Q \times \Sigma_{\epsilon} \times \Gamma_{\epsilon} \longrightarrow P( Q \times \Gamma_{\epsilon} ) は遷移関数
$ q_{0} は開始状態
$ F\subset Q は受容（受理）状態の集合
$ \Gamma_{\epsilon} = \Gamma\cup\{\epsilon\}
$ \Sigma_{\epsilon} = \Sigma\cup\{\epsilon\}
確認用
Q. プッシュダウンオートマトン
参考
メモ