Utente:Davi.trip/Sandbox2: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Davi.trip (discussione | contributi)
Nessun oggetto della modifica
Davi.trip (discussione | contributi)
Nessun oggetto della modifica
Riga 43:
La macchina di Turing è una semplice macchina teorica, ma è equivalente a un effettivo computer fisico nel senso che entrambi computano esattamente lo stesso insieme di funzioni.<ref name=":0">{{Cita|O'Regan (2012)|p. 197|O'Regan12}}</ref> Con una macchina di Turing risulta più facile l'analisi e la dimostrazione piuttosto che con un vero computer.<ref name=":0" /> Tuttavia, le macchine di Turing non sono adatte per programmare, e non forniscono una buona base per lo studio della programmazione o dei linguaggi di programmazione.<ref name=":0" />
 
Turing introdusse anche il concetto di macchina di Turing universale, la quale è in grado di simulare qualunque altra macchina di Turing.<ref name=":0" /> Tuttavia, i primi calcolatori elettronici, anche quando programmabili, non saranno universali ("Turing completi"), ma capaci solo di famiglie ristrette di computazioni.<ref name=":19">{{Cita|Monga|p. 111}}</ref> Sarà John von Neumann, che avendo letto ''On computable numbers'', proporrà di usare l'ENIAC (o analogo marchingegno) come una macchina di Turing universale, codificando la macchina adatta ad una specifica computazione come dato di input del dispositivo universale.<ref>{{Cita|Monga|p. 112}}</ref><ref group="Nota">Un moderno elaboratore elettronico può essere visto come la realizzazione di una macchina di Turing universale che esegue un programma sui dati di input: sia il programma sia i dati sono residenti nella memoria che, diversamente dal nastro immaginario, ha una dimensione finita.</ref>
 
== I primi calcolatori moderni ==