Turing‑Maschine

Natural & Formal Sciences Dictionary
Ein abstraktes Berechnungsmodell bestehend aus einem unendlichen (oder unbeschränkten) Band in Zellen, einem Lese/Schreibkopf, der links oder rechts bewegt wird, einer endlichen Zustandsmenge und einer Übergangsfunktion, die (aktueller Zustand, aktuelles Symbol) auf (nächster Zustand, zu schreibendes Symbol, Kopfbewegung) abbildet.