On the Halting Problem for Quantum Turing Machines
Masanao Ozawa · Institutional Repositories DataBase (IRDB) · 1998
Foundations of the theory of quantum Turing machines are investigated.The local transition functions are characterized for fully general quantum Tur- ing machines.Foundational problems on the preparation and the measurement of quantum Turing machines are discussed.The halt scheme, originally proposed by Deutsch, is formulated precisely and is shown to work without spoiling computation.