Professional Documents
Culture Documents
27
Multi-tape TMs
Often its useful to have several tapes
when carrying out a computations. For
example, consider a two tape I/O TM
for adding numbers (we show only how
it acts on a typical input)
28
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
Input string
29
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
30
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
31
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
32
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
33
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$
34
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$ 1
35
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$ 1 0
36
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$ 1 0 1
37
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$ 1 0 1 1
38
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1 1
$ 1 0 1 1
39
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0 1
$ 1 0 1 1
40
Multi Tape TM
Addition Example
$ 1 0 1 $ 1 0
$ 1 0 1 1
41
Multi Tape TM
Addition Example
$ 1 0 1 $ 1
$ 1 0 1 1
42
Multi Tape TM
Addition Example
$ 1 0 1 $
$ 1 0 1 1
43
Multi Tape TM
Addition Example
$ 1 0 1
$ 1 0 1 1
44
Multi Tape TM
Addition Example
$ 1 0 0
$ 1 0 1 0
45
Multi Tape TM
Addition Example
$ 1 0 0
$ 1 0 0 0
46
Multi Tape TM
Addition Example
$ 0 0 0
$ 1 0 0 0
47
Multi Tape TM
Addition Example
0 0 0 0
$ 0 0 0 0
48
Multi Tape TM
Addition Example
1 0 0 0
1 0 0 0 0
49
Multi Tape TM
Addition Example
1 0 0 0
1 0 0 0 0
50
Multi Tape TM
Addition Example
1 0 0 0
1 0 0 0 0
51
Multi Tape TM
Addition Example
1 0 0 0
1 0 0 0 0
52
Multi Tape TM
Addition Example
1 0 0 0 0
1 0 0 0 0
Output
string
HALT!
53
Multitape TMs
Formal Notation
NOTE: Sipsers multitape machines cannot
pause on one of the tapes as above example.
This isnt a problem since pausing 1-tape
machines can simulate pausing k-tape
machines, and non-pausing 1-tape machines
can simulate 1-tape pausing machines by
adding dummy R-L moves for each pause.
Formally, the d-function of a k-tape machine:
k k k
} R L, { : Q Q
54
Multitape TMs
Conventions
Input always put on the first tape
If I/O machine, output also on first
tape
Can consider machines as string-
vector generators. E.g., a 4 tape
machine could be considered as
outputting in (S*)
4