A most excellent paper. Shows how to systematically convert any Turing machine into an equivalent 3-tape Turing machine that is logically reversible. Relevance to thermodynamic efficiency of computation: any computation, so transformed, can be made to cost, in principle, no more than kT ln 2 energy per bit of final stored output. Discussion of random-walk computation in physically reversible systems. Why logical reversibility is needed for this to work. DNA transcription as a thermodynamically efficient, reversible computation.
I don't have a copy of this yet.Actually, I do have some of the articles now.
I don't have a copy of this yet.