You are on page 1of 2

MÁQUINA DE TURING

La máquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo “On
computable numbers, with an application to the Entscheidungspro- blem”, publicado por la
Sociedad Matemática de Londres en 1936, en el cual se estudiaba la cuestión planteada por David
Hilbert sobre si las matemáticas son decidibles, es decir, si hay un método definido que pueda
aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing
ideó un modelo formal de computador, la máquina de Turing
MAQUINA DE TURING
L a máquina de Turing es una caja negra (tan simple como una máquina de escribir y tan compleja
como un ser humano) capaz no sólo de leer y escribir un alfabeto de símbolos finito a partir de una
cantidad finita pero muy grande de cinta de papel, sino de modificar su propia configuración o
"estado mental". Una máquina de Turing manipula símbolos de una cinta de entrada en función de
unas reglas. Se define como un autómata, que mediante un cabezal lector que lee de una cinta de
entrada símbolos de un alfabeto, cambiando entre estados en función de la entrada pudiendo
rechazar o aceptar la cadena de entrada dependiendo del lenguaje que acepte. Dicha máquina era
capaz de implementar cualquier problema matemático que pudiera representarse mediante un
algoritmo. Formalmente se define en función de los estados que tiene dicho autómata el alfabeto
de entrada y las transiciones que soportal. Es una herramienta básica para el campo de los
autómatas y lenguajes formales. “MAQUINA DE TURING” Alan Mathison Turing 23 de junio de
1912— 7 de junio de 1954
Mike
HISTORIA
(MAQUINA DE TURING) Alan Turing introdujo el concepto de máquina de Turing en el trabajo “On
computable numbers, with an application to the Entscheidungs problema”, publicado por la
Sociedad Matemática de Londres en 1936, en el que se estudiaba la cuestión planteada por David
Hilbert sobre si las matemáticas son decidibles, es decir, si hay un método definido que pueda
aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing
ideó un modelo formal de computador, la máquina de Turing, y demostró que existían problemas
que una máquina no podía resolver. Con este aparato extremadamente sencillo es posible realizar
cualquier cómputo que un computador digital sea capaz de realizar. Mediante este modelo teórico
y el análisis de la complejidad de los algoritmos, fue posible la categorización de problemas
computacionales de acuerdo a su comportamiento, apareciendo así, el conjunto de problemas
denominados P y NP, cuyas soluciones pueden encontrarse en tiempo polinómico por máquinas
de Turing deterministas y no deterministas, respectivamente. Precisamente, la tesis de Church-
Turing formulada por Alan Turing y Alonzo Church, de forma independiente a mediados del siglo
XX caracteriza la noción informal de computabilidad con la computación mediante una máquina
de Turing. La idea subyacente es el concepto de que una máquina de Turing puede verse como un
autómata ejecutando un procedimiento efectivo definido formalmente, donde el espacio de
memoria de trabajo es ilimitado, pero en un momento determinado sólo una parte finita es
accesible.

FUNCIONAMIENTO
La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal
lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se
pueden realizar en esta máquina se limitan a: Avanzar el cabezal lector/ escritor hacia la derecha.
Esta tabla toma como parámetros el estado actual de la máquina y el carácter leído de la cinta,
dando la dirección para mover el cabezal, el nuevo estado de la máquina y el valor a escribir en la
cinta. La memoria es la cinta de la máquina que se divide en espacios de trabajo denominados
celdas, donde se pueden escribir y leer símbolos. Inicialmente todas las celdas contienen un
símbolo especial denomina- do "blanco". Las instrucciones que determinan el funcionamiento de
la máquina tienen la forma, "si estamos en el estado x leyendo la posición y, donde hay escrito el
símbolo z, entonces este símbolo debe ser re- emplazado por este otro símbolo, y pasar a leer la
celda siguiente, bien a la izquierda o bien a la derecha". La máquina de Turing puede considerarse
como un autómata capaz de reconocer lenguajes formales. En ese sentido, es capaz de reconocer
los lenguajes recursivamente enumerables, de acuerdo a la jerarquía de Chomsky. Su potencia es,
por tanto, superior a otros tipos de autómatas, como el au- tómata finito, o el autómata con pila, o
igual a otros modelos con la misma potencia computacional. Automata
VENTAJAS Y DESVENTAJAS
VENTAJAS
 Utiliza símbolos que funcionan en doble sentido.
 Entran en los ritmos del mundo real VENTAJAS MAQUINA DE TURING
DESVENTAJAS
 El problema de la parada o la detención.
CONCLUSION
Las máquinas de Turing encierran todo el poder de los procesos computacionales, pues son
capaces de simular cualquier proceso algorítmico. También encontramos que si una máquina de
Turing no puede resolver un problema, entonces ninguna computadora podrá hacerlo
simplemente porque no existe un algoritmo para obtener su solución.
En otras palabras, las limitaciones que hemos detectado corresponden a los procesos
computacionales, no a la tecnología. Las máquinas de Turing pueden ser simuladas por autómatas,
los lenguajes aceptados por estas máquinas son los lenguajes estructurados por frases.