Eine Turingmaschine ist ein abstraktes Berechnungsmodell mit endlicher Kontrolle, unendlichem Band, Schreib-/Lesekopf und Übergangsfunktion.
Sie formalisiert algorithmische Berechenbarkeit.