1000/1000

Hot
Most Recent

Submitted Successfully!

To reward your contribution, here is a gift for you: A free trial for our video production service.

Thank you for your contribution! You can also upload a video entry or images related to this topic.

Do you have a full video?

Are you sure to Delete?

Cite

If you have any further questions, please contact Encyclopedia Editorial Office.

HandWiki. Non-Deterministic Turing Machine. Encyclopedia. Available online: https://encyclopedia.pub/entry/35975 (accessed on 15 June 2024).

HandWiki. Non-Deterministic Turing Machine. Encyclopedia. Available at: https://encyclopedia.pub/entry/35975. Accessed June 15, 2024.

HandWiki. "Non-Deterministic Turing Machine" *Encyclopedia*, https://encyclopedia.pub/entry/35975 (accessed June 15, 2024).

HandWiki. (2022, November 23). Non-Deterministic Turing Machine. In *Encyclopedia*. https://encyclopedia.pub/entry/35975

HandWiki. "Non-Deterministic Turing Machine." *Encyclopedia*. Web. 23 November, 2022.

Copy Citation

In theoretical computer science, a Turing machine is a theoretical machine that is used in thought experiments to examine the abilities and limitations of computers.

thought experiments
computers
computer

In essence, a Turing machine is imagined to be a simple computer that reads and writes symbols one at a time on an endless tape by strictly following a set of rules. It determines what action it should perform next according to its internal *state* and *what symbol it currently sees*. An example of one of a Turing Machine's rules might thus be: "If you are in state 2 and you see an 'A', change it to 'B', move left, and change to state 3."

In a deterministic Turing machine (DTM), the set of rules prescribes at most one action to be performed for any given situation.

A deterministic Turing machine has a *transition function* that, for a given state and symbol under the tape head, specifies three things:

- the symbol to be written to the tape,
- the direction (left, right or neither) in which the head should move, and
- the subsequent state of the finite control.

For example, an X on the tape in state 3 might make the DTM write a Y on the tape, move the head one position to the right, and switch to state 5.

By contrast, a **non-deterministic Turing machine** (**NTM**), the set of rules may prescribe more than one action to be performed for any given situation. For example, an X on the tape in state 3 might allow the NTM to:

- Write a Y, move right, and switch to state 5

**or**

- Write an X, move left, and stay in state 3.

How does the NTM "know" which of these actions it should take? There are two ways of looking at it. One is to say that the machine is the "luckiest possible guesser"; it always picks a transition that eventually leads to an accepting state, if there is such a transition. The other is to imagine that the machine "branches" into many copies, each of which follows one of the possible transitions. Whereas a DTM has a single "computation path" that it follows, an NTM has a "computation tree". If at least one branch of the tree halts with an "accept" condition, we say that the NTM accepts the input.

A non-deterministic Turing machine can be formally defined as a 6-tuple [math]\displaystyle{ M=(Q, \Sigma, \iota, \sqcup, A, \delta) }[/math], where

- [math]\displaystyle{ Q }[/math] is a finite set of states
- [math]\displaystyle{ \Sigma }[/math] is a finite set of symbols (the tape alphabet)
- [math]\displaystyle{ \iota \in Q }[/math] is the initial state
- [math]\displaystyle{ \sqcup \in \Sigma }[/math] is the blank symbol
- [math]\displaystyle{ A \subseteq Q }[/math] is the set of accepting (final) states
- [math]\displaystyle{ \delta \subseteq \left(Q \backslash A \times \Sigma\right) \times \left( Q \times \Sigma \times \{L,S,R\} \right) }[/math] is a relation on states and symbols called the
*transition relation*. [math]\displaystyle{ L }[/math] is the movement to the left, [math]\displaystyle{ S }[/math] is no movement, and [math]\displaystyle{ R }[/math] is the movement to the right.

The difference with a standard (deterministic) Turing machine is that for those, the transition relation is a function (the transition function).

Configurations and the *yields* relation on configurations, which describes the possible actions of the Turing machine given any possible contents of the tape, are as for standard Turing machines, except that the *yields* relation is no longer single-valued. The notion of string acceptance is unchanged: a non-deterministic Turing machine accepts a string if, when the machine is started on the configuration in which the tape head is on the first character of the string (if any), and the tape is all blank otherwise, at least one of the machine's possible computations from that configuration puts the machine into a state in [math]\displaystyle{ A }[/math]. (If the machine is deterministic, the possible computations are the prefixes of a single, possibly infinite, path.)

NTMs can compute the same results as DTMs, that is, they are capable of computing the same values, given the same inputs. The time complexity of these computations varies, however, as is discussed below.

NTMs effectively include DTMs as special cases, so it is immediately clear that DTMs are not more powerful. It might seem that NTMs are more powerful than DTMs, since they can allow trees of possible computations arising from the same initial configuration, accepting a string if any one branch in the tree accepts it.

It is possible to simulate NTMs with DTMs, and in fact this can be done in more than one way.

One approach is to use a DTM of which the configurations represent multiple configurations of the NTM, and the DTM's operation consists of visiting each of them in turn, executing a single step at each visit, and spawning new configurations whenever the transition relation defines multiple continuations.

Another construction^{[1]} simulates NTMs with 3-tape DTMs, of which the first tape always holds the original input string, the second is used to simulate a particular computation of the NTM, and the third encodes a path in the NTM's computation tree. The 3-tape DTMs are easily simulated with a normal single-tape DTM.

In this construction, the resulting DTM effectively performs a breadth-first search of the NTM's computation tree, visiting all possible computations of the NTM in order of increasing length until it finds an accepting one. Therefore, the length of an accepting computation of the DTM is, in general, exponential in the length of the shortest accepting computation of the NTM. This is considered to be a general property of simulations of NTMs by DTMs; the most famous unresolved question in computer science, the P = NP problem, is related to this issue.

The time complexity of NTMs is not the same as for DTMs.

An NTM has the property of bounded non-determinism, *i.e.*, if an NTM always halts on a given input tape *T* then it halts in a bounded number of steps, and therefore can only have a bounded number of possible configurations.

Because quantum computers use quantum bits, which can be in superpositions of states, rather than conventional bits, there is a misconception that quantum computers are NTMs.^{[2]} It is believed by experts (but has not been proven) that instead, the power of quantum computers is incomparable to that of NTMs, that is, problems likely exist that an NTM could efficiently solve that a quantum computer cannot and vice versa.^{[3]} In particular, it is likely that NP-complete problems are solvable by NTMs but not by quantum computers in polynomial time.

- Elements of the Theory of Computation, by Harry R. Lewis and Christos H. Papadimitriou, Prentice-Hall, Englewood Cliffs, New Jersey, 1981, ISBN 0-13-273417-6, pp. 206–211
- The Orion Quantum Computer Anti-Hype FAQ, Scott Aaronson. http://www.scottaaronson.com/blog/?p=198
- Tušarová, Tereza (2004). "Quantum complexity classes". arXiv:cs/0409051.. //arxiv.org/abs/cs/0409051

More

Information

Subjects:
Others

Contributor
MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register
:

View Times:
1.0K

Entry Collection:
HandWiki

Update Date:
28 Nov 2022