Macchina universale di von neumann ad unico comando incondizionato |
| |
Authors: | Giuseppe Jacopini |
| |
Affiliation: | (1) Istituto Nazionale per le Applicazioni del Calcolo, Roma |
| |
Abstract: | Riassunto Questo lavoro consiste nella realizzazione di una macchina astratta di Von Neumann a indirizzi molto semplici, dotata di una
sola istruzione (trasferimento). La macchina ha, oltre al controllo, un registro aritmetico il cui contenuto aumenta sempre
di uno indipendentemente dall’istruzione eseguita. L’universalità di questa macchina viene dimostrata simulando un’altra macchina
di cui è nota l’universalità dotata di cinque istruzioni.
Le maggiori difficoltà vengono incontrate nella simulazione dell’istruzione di salto condizionato che viene sostituita da
un sottoprogramma chiuso piuttosto complesso data la semplicità e completa incondizionatezza dell’unica istruzione di cui
dispone la macchina simulante.
In this article a very simple Von Neumann abstract machine is defined. In fact it is a machine with only one instruction (the
two-address transfer instruction). We assmme the existence of a control-register and an arithmetical register. The contents
of the last one increases in any case of just one, whathever instruction is obeyed. The universality of this machine is proved
simulating another machine with five instructions whose universality is well-known. The conditional jump-instruction is the
more difficult to simulate, because of the simplicity and complete inconditionality of the unique instruction of the simulating
machine, so that is substituted by a rather complex closed sub-routine.
Lavoro effettuato presso l’Istituto Nazionale per le Applicazioni del Calcolo (INAC) nell’ambito del gruppo di ricerca, n.
22 del Consiglio Nazionale delle Ricerche (CNR) nell’anno 1964–65. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|