Eine Turingmaschine ist ein wichtiges Computermodell der theoretischen Informatik. Eine Turingmaschine modelliert die Funktionsweise eines Computers auf besonders einfache und mathematisch gut analysierbare Weise. Sie ist nach dem Mathematiker Alan Turing benannt, der sie 1936 eingeführt hat.