Determinisztikus Turing-gép

1. Sablon:Label Egy determinisztikus Turing-gép $M=(\mathrm{\Sigma },K,\delta ,s,h,LR)$ ahol $\mathrm{\Sigma }$ és $K$ tetszőleges diszjunkt, véges de nemüres halmazok (külső ABC, illetve a belső állapotok halmaza), $\delta :K\times \mathrm{\Sigma }\to K\times \mathrm{\Sigma }\times LR$ tetszőleges függvény (átmeneti függvény) $s,h\in K$ tetszőleges fix elemek (start és végállapot), $LR=\{-1,0,+1\}$ pedig a fej előírt mozgásirányainak halmaza.

• Sablon:En: Sablon:T