Modelos De Computacion

Modelos de la computación
En la teoría de la computabilidad y en la teoría de la complejidad computacional, un modelo de computación es la definición un conjunto deoperaciones permitibles usadas en el cómputo y sus respectivos costos. Solo asumiendo un cierto modelo de computación es posible analizar los recursos de cómputorequeridos, como la el tiempo de ejecución o el espacio de memoria, o discutir las limitaciones de algoritmos o computadores.
Algunos ejemplos de modelos incluyen las máquinasde Turing, las funciones recursivas, cálculo lambda, y sistema de producción.
En la ingeniería dirigida por modelos, el modelo de computación explica cómo elcomportamiento del sistema entero es el resultado del comportamiento de cada uno de sus componentes.
En el campo del tiempo de ejecución del análisis de algoritmos, es comúnespecificar un modelo computacional en términos de operaciones primitivas permitidas que tengan un costo unitario, o simplemente operaciones costo unitario. Un ejemplocomúnmente usado es la máquina de acceso aleatorio, que tiene costo unitario para acceso de lectura y escritura para todas sus celdas de memoria. En este respecto, sediferencia del modelo de máquina de Turing mencionado arriba.
Hay muchos modelos de computación, diferenciándose en el conjunto de operaciones admisibles y de su costocomputacional. Ellos entran en las amplias categorías siguientes:
La máquina abstracta, usada en pruebas de computabilidad y de los límites superiores en la complejidadcomputacional de algoritmos, y
El modelo de árbol de decisión, usado en las pruebas de los límites más bajos en la complejidad computacional de problemas algorítmicos.