有限オートマトンに記憶装置としてスタックを加えたオートマトン( 遷移をもつ非決定性有限オートマトン(\varepsilon-NFA))をプッシュダウンオートマトン(PDA;Pushdown Automaton)といいます.
状態 p \in Q ,入力 \alpha \in \Sigma ,スタックの一番上に積まれている記号を A \in \Gamma とします.
このとき,次の状態 q \in Q と,次にスタックに積む(書きこむ)記号列 \alpha \in \Gamma^{*} を定める関数をプッシュダウンオートマトン(PDA)の状態遷移関数といい,以下のように表します.\delta(p,a,A) = (q,\alpha)
4つの集合 Q,\Sigma,\Gamma,F を,
Mathematics is the language with which God has written the universe.