プッシュダウン・オートマトン
δ ( q 2 , 0 , ε ) = { ( q 2 , 0 ) } {\displaystyle \delta (q_{2},0,\epsilon )=\{(q_{2},0)\}}
δ ( q 2 , 1 , 0 ) = { ( q 3 , ε ) } {\displaystyle \delta (q_{2},1,0)=\{(q_{3},\epsilon )\}}
δ ( q 3 , 1 , 0 ) = { ( q 3 , ε ) } {\displaystyle \delta (q_{3},1,0)=\{(q_{3},\epsilon )\}}
δ ( q 3 , ε , $ ) = { ( q 4 , ε ) } {\displaystyle \delta (q_{3},\epsilon ,\$)=\{(q_{4},\epsilon )\}}
上記以外の状態、入力、スタック記号については常に δ ( q , w , a ) = Φ {\displaystyle \delta (q,w,a)=\Phi } である。