Turing Machines

Reading

1
Turing Machines are…
 Very powerful (abstract) machines that
could simulate any modern day
computer (although very, very slowly!)
For every input,
answer YES or NO
 Why design such a machine?
 If a problem cannot be “solved” even using
a TM, then it implies that the problem is
undecidable

 Computability vs. Decidability 2

 A Turing Machine (TM)
This is like
 M = (Q, ∑, , , q0,B,F) the CPU &
program
counter

Finite
control Tape is the
memory
Tape head
Infinite tape with tape symbols
… B B B X1 X2 X3 … Xi … Xn B B …

Input & output tape symbols

B: blank symbol (special symbol reserved to indicate data boundary)
3
 You can also use:
 for R

Transition function  for L

 One move (denoted by |---)

in a TM does the following: X / Y,D
 (q,X) = (p,Y,D) q p

q is the current state

X is the current tape symbol pointed by
tape head

State changes from q to p

After the move:
 X is replaced with symbol Y
 If D=“L”, the tape head moves “left” by
one position.
Alternatively, if D=“R” the tape head
moves “right” by one position.

4
ID of a TM
 Instantaneous Description or ID :

X1X2…Xi-1qXiXi+1…Xn
means:

q is the current state

Tape head is pointing to Xi

X1X2…Xi-1XiXi+1…Xn are the current tape symbols

 (q,Xi) = (p,Y,R) is same as:

X1…Xi-1qXi…Xn |---- X1…Xi-1YpXi+1…Xn
 (q,Xi) = (p,Y,L) is same as:
X1…Xi-1qXi…Xn |---- X1…pXi-1YXi+1…Xn 5
Way to check for Membership
 Is a string w accepted by a TM?

 Initial condition:
 The (whole) input string w is present in TM,
preceded and followed by infinite blank symbols
 Final acceptance:
 Accept w if TM enters final state and halts
 If TM halts and not final state, then reject

6
 Example: L = {0n1n | n≥1}
 Strategy: w = 000111
…
B B 0 0 0 1 1 1 B B … B B X X 0 Y Y 1 B B …
… …
…
… B B X 0 0 1 1 1 B B … B B X X X Y Y 1 B B …
… …
… B B X 0 0 Y 1 1 B B … B B X X X Y Y Y B B …
…
… B B X X 0 Y 1 1 B B …
B B X X X Y Y Y B B …

Accept 7
 TM for {0n1n | n≥1}
Y / Y,R 1. Mark next unread 0 with X
0 / 0,R and move right
2. Move to the right all the way
0 / X,R to the first unread 1, and mark
q0 q1 it with Y
3. Move back (to the left) all the
1 / Y,L way to the last marked X, and
Y / Y,R then move one position to the
X / X,R right
q2
q3 4. If the next position is 0, then
Y / Y,R goto step 1.
Else move all the way to the
B / B,R Y / Y,L right to ensure there are no
0 / 0,L excess 1s. If not move right to
q4
the next blank symbol and
stop & accept.

8
 *state diagram representation preferred

TM for {0n1n | n≥1}

Next Tape Symbol

Curr. 0 1 X Y B
State
q0 (q1,X,R) - - (q3,Y,R) -

q1 (q1,0,R) (q2,Y,L) - (q1,Y,R) -

q2 (q2,0,L) - (q0,X,R) (q2,Y,L) -

q3 - - - (q3,Y,R) (q4,B,R)

*q4 - -- - - -

Table representation of the state diagram

9
TMs for calculations
 TMs can also be used for calculating
values
 Like arithmetic computations
 Eg., addition, subtraction, multiplication,
etc.

10
 Example 2: monus subtraction
“m -- n” = max{m-n,0}
0m10n  ...B 0m-n B.. (if m>n)
...BB…B.. (otherwise)
Give state diagram

1. For every 0 on the left (mark X), mark off a 0 on the right
(mark Y)
2. Repeat process, until one of the following happens:
1. // No more 0s remaining on the left of 1
Answer is 0, so flip all excess 0s on the right of 1 to Bs
(and the 1 itself) and halt
2. //No more 0s remaining on the right of 1
Answer is m-n, so simply halt after making 1 to B

11
 Example 3: Multiplication
 0m10n1 (input), 0mn1 (output)

 Pseudocode:
1. Move tape head back & forth such that for every
Give state diagram

0 seen in 0m, write n 0s to the right of the last

delimiting 1
2. Once written, that zero is changed to B to get
marked as finished
3. After completing on all m 0s, make the
remaining n 0s and 1s also as Bs

12
 Calculations vs. Languages
The “language” for a certain
A “calculation” is one calculation is the set of strings of
that takes an input the form “<input, output>”, where
and outputs a value the output corresponds to a valid
(or values) calculated value for the input

A “language” is a set
E.g., The language Ladd for the addition operation
of strings that meet
certain criteria “<0#0,0>”
“<0#1,1>”
…
“<2#4,6>”
…
Membership question == verifying a solution
e.g., is “<15#12,27>” a member of Ladd ? 13
Language of the Turing
Machines
 Recursive Enumerable (RE) language

Regular Context-

sensitive

Enumerable
Recursively
Context
(DFA)
free
(PDA)

14
Variations of Turing Machines

15
 Generic description
Will work for both a=0 and a=1
TMs with storage
 E.g., TM for 01* + 10*Current
Tape Next
Current Storage symbol state
state symbol New
Storage
symbol
q Transition function :
storage
• ([q0,B],a) = ([q1,a], a, R)

Tape head
• ([q1,a],a) = ([q1,a], a, R)
B B 0 1 1 1 1 1 B B …
• ([q1,a],B) = ([q2,B], B, R)

Are the standard TMs Yes

[q,a]: where q is current state,
a is the symbol in storage
equivalent to TMs with storage?
16
Multi-track Turing Machines
 TM with multiple tracks,
but just one unified tape head
control
One tape head to read
k symbols from the k tracks
at one step.
Track 1 … …
… …
Track 2
…
…

Track k … …

18
 Multi-Track TMs
 TM with multiple “tracks” but just one
head E.g., TM for {wcw | w{0,1}* }
but w/o modifying original input string

BEFORE AFTER
control control

Tape head Tape head

… B B 0 1 0 c 0 1 0 B … Track 1 … B B 0 1 0 c 0 1 0 B … Track 1

… B B B B B B B B B B … Track 2 … B B X X X c Y Y Y B … Track 2

19
Second track mainly used as a scratch space for marking
Multi-tape Turing Machines
 TM with multiple tapes, each tape with a
separate head
 Each head can move independently of the
others
control
k separate heads

Tape 1 … …
… …
Tape 2
…

Tape k … … 22
 Non-deterministic TMs Deterministic TMs

Non-deterministic TMs
 A TM can have non-deterministic moves:

(q,X) = { (q1,Y1,D1), (q2,Y2,D2), … }
 Simulation using a multitape deterministic
TM:
Control

Input tape
ID1 ID2 ID3 ID4
Marker tape * * * *
Scratch tape

26
Summary
 TMs == Recursively Enumerable languages
 TMs can be used as both:
 Language recognizers
 Calculators/computers
 Basic TM is equivalent to all the below:
1. TM + storage
2. Multi-track TM
3. Multi-tape TM
4. Non-deterministic TM
 TMs are like universal computing machines
with unbounded storage
27