Una macchina di Turing è un modello teorico di calcolo introdotto da Alan Turing nel 1936. Consiste in un nastro infinitamente lungo diviso in celle, una testina di lettura/scrittura che può muoversi lungo il nastro e un'unità di controllo che determina il comportamento della macchina . Il nastro è inizialmente vuoto e l'ingresso al file