Introduccin

Actualmente existen gran cantidad de computadoras,

capaces de realizar sorprendentes funciones. Todas
ellas, sin embargo, estn basados en un simplsimo
artilugio imaginario capaz de hacer cualquier
operacin matemtica computable; esto es, que se
pueda realizar de una forma totalmente mecnica. Son
las mquinas de Turing.

Definicin
Una Mquina de Turing es un modelo matemtico que
consiste en un autmata capaz
de implementar cualquier problema matemtico
expresado por medio de un algoritmo.
Una Mquina de Turing es un modelo matemtico
Modelo matemtico es una expresin 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 matemtico es un conjunto de reglas que
encajan en la explicacin y resolucin de un
problema, es decir, que modelizan una situacin
concreta para poder explicarla y encontrar el modo de
resolverla. Ms an, se podra decir que un modelo
matemtico es un conjuto de reglas capaces
de generalizar y resolver un problema matemtico
concreto y cualquier otro de su misma naturaleza que
se pueda plantear.

Una mquina de Turing es un autmata

En matemticas, un autmata es lo que se conoce
como una mquina terica, es decir, un dispositivo
cuyo funcionamiento se estudia sin necesidad de
construirlo realmente. En concreto un autmata es una
mquina terica que lee unas instrucciones en forma
de smbolos y cambia de estado segn stas.
Qu es una Mquina de Turing?
Una mquina de Turing es un autmata que consta de
una cabeza lectora y una cinta infinita en la que la
cabeza puede leer smbolos,
borrarlos, escribirlos y moverse a la derecha o a la
izquierda. Por supuesto tambin consta de
una funcin de estado que determinar los cambios de
un estado a otro que se deben producir en funcin de
las instrucciones que reciba.