Macchina di Turing

Definizione rapida

La macchina di Turing è un modello astratto ideato da Alan Turing per rappresentare l'esecuzione degli algoritmi.

Spiegazione

Il matematico inglese A. Turing, vissuto dal 1912 al 1954 e ricordato fra i padri dell'informatica, formulò questo modello teorico per descrivere lo svolgimento di un algoritmo.

Esempio pratico

Un algoritmo può essere studiato rappresentandone i passaggi mediante il modello della macchina di Turing.

Spiegazione tecnica

La macchina è astratta e consente di ragionare sull'esecuzione algoritmica senza riferirsi a uno specifico elaboratore fisico.

Da non confondere con

Non è un particolare computer costruito da Turing, ma una rappresentazione teorica del calcolo.