variations of the turing machine - florida tech department ...ryan/cse4083/busch/class17.pdf ·...
TRANSCRIPT
![Page 1: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/1.jpg)
1
Variationsof the
Turing Machine
![Page 2: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/2.jpg)
2
Read-Write Head
Control Unit
a a c b a cb b a a
Deterministic
The Standard Model
Infinite Tape
(Left or Right)
![Page 3: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/3.jpg)
3
Variations of the Standard Model
• Stay-Option
• Semi-Infinite Tape
• Off-Line
• Multitape
• Multidimensional
• Nondeterministic
Turing machines with:
![Page 4: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/4.jpg)
4
We want to prove:
Each Class has the same
power with the Standard Model
The variations form different
Turing Machine Classes
![Page 5: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/5.jpg)
5
Same Power of two classes means:
Both classes of Turing machines accept
the same languages
![Page 6: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/6.jpg)
6
Same Power of two classes means:
For any machine of first class 1M
there is a machine of second class 2M
such that: )()( 21 MLML
And vice-versa
![Page 7: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/7.jpg)
7
a technique to prove same powerSimulation:
Simulate the machine of one class
with a machine of the other class
First Class
Original Machine
1M 1M
2M
Second Class
Simulation Machine
![Page 8: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/8.jpg)
8
Configurations in the Original Machine
correspond to configurations
in the Simulation Machine
nddd 10Original Machine:
Simulation Machine: nddd 10
![Page 9: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/9.jpg)
9
The Simulation Machine
and the Original Machine
accept the same language
fdOriginal Machine:
Simulation Machine:fd
Final Configuration
![Page 10: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/10.jpg)
10
Turing Machines with Stay-Option
The head can stay in the same position
a a c b a cb b a a
Left, Right, Stay
L,R,S: moves
![Page 11: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/11.jpg)
11
Example:
a a c b a cb b a a
Time 1
b a c b a cb b a a
Time 2
1q 2q
1q
2q
Sba ,
![Page 12: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/12.jpg)
12
Stay-Option Machines
have the same power with
Standard Turing machines
Theorem:
![Page 13: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/13.jpg)
13
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)
![Page 14: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/14.jpg)
14
Part 2: Standard Machines
are at least as powerful as
Stay-Option machines
Proof: a standard machine can simulate
a Stay-Option machine
Proof:
![Page 15: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/15.jpg)
15
1q 2qLba ,
1q 2qLba ,
Stay-Option Machine
Simulation in Standard Machine
Similar for Right moves
![Page 16: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/16.jpg)
16
1q 2qSba ,
1q 2qLba ,
3qRxx ,
Stay-Option Machine
Simulation in Standard Machine
For every symbol x
![Page 17: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/17.jpg)
17
Example
a a b a
1q
Stay-Option Machine:
1
b a b a
2q
2
1q 2qSba ,
Simulation in Standard Machine:
a a b a
1q
1
b a b a
2q
2
b a b a
3q
3
![Page 18: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/18.jpg)
18
Standard Machine--Multiple Track Tape
bd
a
bba
ac
track 1
track 2
one symbol
![Page 19: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/19.jpg)
19
bd
a
bba
ac
track 1
track 2
1q 2qLdcab ),,(),(
1q
bd
a
b
c
d
ac
track 1
track 2
2q
![Page 20: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/20.jpg)
20
Semi-Infinite Tape
.........# a b a c
![Page 21: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/21.jpg)
21
Standard Turing machines simulate
Semi-infinite tape machines:
Trivial
![Page 22: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/22.jpg)
22
Semi-infinite tape machines simulate
Standard Turing machines:
Standard machine
.........
Semi-infinite tape machine
..................
![Page 23: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/23.jpg)
23
Standard machine
.........
Semi-infinite tape machine with two tracks
..................
reference point
#
#
Right part
Left part
a b c d e
ac b
d e
![Page 24: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/24.jpg)
24
1q2q
Rq2Lq1
Lq2 Rq1
Left part Right part
Standard machine
Semi-infinite tape machine
![Page 25: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/25.jpg)
25
1q 2qRga ,
Standard machine
Lq1Lq2
Lgxax ),,(),(
Rq1Rq2
Rxgxa ),,(),(
Semi-infinite tape machine
Left part
Right part
For all symbols x
![Page 26: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/26.jpg)
26
Standard machine.................. a b c d e
1q
.........
Semi-infinite tape machine
#
#
Right part
Left part ac b
d e
Lq1
Time 1
![Page 27: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/27.jpg)
27
Time 2
g b c d e
2q
#
#
Right part
Left part gc b
d e
Lq2
Standard machine..................
.........
Semi-infinite tape machine
![Page 28: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/28.jpg)
28
Lq1Rq1
R),#,(#)#,(#
Semi-infinite tape machine
Left part
At the border:
Rq1Lq1
R),#,(#)#,(# Right part
![Page 29: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/29.jpg)
29
.........
Semi-infinite tape machine
#
#
Right part
Left part gc b
d e
Lq1
.........#
#
Right part
Left part gc b
d e
Rq1
Time 1
Time 2
![Page 30: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/30.jpg)
30
Theorem: Semi-infinite tape machines
have the same power with
Standard Turing machines
![Page 31: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/31.jpg)
31
The Off-Line Machine
Control Unit
Input File
Tape
read-only
a b c
d eg
read-write
![Page 32: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/32.jpg)
32
Off-line machines simulate
Standard Turing Machines:
Off-line machine:
1. Copy input file to tape
2. Continue computation as in
Standard Turing machine
![Page 33: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/33.jpg)
331. Copy input file to tape
Input Filea b c
Tape
a b c
Standard machine
Off-line machine
a b c
![Page 34: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/34.jpg)
34
2. Do computations as in Turing machine
Input Filea b c
Tape
a b c
a b c
1q
1q
Standard machine
Off-line machine
![Page 35: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/35.jpg)
35
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
![Page 36: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/36.jpg)
36
Input Filea b c
Tape
Off-line Machine
e f gd
Four track tape -- Standard Machine
a b c d
e f g0 0 0
0 0
1
1
Input File
head position
Tapehead position
##
![Page 37: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/37.jpg)
37
a b c d
e f g0 0 0
0 0
1
1
Input File
head position
Tapehead position
##
Repeat for each state transition:• Return to reference point
• Find current input file symbol
• Find current tape symbol
• Make transition
Reference point
![Page 38: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/38.jpg)
38
Off-line machines
have the same power with
Stansard machines
Theorem:
![Page 39: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/39.jpg)
39
Multitape Turing Machines
a b c e f g
Control unit
Tape 1 Tape 2
Input
![Page 40: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/40.jpg)
40
a b c e f g
1q 1q
a g c e d g
2q 2q
Time 1
Time 2
RLdgfb ,),,(),( 1q 2q
Tape 1 Tape 2
![Page 41: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/41.jpg)
41
Multitape machines simulate
Standard Machines:
Use just one tape
![Page 42: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/42.jpg)
42
Standard machines simulate
Multitape machines:
• Use a multi-track tape
• A tape of the Multiple tape machine
corresponds to a pair of tracks
Standard machine:
![Page 43: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/43.jpg)
43
a b c h e f g
Multitape MachineTape 1 Tape 2
Standard machine with four track tape
a b c
e f g0 0
0 0
1
1
Tape 1
head position
Tape 2head position
h0
![Page 44: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/44.jpg)
44
Repeat for each state transition:
•Return to reference point
•Find current symbol in Tape 1
•Find current symbol in Tape 2
•Make transition
a b c
e f g0 0
0 0
1
1
Tape 1
head position
Tape 2head position
h0
####
Reference point
![Page 45: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/45.jpg)
45
Theorem: Multi-tape machines
have the same power with
Standard Turing Machines
![Page 46: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/46.jpg)
46
Same power doesn’t imply same speed:
Language }{ nnbaL
Acceptance Time
Standard machine
Two-tape machine
2n
n
![Page 47: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/47.jpg)
47
}{ nnbaL
Standard machine:
Go back and forth times 2n
Two-tape machine:
Copy to tape 2 nb
Leave on tape 1 na
Compare tape 1 and tape 2
n( steps)
n( steps)
n( steps)
![Page 48: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/48.jpg)
48
MultiDimensional Turing Machines
x
y
a
b
c
Two-dimensional tape
HEADPosition: +2, -1
MOVES: L,R,U,D
U: up D: down
![Page 49: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/49.jpg)
49
Multidimensional machines simulate
Standard machines:
Use one dimension
![Page 50: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/50.jpg)
50
Standard machines simulate
Multidimensional machines:
Standard machine:
• Use a two track tape
• Store symbols in track 1
• Store coordinates in track 2
![Page 51: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/51.jpg)
51
x
y
a
b
c
a
1b
#symbols
coordinates
Two-dimensional machine
Standard Machine
1 # 2 # 1
c
# 1
1q
1q
![Page 52: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/52.jpg)
52
Repeat for each transition
• Update current symbol
• Compute coordinates of next position
• Go to new position
Standard machine:
![Page 53: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/53.jpg)
53
MultiDimensional Machines
have the same power
with Standard Turing Machines
Theorem:
![Page 54: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/54.jpg)
54
NonDeterministic Turing Machines
Lba ,
Rca ,
1q
2q
3q
Non Deterministic Choice
![Page 55: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/55.jpg)
55
a b c
1q
Lba ,
Rca ,
1q
2q
3q
Time 0
Time 1
b b c
2q
c b c
3q
Choice 1 Choice 2
![Page 56: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/56.jpg)
56
Input string is accepted if
this a possible computation
w
yqxwq f
0
Initial configuration Final Configuration
Final state
![Page 57: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/57.jpg)
57
NonDeterministic Machines simulate
Standard (deterministic) Machines:
Every deterministic machine
is also a nondeterministic machine
![Page 58: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/58.jpg)
58
Deterministic machines simulate
NonDeterministic machines:
Keeps track of all possible computations
Deterministic machine:
![Page 59: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/59.jpg)
59
Non-Deterministic Choices
Computation 1
1q
2q
4q
3q
5q
6q 7q
![Page 60: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/60.jpg)
60
Non-Deterministic Choices
Computation 2
1q
2q
4q
3q
5q
6q 7q
![Page 61: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/61.jpg)
61
• Keeps track of all possible computations
Deterministic machine:
Simulation
• Stores computations in a
two-dimensional tape
![Page 62: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/62.jpg)
62
a b c
1q
Lba ,
Rca ,
1q
2q
3q
Time 0
NonDeterministic machine
Deterministic machine
a b c
1q
# # # # ##### # #
##
# #
Computation 1
![Page 63: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/63.jpg)
63
Lba ,
Rca ,
1q
2q
3q
b b c2q
# # # # #### #
#
# #
Computation 1
b b c
2q
Choice 1
c b c
3q
Choice 2
c b c3q ##
Computation 2
NonDeterministic machine
Deterministic machine
Time 1
![Page 64: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/64.jpg)
64
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
![Page 65: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/65.jpg)
65
Theorem: NonDeterministic Machines
have the same power with
Deterministic machines
![Page 66: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/66.jpg)
66
Remark:
The simulation in the Deterministic machine
takes time exponential time compared
to the NonDeterministic machine
![Page 67: Variations of the Turing Machine - Florida Tech Department ...ryan/cse4083/busch/class17.pdf · Variations of the Turing Machine. 2 Read-Write Head Control Unit ¡ a b c Deterministic](https://reader034.vdocuments.us/reader034/viewer/2022050718/5e18cedeabee782a80109138/html5/thumbnails/67.jpg)
67
Polynomial Time in NonDeterministic Machine:
NP-Time
Polynomial Time in Deterministic Machine:
P-Time
Fundamental Problem: P = NP ?