チューリングマシン
可逆チューリングマシンは、すべての単射な計算可能関数を計算できる。