Supercomputer/Zuse Z3: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 6:
Lo Z3 permetteva di realizzare loop ma non supportava istruzioni di salto condizionato (anche se non sarebbe stato difficile inserirne una). Tuttavia esiste una possibilità di implementare una macchina di Turing universale con lo Z3 (assumendo un nastro di lunghezza infinita e nessuna possibilità di errore), questa possibilità è stata dimostrata nel 1998. Il metodo utilizzato è scomodo ma la macchina di Turing è un dispositivo scomodo da utilizzare. É nata per essere universale e semplice da utilizzare per dimostrare teoremi non per essere utilizzata con programmi reali.
|