可逆チューリングマシン
可逆チューリングマシンとは
可逆チューリングマシン とは、遷移函数の定義域と値域が重複しないチューリングマシンである。可逆チューリングマシンは、すべての単射な計算可能関数を計算できる。
- 出典: フリー百科事典『ウィキペディア(Wikipedia)』
- [ 可逆チューリングマシンの改定履歴 ]
情報科学 の 可逆チューリングマシンに関する解説。
可逆チューリングマシン とは、遷移函数の定義域と値域が重複しないチューリングマシンである。可逆チューリングマシンは、すべての単射な計算可能関数を計算できる。
