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.
Przykłady obliczeń<br />
3. Skonstruować maszynę <strong>Turinga</strong> T prawidłowo obliczającą funkcję<br />
f (x, y) = x + y.<br />
Odpowiedź. Na przykład:<br />
q 1 0 → q 2 0R,<br />
q 2 0 → q 3 1R, q 2 1 → q 2 1R,<br />
q 3 0 → q 4 0L, q 3 1 → q 3 1R,<br />
q 4 1 → q 5 0L,<br />
q 5 0 → q 0 0, q 5 1 → q 5 1L.<br />
Aby tę odpowiedź uzasadnić, należy udowodnić, że dla wszystkich x oraz y:<br />
q 1 01 x 01 y 0 ⇒<br />
T<br />
q 0 01 x+y 00 . . . 0.<br />
Rozważmy przykładowe obliczenie. Obliczmy 2 + 3.<br />
Do tablicy idzie ochotnik.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 20 / 28