Z3 (computer): differenze tra le versioni

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.