deterministic Turing machine
The formal definition of a deterministic Turing machine is a tuple:
Where is a finite set of states, is the finite set of tape symbols, is the blank symbol, is the set of input symbols, is the move function, is the start state and is the set of final states. (Note that, despite the name, is a partial function which will be undefined for some pairs .)
A Turing machine is conceived to be a box with a tape and a tape head. The tape consists of an infinite number of cells stretching in both directions, with the tape head always located over exactly one of these cells. Each cell has symbol from written on it.
At the beginning of its computation, is in state and a finite string (the input string) over the alphabet is written on the tape, with the tape located over the first letter of . Each cell before the beginning or after the end of is blank. For each move, if the current state is and the value of the cell under the tape head is then suppose . The value of the cell under the tape head is changed to , the state changes to , and the tape head moves to the left if and to the right if . If is undefined then the machine halts.
For any , we say accepts if halts in a state when is the input string, that rejects if halts in a state , and otherwise that does not halt on .
This definition can easily be extended to multiple tapes with various rules. should be a function from where is the number of tapes, is the number of input tapes, and is interpreted to mean not moving (rather than moving to the left) for one-way tapes.
Title | deterministic Turing machine |
---|---|
Canonical name | DeterministicTuringMachine |
Date of creation | 2013-03-22 13:01:22 |
Last modified on | 2013-03-22 13:01:22 |
Owner | Henry (455) |
Last modified by | Henry (455) |
Numerical id | 8 |
Author | Henry (455) |
Entry type | Definition |
Classification | msc 68Q05 |
Classification | msc 68Q10 |
Related topic | TuringMachine2 |