Turing-Maschinen: ein abstrakes Maschinenmodell

Eine Turing-Maschine M = <Z, ?, ?,??, z0, •, E> besteht aus

Z: endliche Zustandsmenge

?: Eingabealphabet

?:Arbeitsalphabet, enthält ?

???Überführungsfunktion Z ???? ---> Z ???? ? {L, R, N}

z0: Startzustand ?

•: Blanksymbol ?

E: Menge der Endzustände in Z ?

endliche

Kontrolleinheit

Schreib-Lesekopf

•