Title: Variations%20of%20the%20Turing%20Machine%20part2
1Variationsof theTuring Machinepart2
2Standard Machine--Multiple Track Tape
track 1
track 2
one symbol
3track 1
track 2
track 1
track 2
4Semi-Infinite Tape
.........
5Standard Turing machines simulate Semi-infinite
tape machines
Trivial
6Semi-infinite tape machines simulate Standard
Turing machines
Turing machine
.........
.........
Semi-infinite tape machine
.........
7Turing machine
.........
.........
reference point
Semi-infinite tape with two tracks
Right part
.........
Left part
8Turing machine
Semi-infinite tape machine
Left part
Right part
9Turing machine
Semi-infinite tape machine
Right part
Left part
For all symbols x
10Time 1
Turing machine
.........
.........
Semi-infinite tape
Right part
.........
Left part
11Time 2
Turing machine
.........
.........
Semi-infinite tape
Right part
.........
Left part
12At the border
Semi-infinite tape machine
Right part
Left part
13Semi-infinite tape
Time 1
Right part
.........
Left part
Time 2
Right part
.........
Left part
14Theorem
Semi-infinite tape machines have the same power
with Standard Turing machines
15The Off-Line Machine
Input File
read-only
Control Unit
read-write
Tape
16Off-line Machines simulate Turing Machines
Off-line machine
1. Copy input file to tape 2. Continue
computation as in Standard Turing machine
17Turing Machine
Off-line Machine
Tape
Input File
1. Copy input file to tape
18Turing Machine
Off-line Machine
Tape
Input File
2. Do computations as in Turing machine
19Turing 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
20Off-line Machine
Tape
Input File
Four track tape -- Standard Machine
input file
head position
tape
head position
21Reference 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
22Theorem
Off-line machines have the same power
with Stansard machines
23Multitape Turing Machines
Control unit
Input
tape 1
tape 2
24Time 1
Time 2
25Multitape machines simulate Standard Machines
Just use one tape
26Standard machines simulate Multitape machines
Standard machine
Use a multi-track tape
A tape of the Multiple tape machine corresponds
to a pair of tracks
27Multitape Machine
Tape 1
Tape 2
Four track tape -- Standard Machine
Tape 1
head position
Tape 2
head position
28Reference point
Tape 1
head position
Tape 2
head position
Repeat for each state transition
Return to reference point Find current symbol on
Tape 1 Find current symbol on Tape 2 make
transition
29Theorem
Multi-tape machines have the same power
with Standard Turing Machines
30Same power doesnt mean same speed
Language
Acceptance Time
Standard machine
Two-tape machine
31Standard machine
Go back and forth times
Two-tape machine
Copy to tape 2
( steps)
( steps)
Leave to tape 1
Compare tape 1 and tape 2
( steps)
32MultiDimensional Turing Machines
Two-dimensional tape
MOVES L,R,U,D
HEAD
Position 2, -1
U up D down
33Multidimensional machines simulate Standard
machines
Just use one dimension
34Standard machines simulate Multidimensional
machines
Standard machine
Use a two track tape
Store symbols in track 1 Store coordinates in
track 2
35Two-dimensional machine
Standard Machine
symbols
coordinates
36Simulation
Repeat for each transition
Update current symbol Compute coordinates of next
position Go to new position
37Theorem MultiDimensional Machines have
the same power with Turing Machines
38NonDeterministic Turing Machines
Non Deterministic Choice
39TIME 0
TIME 1
Choice 1
Choice 2
40Input is accepted if this a possible
computation
Initial configuration
Final Configuration
Final state
41NonDeterministic Machines simulate Standard
(deterministic) Machines
Every deterministic machine is also a
nondeterministic machine
42Deterministic machines simulate NonDeterministic
machines
Deterministic machine
Keeps track of all possible computations
43Non-Deterministic Choices
Computation 1
44Non-Deterministic Choices
Computation 2
45Simulation
Deterministic machine
Keeps track of all possible computations
Stores computations in a two-dimensional tape
46TIME 0
NonDeterministic
Deterministic
Computation 1
47TIME 1
NonDeterministic
Choice 1
Choice 2
Deterministic
Computation 1
Computation 2
48Repeat Execute a step in each computation
If there is a choice in current computation
replicate configuration change the
state in the replica
49Theorem NonDeterministic Machines
have the same power with deterministic
machines
50Remark The simulation in the
deterministic Machine takes time
exponential time compared to
NonDeterministic machines
51Polynomial Time in NonDeterministic Machine
NP-Time
Polynomial Time in Deterministic Machine
P-Time
Fundamental Problem
P NP ?