Variations%20of%20the%20Turing%20Machine%20part2 - PowerPoint PPT Presentation

About This Presentation
Title:

Variations%20of%20the%20Turing%20Machine%20part2

Description:

Turing Machine. part2. 2. Standard Machine--Multiple Track Tape. track 1 ... Store symbols in track 1. Store coordinates in track 2. 35. symbols. coordinates ... – PowerPoint PPT presentation

Number of Views:76
Avg rating:3.0/5.0
Slides: 52
Provided by: costas
Learn more at: http://www.cs.rpi.edu
Category:

less

Transcript and Presenter's Notes

Title: Variations%20of%20the%20Turing%20Machine%20part2


1
Variationsof theTuring Machinepart2

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