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.
Definicja maszyny <strong>Turinga</strong><br />
Przyjmijmy M (0)<br />
T<br />
= M, M(n+1)<br />
T<br />
= (M (n)<br />
T )′ .<br />
Mówimy, że maszyna T przetwarza słowo maszynowe M w słowo M 1 ,<br />
jeżeli dla pewnego n: M (n)<br />
T = M 1. Piszemy wtedy M ⇒<br />
T<br />
M 1 .<br />
Piszemy M ⇛ M 1 , jeśli maszyna T przetwarza M w M 1 i nie jest przy<br />
T<br />
tym wykorzystywany warunek (C 2 ) powyższej definicji.<br />
Piszemy natomiast M ↦→ M 1 , jeśli maszyna T przetwarza M w M 1 , a<br />
T<br />
przy tym nie są wykorzystywane warunki (B 1 ) oraz (C 2 ) powyższej<br />
definicji.<br />
Jerzy Pogonowski (MEG) <strong>Maszyny</strong> <strong>Turinga</strong> Funkcje rekurencyjne 10 / 28