Alan Turing (1912-1954)
Brytyjski matematyk, filozof i kryptolog.
Twórca maszyny konceptualnej, znanej dziś pod nazwą Maszyny Turinga, będącej modelem dzisiejszych komputerów.
“Ojciec Informatyki”
Zaproponował test (dziś zwany Testem Turinga) do sprawdzania czy dana maszyna jest
inteligentna.
Układ sterujący
Deterministyczna maszyna Turinga (DTM)
Taśma nieskończonej długości
Głowica zapisująco- odczytująca
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1) (0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1) (0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1) (0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1) (#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q q
11q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q q
11q
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1) (0,0,+1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q q
11q
Yq
Yq
N(1,1,+1) (1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
Układ sterujący
Niedeterministyczna maszyna Turinga (NDTM)
Taśma nieskończonej długości
Głowica zapisująco- odczytująca Układ zgadujący
Głowica zapisująca
czas
1 2 33 4
s=<1,2,3,4>
C3
czas s(k)
s(k+1)
czas s(k) s(k+1)
s=<s(1),....s(k-1),s(k),s(k+1),...,s(n)>
s’=<s(1),....s(k-1),s(k+1),s(k),...,s(n)>
...
... ...
...
Wszystkie problemy decyzyjne
Nierzstrzyalneog
NP
P NP-zupełne
silnie NP-zupełne
1 2 3 4
czas procesor
C
max1 3 2
4 5
6 8 7
9 10
11
1 2 3 4
czas procesor
C
max3 2
4 5 1
6
7 8
9 10
11