Halting in quantum Turing computation
Quantum Physics
2016-08-14 v1
Abstract
The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered.
Cite
@article{arxiv.0705.3077,
title = {Halting in quantum Turing computation},
author = {W. L. Fouché and J. Heidema and G. Jones and P. H. Potgieter},
journal= {arXiv preprint arXiv:0705.3077},
year = {2016}
}