タグ付けされた質問 「reversible-computing」

fが計算可能な全単射関数の場合に限り、関数を実装（または表現）できるプログラミング言語（またはロジック）はありますか？f：N → Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

私は、リバーシブルコンピューティングについて読み始めたばかりの学部生です。ランダウアーの原理により、不可逆的な計算は熱を散逸させます（そして、可逆的な計算は熱を散逸させません）。私はこれまでリバーシブルコンピューティングについて聞いたことがなかった教授と一緒に育てました。彼はリバーシブルコンピューティングの理論がなぜ些細なものではないのか理解するのに苦労していました。 彼のポイントは、常に入力を保存できるということでした。つまり、任意の関数で、可逆にしたい場合は、新しい関数定義します。（またはそして、あなたはちょうど入力の最後のビットに sを入れます）これは最初のビットに出力を返し、他のビットに入力を返します。次に、を反転するには、出力を破棄して、保存した入力を返すだけです。F R E V E R S I BのLのE：{ 0 、1 } のn → { 0 、1 } 2 N { 0 、1 } 2 N → { 0 、1 } 2 N 0 N N N Ff：{ 0 、1 }ん→ { 0 、1 }んf:{0,1}n→{0,1}nf: \{ 0, 1 …

9 computability  reversible-computing