可逆チューリングマシン
状態 q で任意の記号の時は、状態 q' に遷移し記号を書き換えずに方向 d に動く、という規則を [q, /, d, q'] とする。
状態 q 記号 s の時は、状態 q' に遷移し動かずに記号を s' に書き換える、という規則を [q, s, s', q'] とする。
このチューリングマシンの全ての規則のうちから任意の同じでない 2 個の規則 [q1, b1, c1, q'1] と [q2, b2, c2, q'2] を選んだ時に、
q1=q2 かつ ( b1=b2 または b1=/ または b2=/ ) が成立することがないチューリングマシンは決定的である。
さらに q'1=q'2 かつ ( c1=c2 または b1=/ または b2=/ ) が成立することもないチューリングマシンは可逆である。
可逆チューリングマシンは、すべての単射な計算可能関数を計算できる。