Résumé :
Je raconterai le papier de Bennett de 1973 [1], en l'illustrant par des
dessins des transitions dans les graphes évoqués.
Il s'agit de transformer un calcul quelconque (mais toutefois, un calcul
qui s'arrête) sur une machine de Turing quelconque (donc
éventuellement
universelle) en un calcul sur une machine de Turing réversible.
"Réversible" étant défini par:
- possibilité à tout instant d'avancer ou de reculer dans le
calcul,
- on ne fait pas d'effacement irréversible d'information (on n'oublie
jamais d'information).
Je ferai précéder par une introduction présentant les liens
(supposés)
entre cette notion de réversibilité et la dissipation
d'énergie par les
ordinateurs.
Je ferai suivre par une conclusion
essayant de dégager les conséquences
pratiques pour les implémentations d'ordinateurs.
[1] C. H. Bennett, Logical Reversibility of Computation, IBM J. Res. Dev.,
Nov. 1973