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 />
Mówimy, że maszyna T prawidłowo oblicza funkcję f , jeśli spełnione są<br />
warunki:<br />
(a) jeśli 〈x 1 , x 2 , . . . , x n 〉 ∈ δ f , to<br />
q 1 01 x 1<br />
01 x 2<br />
0 . . . 01 xn 0 ⇛<br />
T<br />
q 0 01 f (x 1,x 2 ,...,x n) 00 . . . 0;<br />
(b) jeśli 〈x 1 , x 2 , . . . , x n 〉 /∈ δ f , to maszyna, rozpoczynając działanie od<br />
słowa q 1 01 x 1<br />
01 x 2<br />
0 . . . 01 xn 0 pracuje w nieskończoność.<br />
Funkcję f nazywamy obliczalną (prawidłowo obliczalną), jeśli istnieje<br />
maszyna, która oblicza (prawidłowo oblicza) funkcję f .<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 13 / 28