Programa almacenado (arquitectura de von Neumann)

La estructura von Newman es el modelo básico de arquitectura usado en la gran mayoría de las
computadoras digitales actuales. Las dos principales características de la estructura de von Newman
son: el uso del sistema de numeración binario y el concepto de “programa almacenado”. La
estructura von Newman está formada por:

 Unidad Central de Proceso (CPU): está formada por una unidad Aritmética y un banco de
registros y se encarga de realizar operaciones elementales tales como suma, resta,
multiplicación, etc
 Unidad de Memoria: se encuentra dividida en celdas, las cuales se identifican mediante
una dirección. Todas las celdas son de tamaño fijo. Dicha unidad se encarga de almacenar
datos e instrucciones (programa).
 Unidad de Control: se encarga de leer una tras otra las instrucciones máquina
almacenadas en memoria principal. Además, genera las señales de control para que la
computadora ejecute las instrucciones. Esta unidad contiene un elemento llamado Contador
de Programa el cual indica la posición de memoria de la siguiente instrucción.
 Unidad de Entrada y Salida: realiza la transferencia de información con los periféricos. Los
periféricos permiten cargar datos y programas en la Memoria Principal y sacar los
resultados.
Todas las unidades están conectadas por medio de un bus (conjunto de líneas y/o alambres por las
cuales se transfiere información de cualquier dispositivo a otro) unidireccionales (un sólo sentido) o
bidireccionales (en ambos sentidos) cuyo objetivo es hacer que las instrucciones, datos y señales de
control circulen entre las distintas unidades de la computadora. La estructura de von Newman utiliza
el modelo de “programa almacenado” y dicho modelo presenta las siguientes ventajas:

1. Se pueden ejecutar diversos programas.

2. Tiene gran velocidad de ejecución.
3. Se pueden construir programas automodificables, intérpretes, compiladores, etc.

Las computadoras con este tipo de estructura resuelven un problema en una operación de dos
fases: compilación y ejecución. Durante la fase de compilación se lee una serie de instrucciones
introducidas (programa fuente), se traducen a lenguaje de máquina y se almacenan en la memoria
principal. Cada instrucción se almacena en una palabra (o varias palabras, según se requiera), como
una instrucción única. Durante la fase de ejecución, cada instrucción se llama en secuencia desde la
unidad de almacenamiento y se retiene temporalmente en el registro de instrucción mientras se
ejecuta. Esta operación de dos fases, en la cual el programa fuente se traduce y se almacena
(compilación) y luego se ejecuta (ejecución) de manera automática y secuencial, se conoce como
concepto de programa almacenado.

El concepto de programa almacenado permitió la lectura (almacenamiento) de un programa dentro

de la memoria de la computadora, y después la ejecución de las instrucciones del mismo sin tener
que volverlas a escribir. Una computadora con la capacidad de “programa almacenado” podría ser
utilizada para varias aplicaciones tan solo cargando y ejecutando el programa apropiado.

Tesis Church-Turing

El modelo de “máquina de Turing” fue presentado en 1936 como un mecanismo

abstracto de cómputo capaz de ejecutar algoritmos paso a paso. La máquina de Turing antecedió en
varias décadas a la implementación física de los computadores digitales y se ha
usado desde entonces como el modelo teórico fundamental de la noción de computación secuencial.

Hay varias razones por las cuales la máquina de Turing sigue siendo un formalismo útil y
ampliamente utilizado:

1. La noción de „paso computacional‟ está claramente definida. Esto permite precisar sin
ambigüedades el concepto de „tiempo de computación‟.
2. La noción de „lugar de almacenamiento‟ está también claramente presentada, por
medio de las casillas individuales en la cinta.
 3. Estos dos recursos, „tiempo‟ y „espacio‟, aparecen en la máquina de Turing de una manera
muy realista y permiten analizar los efectos de imponer limitaciones sobre ellos, lo cual es
muy adecuado en las investigaciones sobre complejidad computacional.

Ningún modelo computacional captura de manera tan satisfactoria tales aspectos de la computación.
Diseñar una MT es completamente similar a escribir un programa computacional, lo cual establece
una conexión intuitiva directa entre máquinas de Turing y algoritmos.

Esta conexión es el fundamento de la afirmación conocida como Tesis de Church-Turing y que

puede ser enunciada de la manera más directa como: “Todo algoritmo puede ser descrito por
medio de una máquina de Turing.”

En su formulación más amplia, la Tesis de Church-Turing abarca tanto los algoritmos que producen
una salida para cada entrada como aquéllos que no terminan (ingresan en bucles infinitos) para
algunas entradas. También se incluyen los algoritmos deterministas y los no-deterministas. Para
apreciar su significado y su alcance, hay que enfatizar que la Tesis de Church-Turing no es un
enunciado matemático susceptible de demostración, ya que involucra la noción intuitiva de algoritmo.
En otras palabras, la tesis no se puede demostrar.

Referencias Bibliográficas:

 Facultad de contaduría y administración. (2016). Arquitectura de

computadoras. 5 de octubre 2018, de UNAM Sitio web:
http://ecampus.fca.unam.mx/ebook/imprimibles/informatica/arquitectur
a_computadoras/Unidad_1.pdf

 Facultad de Contaduría y Administración . (2017). La Tesis de Turing-

Church. 5 de Octubre 2018, de UNAM Sitio web:
file:///C:/Users/Javier/Downloads/2.3LaTesisdeTuring-Church.pdf