3.2 VARIANTS OF TURING MACHINES (Afbrigði af Turing-vélum ) Flashcards
Alternative definitions of Turing machines abound, including versions with multiple tapes or with nondeterminism. They are called ?
variants of the Turing machine model.
A multitape Turing machine
A multitape Turing machine is like an ordinary Turing machine with several tapes. Each tape has its own head for reading and writing. Initially the input appears on tape 1, and the others start out blank. The transition function is changed to allow for reading, writing, and moving the heads on some or all of the tapes simultaneously.
Are Turing machines more powerful than ordinary Turing machines?
No, they are equivalent in power.
Every multitape Turing machine has an equivalent single-tape Turing machine.
A nondeterministic Turing machine
At any point in a computation, the machine may proceed according to several possibilities.
Every nondeterministic Turing machine has an equivalent deterministic Turing
machine.
A language is Turing-recognizable if and only if some nondeterministic Turing machine recognizes it.
We call a nondeterministic Turing machine a decider if ?
all branches halt on all inputs.
an enumerator
Loosely defined, an enumera- tor is a Turing machine with an attached printer. The Turing machine can use that printer as an output device to print strings. Every time the Turing machine wants to add a string to the list, it sends the string to the printer.
A language is Turing-recognizable if and only if some enumerator enumerates it.