Calcul reversibil
Salt la navigare Salt la căutare
Calculul reversibil este un model neconvențional de calcul în care procesul de calcul este inversabil. În special, luați în considerare o formalizare operațională a calculului , de exemplu cu automatele , în care o funcție de tranziție descrie evoluția mașinii de la o stare la alta. Pentru ca calculul să fie reversibil, funcția trebuie să fie neapărat injectivă .
Există două tipuri de reversibilitate pe care unul încearcă să le realizeze: reversibilitatea fizică și reversibilitatea logică . [1]
Reversibilitatea fizică ar permite obținerea de rezultate fără creșterea entropiei sistemului. Pentru a fi reversibil din punct de vedere fizic, un computer trebuie să fie și reversibil din punct de vedere logic, așa cum a afirmat Rolf Landauer [2]
Notă
- ^ Grupul de calcul reversibil și cuantic (Revcomp)
- ^ Rolf Landauer , Irreversibilitatea și generarea căldurii în procesul de calcul , în IBM Journal of Research and Development , vol. 5, 1961, pp. 183-191.
