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.
Definicja maszyny <strong>Turinga</strong><br />
Maszyna <strong>Turinga</strong> T określona jest całkowicie przez:<br />
(a) alfabet zewnętrzny A = {a 0 , a 1 , . . . , a n } (gdzie a 0 = 0, a 1 = 1);<br />
(b) alfabet stanów wewnętrznych Q = {q 0 , q 1 , . . . , q m };<br />
(c) program, tj. zbiór wyrażeń T (i, j) (i = 1, . . . , m; j = 0, . . . , n), z<br />
których każde może mieć jedną z następujących postaci:<br />
q i a j → q k a l ,<br />
q i a j → q k a l R<br />
q i a j → q k a l L<br />
gdzie 0 k m, 0 l n.<br />
Stan q 0 jest wyróżniony — jest stanem końcowym.<br />
Stan q 1 też jest wyróżniony — jest stanem początkowym.<br />
Symbole a 0 i a 1 także są wyróżnione — a 0 jest symbolem tzw. pustej<br />
klatki taśmy. Symbole a 0 i a 1 wystarczają do zapisania każdej informacji.<br />
Wyrażenia T (i, j) nazywają się rozkazami.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 7 / 28