Programming Binary Addition with a Turing Machine

theophyman
Messages
17
Reaction score
0
hello,
One can wonder what is the relation between the title of this thread and the subject of quantum mechanics,
well, i was reading in a book about quantum computation and information and it was talking about computer science in some chapter where it shows a basic understanding of Turing machine.
Ok, my question is: how to write a program that adds (modulo two) two binary numbers (assuming that they have the same length) separated by a 'blank' . the turing machine has only one tape and one read/write head.

is it possible?

thank you
 
Physics news on Phys.org
There are many equivalent definition of what a universal Turing machine is, it could have just one tape, or several. In fact, anything a computer can do, a Turing machine can do as well. The rule of the game is to start from something as rudimentary as possible and progressively build up complexity. Quite frankly, I believe writing such a program is more of a curiosity, possibly with pedagogical value, but again : how is this relevant to quantum mechanics ?
 
humanino said:
There are many equivalent definition of what a universal Turing machine is, it could have just one tape, or several.

i am new in learning Turing machines, but i think there is a difference between "standard" turing machine and universal turing machine. my question is about the "standard" one.


humanino said:
I believe writing such a program is more of a curiosity, possibly with pedagogical value, but again : how is this relevant to quantum mechanics ?

i can get the answer of my question using one tape with tow heads (is it acceptable?).

humanino said:
how is this relevant to quantum mechanics ?

as i said in my question above, i am learning quantum computation and quantum information,i found the turing machine and universal turing machine in a book about the subject of quantum computation and information.
 
Found this for ya. Hope it helps your understanding.

http://www.maths.leeds.ac.uk/~awmorp/turingmachine/turing.html
 
Last edited by a moderator:
mikestampone said:
Found this for ya. Hope it helps your understanding.

http://www.maths.leeds.ac.uk/~awmorp/turingmachine/turing.html

thank you, it was very helpful.
 
Last edited by a moderator:
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
Is it possible, and fruitful, to use certain conceptual and technical tools from effective field theory (coarse-graining/integrating-out, power-counting, matching, RG) to think about the relationship between the fundamental (quantum) and the emergent (classical), both to account for the quasi-autonomy of the classical level and to quantify residual quantum corrections? By “emergent,” I mean the following: after integrating out fast/irrelevant quantum degrees of freedom (high-energy modes...
Back
Top