Quantum Mechanical Hamiltonian Models of Discrete Processes That Erase Their Own Histories: Application to Turing Machines

摘要

Work done before on the construction of quantum mechanical Hamiltonian models of Turing machines and general descrete processes is extended here to include processes which erase their own histories. The models consist of three phases, the forward process phase in which a map T is iterated and a history of iterations is generated, a copy phase which is activated if and only if T reaches a fix point, and an erase phase which erases the iteration history, undoes the iterations of T and recovers the initial state except for the copy system. A ballast system is used to stop the evolution at the desired state. The general model so constructed is applied to Turing machines. The main changes are that the system undergoing the evolution corresponding to T iterations becomes three systems corresponding to the internal machine, the computation tape, and computation head. Also the copy phase becomes more complex since it is desired that this correspond also to a copying Turing machine. (ERA citation 08:030987)