Académique Documents
Professionnel Documents
Culture Documents
Introduccin
Cuando hablamos de mquinas de turing es probable que imaginemos algo mecnico y concreto, sin embargo, las mquinas de turing son una abstraccin matemtica, una idealizacin, creada por Alan Turing. El hecho que se le denomine "mquina" se debe a que su funcionamiento puede ser descrito en operaciones individuales muy sencillas que sugieren una implementacin real muy simple, lo que ha motivado que existan muchas versiones prcticas del mismo.
Historia
Alan Mathison Turing (1912-1954) fue un Matemtico, informtico terico, criptfago y filsofo ingls. Kurt Godel 1931, teoremas matemticos verdicos an sin comprobacin. Idealizacin de una mquina capaz de realizar procesos que un matemtico puede realizar. Turing formaliz la idea de mtodo definido (algoritmo) y constituy la base de la teora de la computabilidad. Mquina Universal de Turing.
En la Segunda Guerra Mundial fue reclutado en la Escuela de Cdigos y Cifrados del gobierno britnico para descifrar los cdigos alemanes. Dise la bombe para leer las transmisiones de Enigma Al trmino de la guerra colabor en la construccin del ENIAC. Luego colabor en la construccin de ACE, pero dimiti. En Manchester colabor en la Construccin del Mark I, colaborando con la fabricacin de los primeros ordenadores de Inglaterra.
Mquinas de Turing
Surge como respuesta en un intento para dar una definicin matemtica ms precisa de algoritmo. Su funcionamiento es a travs de una cinta infinita dividida en cuadros y un lector/escritor. La mquina de Turing es una idealizacin.
Condiciones del lector de la mquina: Se sita en un solo cuadro Lee los que hay en el cuadro Lleva a cabo la funcin segn el algoritmo Operaciones del cabezal: Avanzar el cabezal lector/escritor hacia la derecha 2. Avanzar el cabezal lector/escritor hacia la izquierda 1. 2. 3. 1.
Tsis de Turing
Primera Tesis: Todo problema que se pueda resolver algortmicamente, puede ser resuelto por una mquina de Turing Algoritmo: Es bsicamente una serie de pasos o reglas organizadas finita que describen el proceso que se debe seguir para llegar a la solucin de un problema determinado.
Segunda Tesis: Toda funcin computable puede ser computada por una mquina de Turing. Todo problema que puede ser resuelto por mtodos algortmicos puede ser resuelto por una mquina de Turing Funcin computable: Corresponden a los problemas que pueden ser resueltos aplicando un algoritmo.
El problema de la indecibilidad
Turing demostr que existen problemas que un ordenador no puede resolver. Turing propone el orculo para el problema de la parada
El programa o algoritmo aplicado hace que el autmata lea la cantidad y la repita a la derecha, separadas por un nulo (0). La mquina de Turing copiar el nmero de smbolos "1" que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir, situada sobre el 1 situado en el extremo izquierdo, doblar el nmero de smbolos 1, con un 0 en medio. Por ejemplo, si encuentra 11000, lo transforma en 11011.