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 />
4. Skonstruować maszynę <strong>Turinga</strong> T obliczającą funkcję f (x) = x . 1,<br />
gdzie x . 1 = x − 1 dla x > 0 oraz 0 . 1 = 0.<br />
Odpowiedź. Na przykład:<br />
q 1 0 → q 2 0R,<br />
q 2 0 → q 0 0L, q 2 1 → q 3 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 każdego x > 0:<br />
q 1 01 x 0 ⇒<br />
T<br />
Aq 0 B<br />
dla pewnych A, B takich, że symbol 1 występuje x − 1 razy w Aq 0 B oraz że<br />
q 1 000 ⇒<br />
T<br />
Cq 0 D, dla pewnych C, D nie zawierających symbolu 1.<br />
Rozważmy przykładowe obliczenie. Obliczmy f (2).<br />
Do tablicy idzie ochotnik.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 21 / 28