determinisztikus Turing-gép

• IPA:

determinisztikus Turing-gép

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