Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Definicja maszyny <strong>Turinga</strong><br />
Numerem rozkazu T (i, j) nazwiemy liczbę:<br />
µ(T (i, j)) = p pk 0 ·pl 1·ps 2<br />
c(i,j)<br />
,<br />
gdzie c(x, y) = (x+y)2 +3x+y<br />
2<br />
jest funkcją numerującą Cantora oraz:<br />
s = 0, jeśli T (i, j) jest postaci q i a j → q k a l ,<br />
s = 1, jeśli T (i, j) jest postaci q i a j → q k a l L,<br />
s = 2, jeśli T (i, j) jest postaci q i a j → q k a l R.<br />
Numerem λ(T ) maszyny T nazwiemy iloczyn wszystkich numerów<br />
rozkazów T (i, j) maszyny T .<br />
Tak więc, maszyny oraz ich programy (a także ich dane) możemy<br />
traktować tak, jak liczby naturalne! Zobaczymy później, jak ważne ma to<br />
konsekwencje.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 17 / 28