Is there a formal definition of a 'Quantum Turing machine'? I am mainly interested in how the tape position would move.
https://en.wikipedia.org/wiki/Turing_machine
https://en.wikipedia.org/wiki/Quantum_computing
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
3
Well, yes, you were almost there : https://en.wikipedia.org/wiki/Quantum_Turing_machine
-
$\begingroup$ They add :'The above is merely a sketch of a quantum Turing machine, rather than its formal definition, as it leaves vague several important details'. $\endgroup$– JMPCommented Oct 14, 2022 at 14:41
-
$\begingroup$ Indeed, but you can look at the papers in the sources of the article for more complete answers. See also cs.stackexchange.com/questions/125/… $\endgroup$– pasthecCommented Oct 17, 2022 at 8:38
-
$\begingroup$ Personally, I think that 'quantum' refers to tending the discrete time intervals between state transitions to zero, hence creating a continuous process. This, for example solves the non-Turing problem of colliding spheres. $\endgroup$– JMPCommented Oct 17, 2022 at 12:42