Mquina de Turing

Mquina de Turing(MT), es un modelo computacional que realiza una lectura/escritura de manera

automtica sobre una entrada llamada cinta, generando una salida en esta misma.

Caractersticas generales

Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado
blanco (normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre
dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial
y una cadena de caracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada.

La mquina va leyendo una celda de la cinta en cada paso, borrando el smbolo en el que se
encuentra posicionado su cabezal y escribiendo un nuevo Smbolo perteneciente al alfabeto de
salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). Esto se
repite segn se indique en la funcin de transicin, para finalmente detenerse en un estado final o
de aceptacin, representando as la salida.

Historia

Alan Turing introdujo el concepto de mquina de Turing en el trabajo On computable numbers, with
an application to the Entscheidungsproblem, 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.

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 denominado "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 reemplazado 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 autmata finito, o el autmata con pila, o igual a otros modelos con la misma potencia
computacional.

Una de las cosas llamativas de Alan Turing es que sus contribuciones fueron muy variadas, pasando
de trabajar en cuestiones de teora matemtica, e incluso de filosofa, a la construccin de cacharros
tiles en plena guerra mundial. Es esto ltimo por lo que ms se le conoce por haber pateado
nazis, pero en el mundo de la computacin se le recuerda, sobre todo, por una contribucin
terica: la mquina que lleva su nombre.

La Mquina de Turing constituye la base de todos los computadores actuales y por eso quizs sea la
aportacin ms valiosa del cientfico ingls. En realidad, la Mquina de Turing fue revolucionaria en
dos sentidos: primero, porque fue la primera propuesta de una mquina generalista y flexible cuyas
funciones vendran determinadas por un programa alojado en una memoria abstracta. Y segundo,
porque Turing dio una descripcin formal y rigurosa de su mquina dentro del marco de la Teora
de Autmatas.

Alan Mathison Turing, OBE (23 de junio de 1912 en Maida Vale, Londres - 7 de junio de 1954 en
Wilmslow, Cheshire) fue un matemtico, lgico, cientfico de la computacin, criptgrafo y filsofo
britnico.

La mquina de Turing fue descrita por Alan Turing como una mquina automtica en 1936 en la
revista Proceedings of the London Mathematical Society,1 La mquina de Turing no est diseada
como una tecnologa de computacin prctica, sino como un dispositivo hipottico que representa
una mquina de computacin. Las mquinas de Turing ayudan a los cientficos a entender los lmites
del clculo mecnico.

Turing dio una definicin sucinta del experimento en su ensayo de 1948, Mquinas inteligentes.