Turing-Maschine (Informatik)

Turing-Maschine [ˈtjʊərɪŋ-], Informatik und mathematische Logik: abstraktes Modell eines Automaten, das erstmals 1936 von A. M. Turing im Zusammenhang mit der Klärung der Begriffe Berechenbarkeit einer Funktion (berechenbare Funktion) und Algorithmus veröffentlicht wurde. Eine Turing-Maschine hat vier wesentliche Komponenten:

1. ein Schaltwerk,