Deterministische Turingmaschine

Einfache Sprache

Eine deterministische Turingmaschine ist eine Turingmaschine dessen Transitionsfunktion eindeutig Folgezustand und co. hat.

Def. Deterministische Turingmaschine

Eine deterministische Turingmaschine ist wie eine TM nur das die Transitionsfunktion ist definiert als:

$$\delta(Q\setminus\{q_{acc},q_{rej}\})\times\Gamma\rightarrow Q\times\Gamma\times\{L,R,N\}$$