Variations of the Turing Machine 1 The Standard
- Slides: 67
Variations of the Turing Machine 1
The Standard Model Infinite Tape Read-Write Head (Left or Right) Control Unit Deterministic 2
Variations of the Standard Model Turing machines with: • Stay-Option • Semi-Infinite Tape • Off-Line • Multitape • Multidimensional • Nondeterministic 3
The variations form different Turing Machine Classes We want to prove: Each Class has the same power with the Standard Model 4
Same Power of two classes means: Both classes of Turing machines accept the same languages 5
Same Power of two classes means: For any machine there is a machine of first class of second class such that: And vice-versa 6
Simulation: a technique to prove same power Simulate the machine of one class with a machine of the other class First Class Original Machine Second Class Simulation Machine 7
Configurations in the Original Machine correspond to configurations in the Simulation Machine Original Machine: Simulation Machine: 8
Final Configuration Original Machine: Simulation Machine: The Simulation Machine and the Original Machine accept the same language 9
Turing Machines with Stay-Option The head can stay in the same position Left, Right, Stay L, R, S: moves 10
Example: Time 1 Time 2 11
Theorem: Stay-Option Machines have the same power with Standard Turing machines 12
Proof: Part 1: Stay-Option Machines are at least as powerful as Standard machines Proof: a Standard machine is also a Stay-Option machine (that never uses the S move) 13
Proof: Part 2: Standard Machines are at least as powerful as Stay-Option machines Proof: a standard machine can simulate a Stay-Option machine 14
Stay-Option Machine Simulation in Standard Machine Similar for Right moves 15
Stay-Option Machine Simulation in Standard Machine For every symbol 16
Example Stay-Option Machine: 1 2 Simulation in Standard Machine: 1 2 3 17
Standard Machine--Multiple Track Tape track 1 track 2 one symbol 18
track 1 track 2 19
Semi-Infinite Tape. . 20
Standard Turing machines simulate Semi-infinite tape machines: Trivial 21
Semi-infinite tape machines simulate Standard Turing machines: . . Standard machine . . Semi-infinite tape machine. . 22
. . Standard machine. . reference point Semi-infinite tape machine with two tracks Right part Left part . . 23
Standard machine Semi-infinite tape machine Left part Right part 24
Standard machine Semi-infinite tape machine Right part Left part For all symbols 25
Time 1 Standard machine . . . . Semi-infinite tape machine Right part Left part . . 26
Time 2 Standard machine . . . . Semi-infinite tape machine Right part Left part . . 27
At the border: Semi-infinite tape machine Right part Left part 28
Semi-infinite tape machine Right part Time 1 Left part Right part Left part . . Time 2. . 29
Theorem: Semi-infinite tape machines have the same power with Standard Turing machines 30
The Off-Line Machine Input File read-only Control Unit Tape read-write 31
Off-line machines simulate Standard Turing Machines: Off-line machine: 1. Copy input file to tape 2. Continue computation as in Standard Turing machine 32
Standard machine Off-line machine Input File Tape 1. Copy input file to tape 33
Standard machine Off-line machine Input File Tape 2. Do computations as in Turing machine 34
Standard Turing machines simulate Off-line machines: Use a Standard machine with four track tape to keep track of the Off-line input file and tape contents 35
Off-line Machine Input File Tape Four track tape -- Standard Machine Input File head position Tape head position 36
Reference point Input File head position Tape head position Repeat for each state transition: • Return to reference point • Find current input file symbol • Find current tape symbol • Make transition 37
Theorem: Off-line machines have the same power with Stansard machines 38
Multitape Turing Machines Control unit Tape 1 Tape 2 Input 39
Tape 1 Time 1 Tape 2 Time 2 40
Multitape machines simulate Standard Machines: Use just one tape 41
Standard machines simulate Multitape machines: Standard machine: • Use a multi-track tape • A tape of the Multiple tape machine corresponds to a pair of tracks 42
Multitape Machine Tape 1 Tape 2 Standard machine with four track tape Tape 1 head position Tape 2 head position 43
Reference point Tape 1 head position Tape 2 head position Repeat for each state transition: • Return to reference point • Find current symbol in Tape 1 • Find current symbol in Tape 2 • Make transition 44
Theorem: Multi-tape machines have the same power with Standard Turing Machines 45
Same power doesn’t imply same speed: Language Acceptance Time Standard machine Two-tape machine 46
Standard machine: Go back and forth times Two-tape machine: Copy Leave to tape 2 ( steps) on tape 1 ( steps) Compare tape 1 and tape 2 47
Multi. Dimensional Turing Machines Two-dimensional tape MOVES: L, R, U, D U: up D: down HEAD Position: +2, -1 48
Multidimensional machines simulate Standard machines: Use one dimension 49
Standard machines simulate Multidimensional machines: Standard machine: • Use a two track tape • Store symbols in track 1 • Store coordinates in track 2 50
Two-dimensional machine Standard Machine symbols coordinates 51
Standard machine: Repeat for each transition • Update current symbol • Compute coordinates of next position • Go to new position 52
Theorem: Multi. Dimensional Machines have the same power with Standard Turing Machines 53
Non. Deterministic Turing Machines Non Deterministic Choice 54
Time 0 Choice 1 Time 1 Choice 2 55
Input string is accepted if this a possible computation Initial configuration Final Configuration Final state 56
Non. Deterministic Machines simulate Standard (deterministic) Machines: Every deterministic machine is also a nondeterministic machine 57
Deterministic machines simulate Non. Deterministic machines: Deterministic machine: Keeps track of all possible computations 58
Non-Deterministic Choices Computation 1 59
Non-Deterministic Choices Computation 2 60
Simulation Deterministic machine: • Keeps track of all possible computations • Stores computations in a two-dimensional tape 61
Non. Deterministic machine Time 0 Deterministic machine Computation 1 62
Non. Deterministic machine Time 1 Choice 2 Deterministic machine Computation 1 Computation 2 63
Repeat • Execute a step in each computation: • If there are two or more choices in current computation: 1. Replicate configuration 2. Change the state in the replica 64
Theorem: Non. Deterministic Machines have the same power with Deterministic machines 65
Remark: The simulation in the Deterministic machine takes time exponential time compared to the Non. Deterministic machine 66
Polynomial Time in Non. Deterministic Machine: NP-Time Polynomial Time in Deterministic Machine: P-Time Fundamental Problem: P = NP ? 67
- Alan turing julius mathison turing
- Turing machine
- Halting problem of turing machine
- Turing machine examples
- Pda is more powerful than
- What the meaning of tm
- Turing machine for wcw
- Formal definition of turing machine
- Turing machine examples
- Turing test simulator
- Turing test
- Multistack turing machine
- Morphett turing machine
- Turing machine 7 tuple
- An id of a turing machine can be defined in terms of:
- Multidimensional turing machine
- Mechanical turing machine
- If for a turing machine 0q111
- Wcw turing machine
- 13)turing machine is language recognizer of language.
- Atm turing machine
- Turing machine pseudocode
- Turing macine
- Turing machine
- Turing machine
- Turing machine is more powerful than
- Extensions of turing machine
- A deterministic turing machine is: *
- Godel incompleteness theorem
- Turing machine
- Turing machine
- Power point turing complete
- Automata chapter 1
- Turing machine is more powerful than: *
- Busy beavers numbers
- Enumerator turing machine
- Machine countable or uncountable
- Valuation of variations
- Varies directly
- Example of inverse variation graph
- Kwl plus chart
- Cultural variations in attachment evaluation
- Computer organization & architecture: themes and variations
- Need for biasing
- Super bowl squares variations
- The variable x is in joint variation with y and z
- Variations pathologiques de la température
- Factor theory of intelligence
- Sine and cosine rule
- Variations de stock
- Example of social variation
- Possible variations
- Possible variations
- Language variation definition
- Possible variations
- Linked list variations
- Direct variation form of a linear function
- Youtube-com
- Snow white and the seven genders
- Balancing demand and capacity in service marketing
- Variations
- Variations
- Natural variations operations management
- Finite state machine vending machine example
- Moore and mealy machine
- Moore machine
- Ma=fr/fe
- Standard deviation and standard error