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 />
5. Skonstruować maszynę <strong>Turinga</strong> T prawidłowo obliczającą funkcję sg(x);<br />
gdzie sg(x) = 1 dla x > 0 oraz sg(0) = 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 0R,<br />
q 4 0 → q 4 0L, q 4 1 → q 0 0L.<br />
Ćwiczenie. Co należy udowodnić, aby uzasadnić tę odpowiedź?<br />
Wykonaj przykładowe obliczenie.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 22 / 28
Change language