Fundamentos de Programacin

Profa: Ing. Ma. Guadalupe Morales Nava

Semestre 2017-I
Vicente Romero Andrade
Garcia Prez Rodrigo
Grupo: 1119
Nmero de Tarea: 4
Nombre de Tarea: Investigacin de los modelos computacionales
Fecha de entrega: 19-septiembre-2016
Modelo computacional

Un modelo computacional es un modelo matemtico en las ciencias de la computacin que requiere

extensos recursos computacionales para estudiar el comportamiento de un sistema complejo por medio
de la simulacin por computadora. El sistema bajo estudio es a menudo un sistema complejo no
lineal para el cual las soluciones analticas simples e intuitivas no estn fcilmente disponibles. En lugar
de derivar una solucin analtica matemtica para el problema, la experimentacin es hecha con el
modelo cambiando los parmetros del sistema en la computadora, y se estudian las diferencias en el
resultado de los experimentos. Las teoras de la operacin del modelo se pueden derivar/deducir de
estos experimentos de computacionales.

Arquitectura Von Neumann

En una maquina Von Neumann, la manera de procesar la informacin se especifica mediante un

programa y un conjunto de datos que estn almacenados en la memoria principal.

La arquitectura Von Neumann se basa en tres propiedades:

1) hay un nico espacio de memoria de lectura y escritura, que contiene las instrucciones y los datos
necesarios.

2) El contenido de la memoria es accesible por posicin, independientemente de que se acceda a

datos o a instrucciones.

3) La ejecucin de instrucciones se produce de manera secuencial: despus de ejecutar una

instruccin se ejecuta la instruccin siguiente que hay en la memoria principal, pero se puede
romper la secuencia de ejecucin utilizando instrucciones de ruptura de secuencia.

Mquina de Turing

Son autmatas que modelan la potencia de las computadoras reales. Nos permiten estudiar la
divisibilidad, es decir, el problema de qu puede o no puede hacer una computadora. Tambin nos
permiten distinguir los problemas tratables (aquellos que pueden resolverse en un tiempo
polinmico) de los problemas intratables (los que no se pueden resolver en un tiempo polinmico).
Bsicamente, este dispositivo es un autmata finito que dispone de una nica cinta de longitud
infinita en la que se pueden leer y escribir datos. Una ventaja de la mquina de Turing sobre los
programas como representacin de lo que se puede calcular es que la mquina de Turing es lo
suficientemente simple como para que podamos representar su configuracin de manera precisa,
utilizando una notacin sencilla muy similar a las descripciones instantneas de un autmata a
pila.

Referencias.
Teora de Autmatas, lenguajes y computacin, Hopcroft Jhon; Pearson
Organizacin y arquitectura de computadoras, William Stallings, Pearson
Structured computer organization, Tanenbaum, Pearson