Abstract machines

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.