La macchina di Turing è stato descritto nel 1937 da Alan Mathison Turing , un matematico inglese e pioniere della computer science . Una macchina di Turing non è una macchina in senso tradizionale , non è un dispositivo meccanico che è destinato ad essere effettivamente ingegnerizzato . Invece, è una macchina concettuale o matematico. Alan Turing

Alan Mathison Turing nacque a Paddington , Londra , nel 1912 . Ha studiato matematica all'Università di Cambridge , dove ha successivamente insegnato , prima di passare alla Princeton University nel 1936 . Tornato in Inghilterra nel 1938 e durante la seconda guerra mondiale ha lavorato per il Codice Governo e Scuola Cypher a Bletchley Park in Gran Bretagna, dove ha guidato il team responsabile per crackare il codice tedesco Enigma . Ha lavorato per il National Physical Laboratory e l'Università di Manchester dopo la guerra ed è stato eletto Fellow della Royal Society nel 1951 . A seguito di una condanna per omosessualità nel 1952 , Turing si suicidò nel 1954 a 41 anni .
Astratto computer

Una macchina di Turing è, infatti , un semplice computer astratto . Esso può essere visualizzato come avente una lunghezza infinita , 1-D nastro suddiviso in celle, ognuna delle quali contiene uno 0 o un 1 . Essa ha anche una testina di lettura-scrittura che può muoversi avanti e indietro lungo il nastro per accedere al contenuto di ciascuna cella . Il nastro può essere pensato come la memoria della macchina di Turing - ma è, ovviamente , infinito - e la testina di lettura-scrittura , come il bus di memoria
Filosofia < br . >

Alan Turing descrisse la macchina di Turing , nel tentativo di rispondere a una delle domande fondamentali della filosofia della scienza del computer , vale a dire , che cosa significa per un compito di essere calcolabile . Intuitivamente, un compito è calcolabile se può essere suddiviso in una serie di istruzioni - altrimenti noto come "algoritmo " - che possono essere svolte da una macchina di qualche tipo per completare l'operazione . Tuttavia, diverse macchine possono essere in grado di eseguire diverse istruzioni e completare i compiti diversi , quindi ci sono un numero infinito di macchine di Turing .
Universale Macchina di Turing

Tuttavia , Turing immaginò ogni algoritmo , per ogni attività particolare , scritto come un insieme di istruzioni in un modulo standard . Se il modulo standard per ogni attività è fornita a una singola macchina di Turing , la macchina può essere fatto per interpretare le istruzioni e di eseguirle in modo analogo particolare macchine di Turing ed è in grado di completare tutte le attività possibili . Questo è quello che è conosciuto come una "macchina di Turing universale . "