Universal turing coastus

Costas Busch - LSU 1
A Universal Turing Machine

Turing Machines are “hardwired”
they execute
only one program
A limitation of Turing Machines:
Real Computers are re-programmable

Solution: Universal Turing Machine
• Reprogrammable machine
• Simulates any other Turing Machine
Attributes:

Universal Turing Machine
simulates any Turing Machine M
Input of Universal Turing Machine:
Description of transitions of M
Input string of M

Universal
Turing
Machine
M
Description of
Tape Contents of
M
State of M
Three tapes
Tape 2
Tape 3
Tape 1

We describe Turing machine
as a string of symbols:
We encode as a string of symbols
M
M
Description of M
Tape 1

Alphabet Encoding
Symbols: a b c d 
Encoding: 1 11 111 1111

State Encoding
States: 1q 2q 3q 4q 
Encoding: 1 11 111 1111
Head Move Encoding
Move:
Encoding:
L R
1 11

Transition Encoding
Transition: ),,(),( 21 Lbqaq 
Encoding: 10110110101
separator

Turing Machine Encoding
Transitions:
),,(),( 21 Lbqaq 
Encoding:
10110110101
),,(),( 32 Rcqbq 
110111011110101100
separator

Tape 1 contents of Universal Turing Machine:
binary encoding
of the simulated machine M
1100011101111010100110110110101
Tape 1

A Turing Machine is described
with a binary string of 0’s and 1’s
The set of Turing machines
forms a language:
each string of this language is
the binary encoding of a Turing Machine
Therefore:

Language of Turing Machines
L = { 010100101,
00100100101111,
111010011110010101,
…… }
(Turing Machine 1)
(Turing Machine 2)
……

Countable Sets

Infinite sets are either: Countable
or
Uncountable

Countable set:
There is a one to one correspondence (injection)
of
elements of the set
to
Positive integers (1,2,3,…)
Every element of the set is mapped to a positive number
such that no two elements are mapped to same number

Example:
Even integers:
(positive)
,6,4,2,0
The set of even integers
is countable
Positive integers:
Correspondence:
,4,3,2,1
n2 corresponds to 1n

Example:The set of rational numbers
is countable
Rational numbers: ,
8
7
,
4
3
,
2
1

Naïve Approach
Rational numbers: ,
3
1
,
2
1
,
1
1
Positive integers:
Correspondence:
,3,2,1
Doesn’t work:
we will never count
numbers with nominator 2:
,
3
2
,
2
2
,
1
2
Nominator 1

Better Approach
1
1
2
1
3
1
4
1
1
2
2
2
3
2
1
3
2
3
1
4





1
1
2
1
3
1
4
1
1
2
2
2
3
2
1
3
2
3
1
4





Rational Numbers: ,
2
2
,
3
1
,
1
2
,
2
1
,
1
1
Correspondence:
Positive Integers: ,5,4,3,2,1

We proved:
the set of rational numbers is countable
by describing an enumeration procedure
(enumerator)
for the correspondence to natural numbers

Definition
An enumerator for is a Turing Machine
that generates (prints on tape)
all the strings of one by one
Let be a set of strings (Language)S
S
S
and
each string is generated in finite time

Enumerator
Machine for
,,, 321 sss
Ssss ,,, 321
Finite time: ,,, 321 ttt
strings
S
output
(on tape)

Enumerator Machine
Configuration
Time 0  
0q
Time
sq
1x 1s#1t
prints 1s

Time
sq
3x 3s#3t
Time
sq
2x 2s#2t
prints 2s
prints 3s

If for a set there is an enumerator,
then the set is countable
Observation:
The enumerator describes the
correspondence of to natural numbers
S
S

Example: The set of strings
is countable

 },,{ cbaS
We will describe an enumerator for
Approach:
S

Naive enumerator:
Produce the strings in lexicographic order:
a
aa
aaa
......
Doesn’t work:
strings starting with
will never be produced
b
aaaa
1s
2s


Better procedure:
1. Produce all strings of length 1
Proper Order
(Canonical Order)
……

Produce strings in
Proper Order:
aa
ab
ac
ba
bb
bc
ca
cb
cc
aaa
aab
aac
......
length 2
length 3
length 1
a
b
c
1s
2s


Theorem: The set of all Turing Machines
is countable
Proof:
Find an enumeration procedure
for the set of Turing Machine strings
Any Turing Machine can be encoded

1. Generate the next binary string
of 0’s and 1’s in proper order
2. Check if the string describes a
Turing Machine
if YES: print string on output tape
if NO: ignore string
Enumerator:
Repeat

0
1
00
01

10110110101 10110110101
00110110101

101101001010101101

Binary strings Turing Machines
1s
2s 101101001010101101
End of Proof
ignore
ignore
ignore

Uncountable Sets

We will prove that there is a language
which is not accepted by any Turing machine
L
Technique:
Turing machines are countable
Languages are uncountable
(there are more languages than Turing Machines)

Theorem:
If is an infinite countable set, then
the powerset of is uncountable.
S
2 S
S
The powerset contains all possible subsets of
Example:
S
2 S
}},{},{},{,{2},{ bababaS S


Proof:
Since is countable, we can list its
elements in some order
S
},,,{ 321 sssS 
Elements of S

Elements of the powerset have the form:
},{ 31 ss
},,,{ 10975 ssss
……

S
2
They are subsets of S

We encode each subset of
1s 2s 3s 4s 
1 0 0 0}{ 1s
Subset of
Binary encoding
0 1 1 0},{ 32 ss
1 0 1 1},,{ 431 sss



S
S

Every infinite binary string corresponds
to a subset of :
10 Example: 0111 0
Corresponds to:
S
ssss 2},,,,{ 6541 
S

Let’s assume (for contradiction)
that the powerset is countable
Then: we can list the elements of the
powerset in some order
},,,{2 321 tttS

S
2
Subsets of S

1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
Powerset
element
Binary encoding example
1t
2t
3t
4t




 

1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t




Binary string: 0011
(birary complement of diagonal)
the binary string whose bits
are the complement of the diagonal
t
t

0011tThe binary string
corresponds
to a subset of :
S
sst 2},,{ 43  S

1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t




Question:
0011
t
?1tt  NO: differ in 1st bit
t

1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t




Question:
0011
t
?2tt  NO: differ in 2nd bit
t

1 0 0 0 0
1 1 0 0 0
1 1 0 1 0
1 1 0 0 1
1t
2t
3t
4t




Question:
0011
t
?3tt  NO: differ in 3rd bit
t

Thus: for every i
However,
since they differ in the th bit
Contradiction!!!
itt 
i
S
ttt 2 for some i
i
S
2Therefore the powerset is uncountable
End of proof

An Application: Languages
The set of all strings:
},,,,,,,,,{},{ *
aabaaabbbaabaababaS 
infinite and countable
Consider Alphabet : },{ baA 
because we can enumerate
the strings in proper order

The set of all strings:
},,,,,,,,,{},{ *
aabaaabbbaabaababaS 
Any language is a subset of :
},,{ aababaaL 
S

The set of all Strings:
},,,,,,,,,{},{ **
aabaaabbbaabaababaAS 
The powerset of contains all languages:
}},,,{},...,,{},,{},{},{,{2 aababaabaabaaS

uncountable
S

Turing machines: 1M 2M 3M 
Languages accepted
By Turing Machines: 1L 2L 3L 
accepts
Denote: },,,{ 321 LLLX 
countable
Note:
S
X 2
countable
countable
 *
},{ baS 

X countable
S
2 uncountable
Languages accepted
by Turing machines:
All possible languages:
Therefore:
S
X 2
 SS
XX 2getwe,2since 

There is a language not accepted
by any Turing Machine:
Conclusion:
L
S
X 2 XLL S
 and2

Turing-Acceptable
Languages
Non Turing-Acceptable Languages
L

Note that: },,,{ 321 LLLX 
is a multi-set (elements may repeat)
since a language may be accepted
by more than one Turing machine
However, if we remove the repeated elements,
the resulting set is again countable since every element
still corresponds to a positive integer

Universal turing coastus

In this document

More Related Content

What's hot

Viewers also liked

Similar to Universal turing coastus

More from Shiraz316

Recently uploaded

Universal turing coastus