Una macchina di Turing è una macchina astratta creata da Alan Turing nel 1936. È un dispositivo informatico teorico costituito da un nastro infinito, una testina che legge e si muove su questo nastro e una serie di istruzioni per scrivere, cancellare e spostare i nastri Contenuti. È un modello di calcolo che può essere utilizzato per risolvere una serie di problemi, dal calcolo della radice quadrata di un numero alla determinazione se una data stringa è un palindromo.
Cos'è una macchina di Turing?