MQUINA DE TURING

La mquina 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 Matemtica de Londres en 1936, en el cual se estudiaba la cuestin planteada por David
Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda
aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing
ide un modelo formal de computador, la mquina de Turing
MAQUINA DE TURING
L a mquina de Turing es una caja negra (tan simple como una mquina de escribir y tan compleja
como un ser humano) capaz no slo de leer y escribir un alfabeto de smbolos finito a partir de una
cantidad finita pero muy grande de cinta de papel, sino de modificar su propia configuracin o
"estado mental". Una mquina de Turing manipula smbolos de una cinta de entrada en funcin de
unas reglas. Se define como un autmata, que mediante un cabezal lector que lee de una cinta de
entrada smbolos de un alfabeto, cambiando entre estados en funcin de la entrada pudiendo
rechazar o aceptar la cadena de entrada dependiendo del lenguaje que acepte. Dicha mquina era
capaz de implementar cualquier problema matemtico que pudiera representarse mediante un
algoritmo. Formalmente se define en funcin de los estados que tiene dicho autmata el alfabeto
de entrada y las transiciones que soportal. Es una herramienta bsica para el campo de los
autmatas 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 mquina de Turing en el trabajo On
computable numbers, with an application to the Entscheidungs problema, publicado por la
Sociedad Matemtica de Londres en 1936, en el que se estudiaba la cuestin planteada por David
Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda
aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing
ide un modelo formal de computador, la mquina de Turing, y demostr que existan problemas
que una mquina no poda resolver. Con este aparato extremadamente sencillo es posible realizar
cualquier cmputo que un computador digital sea capaz de realizar. Mediante este modelo terico
y el anlisis de la complejidad de los algoritmos, fue posible la categorizacin de problemas
computacionales de acuerdo a su comportamiento, apareciendo as, el conjunto de problemas
denominados P y NP, cuyas soluciones pueden encontrarse en tiempo polinmico por mquinas
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 nocin informal de computabilidad con la computacin mediante una mquina
de Turing. La idea subyacente es el concepto de que una mquina de Turing puede verse como un
autmata ejecutando un procedimiento efectivo definido formalmente, donde el espacio de
memoria de trabajo es ilimitado, pero en un momento determinado slo una parte finita es
accesible.

FUNCIONAMIENTO
La mquina 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 mquina se limitan a: Avanzar el cabezal lector/ escritor hacia la derecha.
Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo de la cinta,
dando la direccin para mover el cabezal, el nuevo estado de la mquina y el valor a escribir en la
cinta. La memoria es la cinta de la mquina que se divide en espacios de trabajo denominados
celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las celdas contienen un
smbolo especial denomina- do "blanco". Las instrucciones que determinan el funcionamiento de
la mquina tienen la forma, "si estamos en el estado x leyendo la posicin y, donde hay escrito el
smbolo z, entonces este smbolo debe ser re- emplazado por este otro smbolo, y pasar a leer la
celda siguiente, bien a la izquierda o bien a la derecha". La mquina de Turing puede considerarse
como un autmata capaz de reconocer lenguajes formales. En ese sentido, es capaz de reconocer
los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia es,
por tanto, superior a otros tipos de autmatas, como el au- tmata finito, o el autmata con pila, o
igual a otros modelos con la misma potencia computacional. Automata
VENTAJAS Y DESVENTAJAS
VENTAJAS
Utiliza smbolos que funcionan en doble sentido.
Entran en los ritmos del mundo real VENTAJAS MAQUINA DE TURING
DESVENTAJAS
El problema de la parada o la detencin.
CONCLUSION
Las mquinas de Turing encierran todo el poder de los procesos computacionales, pues son
capaces de simular cualquier proceso algortmico. Tambin encontramos que si una mquina de
Turing no puede resolver un problema, entonces ninguna computadora podr hacerlo
simplemente porque no existe un algoritmo para obtener su solucin.
En otras palabras, las limitaciones que hemos detectado corresponden a los procesos
computacionales, no a la tecnologa. Las mquinas de Turing pueden ser simuladas por autmatas,
los lenguajes aceptados por estas mquinas son los lenguajes estructurados por frases.