Según el comentario anterior, de hecho, esta definición parece la de una máquina de registro . Mi apuesta es que la definición es incorrecta. La máquina registradora puede venir o no con un número infinito de registros, pero los registros siempre tienen un tamaño infinito. Apuesto a que la RAM tiene registros potencialmente infinitos de tamaño finito . Investigaré esto en mis viajes a través de la tierra de "computadoras abstractas" y haré los cambios necesarios. wvbailey Wvbailey 19:37, 11 de septiembre de 2006 (UTC)
Parece que, a diferencia de la máquina registradora, la RAM ("registros" de memoria infinitamente anchos y números finitos o infinitos de "registros" de memoria) puede experimentar "cálculos de direcciones", es decir, la memoria está más o menos indexada y "es posible tomar una dirección y agregarle un valor... Hacer referencia a elementos... se convierte en un caso simple de conocer la dirección del primero del primer elemento y luego agregar un desplazamiento a esa dirección para obtener el elemento deseado".
Como una máquina de registro, todos los cálculos ocurren "en los registros" (no en un "acumulador" o "acumuladores").
Entonces (quizás) tenemos aquí una máquina Post-Turing con una "cinta" diseñada como una memoria de acceso aleatorio indexada en lugar de registros de desplazamiento, el registro de índice se puede cargar/bloquear mediante una instrucción (?). ¿Tenemos direccionamiento directo? Necesitamos más referencias que esta (por decir lo menos). Un desplazamiento implica la suma de un valor en el registro más el valor de desplazamiento proporcionado por la instrucción. Esto no es lo mismo que incremento-decremento del valor del registro de índice. Y, las especificaciones de otros autores (extremadamente vagas) no parecen estar de acuerdo con esta. wvbailey Wvbailey 01:20, 12 de septiembre de 2006 (UTC)
Su RAM tiene un número finito de registros aritméticos, cada uno de los cuales, como una máquina de registro, puede realizar operaciones aritméticas. Hay una cinta para contener el contenido de cada registro, una cinta para contener el 'contador de ubicación', una cinta para contener el 'registro de direcciones de memoria' (cf. su Teorema 7.6 p. 167)
En la máquina de registro vemos a Melzak convirtiendo su máquina en otra cosa al agregar una "modificación final", un "comando" llamado "Ai Aj Ak":