Eine Turingmaschine ist ein besonders wichtiges Rechnermodell der Theoretischen Informatik. Eine Turingmaschine modelliert die Arbeitsweise eines Computers auf besonders einfache und mathematisch gut zu analysierende Weise. Sie ist benannt nach dem Mathematiker Alan Turing, der sie 1936 einführte.