Javi Oribe
En el artículo anterior hablamos de problemas matemáticos y algoritmos, haciendo uso de una definición algo compleja, pero que nos sirvió para introducir estos conceptos fundamentales a la hora de comprender qué es una Máquina de Turing. Hoy vamos a dar un paso más y hablaremos de modelos matemáticos, autómatas y, por último, de Máquinas de Turing.
“Una Máquina de Turing es un modelo matemático“
“Modelo matemático” es una expresión de esas que se utilizan con cierta frecuencia pero que pocas veces nos paramos a pensar qué significa. Y aunque parezca algo complicado, en realidad se trata de un concepto bastante sencillo.
Un modelo matemático es un conjunto de reglas que “encajan” en la explicación y resolución de un problema, es decir, que modelizan una situación concreta para poder explicarla y encontrar el modo de resolverla. Más aún, se podría decir que un modelo matemático es un conjuto de reglas capaces de generalizar y resolver un problema matemático concreto y cualquier otro de su misma naturaleza que se pueda plantear.
