Modelo de computación

En informática , y más específicamente en la teoría de la computabilidad y la teoría de la complejidad computacional , un modelo de computación describe cómo se calcula el resultado de una función matemática a partir de una entrada. Un modelo de computación describe cómo se organizan las unidades de computación, memoria y comunicación. ^{[ 1 ]} La complejidad computacional de un algoritmo puede medirse a partir de un modelo de computación. El uso de un modelo permite estudiar el rendimiento de los algoritmos independientemente de las variaciones propias de implementaciones y tecnologías específicas.

Los modelos de computación se pueden clasificar en tres categorías: modelos secuenciales, modelos funcionales y modelos concurrentes.

En el campo del análisis de tiempo de ejecución de algoritmos , es común especificar un modelo computacional en términos de operaciones primitivas permitidas que tienen un costo unitario, o simplemente operaciones de costo unitario . Un ejemplo comúnmente utilizado es la máquina de acceso aleatorio , que tiene un costo unitario para el acceso de lectura y escritura a todas sus celdas de memoria. En este sentido, difiere del modelo de máquina de Turing mencionado anteriormente.

• Fernández, Maribel (2009). Modelos de computación: Una introducción a la teoría de la computabilidad . Temas de pregrado en informática. Springer. ISBN 978-1-84882-433-1.
• Savage, John E. (1998). Modelos de computación: Explorando el poder de la computación . Addison-Wesley. ISBN 978-0201895391.