Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Maszyny Turinga - ZakÅad Logiki Stosowanej, UAM
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Definicja maszyny <strong>Turinga</strong><br />
Pokażemy teraz, że maszyny <strong>Turinga</strong> mogą być kodowane przez liczby<br />
naturalne. Niech p n oznacza n-tą liczbę pierwszą.<br />
Niech A = a s0 . . . a sk będzie słowem w alfabecie {a 0 , a 1 , a 2 . . .}.<br />
Przyjmijmy:<br />
k l (A) = k ∏<br />
t=0<br />
p s ∏<br />
k−t<br />
t , k r (A) = k pt st .<br />
t=0<br />
Jeśli M = Aq i a j B jest słowem maszynowym, to przyjmijmy:<br />
ν(M) = 2 k l (A) · 3 i · 5 j · 7 kr (B) .<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 16 / 28