Post on 19-Jan-2018
description
1
IDT Open Seminar
ALAN TURING AND HIS LEGACY100 Years Turing
celebration
Gordana Dodig Crnkovic, Computer Science and Network Department
Mälardalen UniversityMarch 8th 2012
http://www.mrtc.mdh.se/~gdc/work/TuringCentenary.pdf
http://www.mrtc.mdh.se/~gdc/work/TuringMachine.pdf
2
*aFinite Automata
Push-down Automatannba Rww
nnn cba ww
**ba
Turing Machines
Chomsky Language Hyerarchy
TURING MACHINES
“Turing’s "Machines". These machines are humans who calculate.” (Wittgenstein)
“A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal machine.” (Turing)
3
4
............Tape
Read-Write headControl Unit
Turing Machine
5
............
Read-Write head
No boundaries -- infinite length
The head moves Left or Right
The Tape
6
............
Read-Write head
1. Reads a symbol2. Writes a symbol3. Moves Left or Right
The head at each time step:
7
Head starts at the leftmost positionof the input string
............
Blank symbol
head
a b ca
Input string
The Input String
#####
8
Determinism
1q
2qRba ,
Allowed Not Allowed
3qLdb ,
1q
2qRba ,
3qLda ,
No lambda transitions allowed in TM!
Turing Machines are deterministic
9
Determinism
Note the difference between state indeterminismwhen not even possible future states are known in advance.
and choice indeterminismwhen possible future states are known,but we do not know which state will be taken.
10
Halting
The machine halts if there are no possible transitions to follow
11
Example
............ a b ca
1q
1q
2qRba ,
3qLdb ,
No possible transition
HALT!
# # # # #
12
Final States
1q 2q Allowed
1q 2q Not Allowed
• Final states have no outgoing transitions• In a final state the machine halts
13
Acceptance
Accept Input If machine halts in a final state
Reject Input
If machine halts in a non-final state or If machine enters an infinite loop
14
Formal Definitions for
Turing Machines
15
Transition Function
1q 2qRba ,
),,(),( 21 Rbqaq
16
1q 2qLdc ,
),,(),( 21 Ldqcq
Transition Function
17
Turing Machine
),#,,,,,( 0 FqQM
Transitionfunction
Initialstate
blank
Finalstates
States
Inputalphabet
Tapealphabet
18
For any Turing Machine M
}:{)( 210 xqxwqwML f
Initial state Final state
The Accepted Language
19
Standard Turing Machine
• Deterministic
• Infinite tape in both directions
•Tape is the input/output file
The machine we described is the standard:
20
Computing Functionswith
Turing Machines
21
)(0 wfqwq f
Initial Configuration
FinalConfiguration
Dw DomainFor all
A function is computable ifthere is a Turing Machine such that
fM
22
Example (Addition)
The function yxyxf ),( is computable
Turing Machine:
Input string: yx0 unary
Output string: 0xy unary
yx, are integers
23
Start
Finish 0
fq
11
yx
11
final state
0
0q
1 11 1
x y
1
initial state
# #
# #
24
0q 1q 2q 3qL,## L,01
L,11
R,##
R,10
R,11
4q
R,11
Turing machine for function yxyxf ),(
25
Execution Example:
11x
11y
Time 0
0
0q
1 11 1x y
Final Result
0
4q
1 11 1yx
(2)
(2)
# #
# #
26
Time 0 0
0q
1 11 1
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
27
0q
01 11 1Time 1
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
28
0
0q
1 11 1Time 2
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
29
1q
1 11 11Time 3
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
30
1q
1 11 11Time 4
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
31
1q
1 11 11Time 5
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
32
2q
1 11 11Time 6
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
33
3q
1 11 01Time 7
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
34
3q
1 11 01Time 8
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
35
3q
1 11 01Time 9
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
36
3q
1 11 01Time 10
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
37
3q
1 11 01Time 11
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
# #
L,##
R,##
yxyxf ),(
38
4q
1 11 01
0q 1q 2q 3qL,01
L,11
R,10
R,11
4q
R,11
HALT & accept
Time 12 # #
L,##
R,##
yxyxf ),(
39
Universal Turing Machine
40
A limitation of Turing Machines:
Turing Machines are “hardwired”
they executeonly one program
41
Solution: Universal Turing Machine
• Reprogrammable machine
• Simulates any other Turing Machine
Characteristics:
42
Universal Turing Machine
simulates any other Turing Machine M
Input to Universal Turing Machine:
• Description of transitions ofM• Initial tape contents of M
43
Universal Turing Machine
Description of Three tapes
MTape Contents of
Tape 2
State of M
Tape 3
M
Tape 1
44
We describe Turing machine as a string of symbols:
We encode as a string of symbols
M
M
Description of M
Tape 1
45
Alphabet Encoding
Symbols: a b c d
Encoding: 1 11 111 1111
46
State Encoding
States: 1q 2q 3q 4q
Encoding: 1 11 111 1111
Head Move Encoding
Move:
Encoding:
L R
1 11
47
Transition Encoding
Transition: ),,(),( 21 Lbqaq
Encoding: 10110110101
separator
48
Machine Encoding
Transitions:
),,(),( 21 Lbqaq
Encoding:
10110110101
),,(),( 32 Rcqbq
110111011110101100
separator
49
Tape 1 contents of Universal Turing Machine:
encoding of the simulated machine as a binary string of 0’s and 1’s
M
50
As 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 the language isthe binary encoding of a Turing Machine.
51
Language of Turing Machines
L = { 010100101,
00100100101111,
111010011110010101, …… }
(Turing Machine 1)
(Turing Machine 2)
……
52
Question:Do Turing machines have the same power with a digital computer?
Intuitive answer: Yes
There was no formal proof of Church-Turing thesis until 2008!
CHURCH TURING THESIS
53
Dershowitz, N. and Gurevich, Y. A Natural Axiomatization of Computability and Proof of Church's Thesis, Bulletin of Symbolic Logic, v. 14, No. 3, pp. 299-350 (2008)
This formal proof of Church-Turing thesis relies on an axiomatization of computation that excludes randomness, parallelism and quantum computing and thus corresponds to the idea of computing that Church and Turing had.
54
Turing’s thesis
Any computation carried outby algorithmic meanscan be performed by a Turing Machine. (1930)
http://www.engr.uconn.edu/~dqg/papers/myth.pdf The Origins of the Turing Thesis Myth Goldin & Wegner