形式的には、δ(q0,ϵ,ϵ)={(q1,$)}{\displaystyle\delta(q_{0},\epsilon,\,\epsilon)=\{(q_{1},\$)\}}という遷移を導入する。
形式的说，实现它可通过介入转移δ(q0,ϵ,ϵ)={(q1,$)}{\displaystyle\delta(q_{0},\epsilon,\,\epsilon)=\{(q_{1},\$)\}}这里的$是特殊符号。