Un modelo computacional es un sistema formal que define cómo se ejecutan los cálculos. Se define en términos de los conceptos que incluye. Un modelo computacional es una definición más precisa de un paradigma de programación.
Vamos a estudiar la transición entre un Modelo Declarativo a un Modelo Imperativo, a través de agregarle características.
Los lenguajes de programación declarativos se centran en el ¿qué?, mientras que los lenguajes de programación imperativos se centran en él ¿cómo?
¿Qué nos permite estudiar?
El modelo computacional nos permite estudiar tres elementos:
- Correctitud: Nos permite estudiar matemáticamente que la ejecución de nuestro programa sea correcta.
- Complejidad Temporal: Tiene que ver con expresar un orden de magnitud temporal del tiempo de ejecución de nuestro programa.
- Complejidad Espacial: Tiene que ver con expresar un orden de magnitud espacial para la memoria que ocupa nuestro programa. En esta materia, vamos a hacer hincapié en este elemento.