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.
Przykłady obliczeń<br />
1. Jaką funkcję f (x) oblicza maszyna T o następującym programie:<br />
q 1 0 → q 2 0R,<br />
q 1 1 → q 0 1,<br />
q 2 0 → q 0 1,<br />
q 2 1 → q 2 1R ?<br />
Odpowiedź. f (x) = x + 1.<br />
Aby tę odpowiedź uzasadnić, należy udowodnić, że maszyna <strong>Turinga</strong> T<br />
przetwarza słowo q 1 01 x 0 w słowo Aq 0 B takie, że w Aq 0 B występuje x + 1<br />
razy symbol 1.<br />
Rozważmy przykładowe obliczenie. Weźmy słowo 1 3 .<br />
Do tablicy idzie ochotnik. Śmiało.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 18 / 28