Mquina de Turing

Una 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. 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 Turi ng, 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. 1 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.

Defi ici form l Una ina ing n na la inta fini na 7 t la

nde: 2
y y y y y y y

es n nj nt finit de estados. es n onj nto finito de s olos distinto del espacio en lanco, denominado alfabeto de mquina o de ent ada. es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta . es el estado inicial. es un smbolo denominado blanco, es el nico smbolo que se puede epeti un nmero infinito de eces. es el conjunto de estados finales de aceptaci n. es una funci n parcial denominada es el funci n de transici n, donde es un movimiento a la i quierda movimiento a la derecha.

E isten en la literatura un abundante nmero de de finiciones alternativas, pero todas ellas tienen el mismo poder computacional, por ejemplo se puede aadir el smbolo como smbolo de "no movimiento" en un paso de cmputo. Funcionamiento La mquina de uring consta de un cabezal lector/escritor una cin ta infinita en la que el cabezal lee el contenido, borra el contenido anterior escribe un nuevo valor. Las operaciones que se pueden realizar en esta mquina se limitan a:
y y

Avanzar el cabezal lector/escritor hacia la derecha. Avanzar el cabezal lector/escritor hacia la izquierda.

El cmputo es determinado a partir de una tabla de estados de la forma: estado, valor) nuevo estado, nuevo valor, direccin)

Esta tabla toma como parmetros el estado actual de la mquina el carcter ledo de la cinta, dando la direccin para mover el cabezal, el nuevo estado de la mquina 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 leer smbolos. Inicialme nte 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.
Representa i n omo diagrama de estados

Las maquinas de Turing pueden representarse med iante grafos particulares, tambin llamados diagramas de estados finitos, de la siguiente manera:

Esta mquina de Turing est definida sobre el alfabeto = {a,b,c}, posee el conjunto de estados Q = {qo,q1,q2,q3,q4,q5,q6}, con las transiciones que se pueden ver. Su estado inicial es q1 y el estado final es q2, el lenguaje de salida = {X,Y,Z,B} siendo B el smbolo denominado blanco . Esta mquina reconoce la expresin regular de la forma anb ncn con n > = 0.
y y

y y

Los estados se representan como vrtices, etiquetados con su nombre en el interior. Una transicin desde un estado a otro, se representa mediante una arista dirigida que une a estos vrtices, y esta rotulada por smbolo que lee el cabezal/smbolo que escribir el cabezal, movimiento del cabezal. El estado inicial se caracteriza por tener una arista que llega a l y que no proviene de ningn otro vrtice. El o los estados finales se representan mediante vrtices que estn encerrados a su vez por otra circunferencia.

APLICACIONES DE MAQUINAS DE TURING Pues en casi todo! La maquina de Turing es un tipo de autmata que reconoce todas las gramticas formales (http://es.wikipedia.org/wiki/Gram%C3%A1t ) de esta manera la mquina de Turing formaliza de manera exata lo que es un algoritmo y por esa razn sirve para hacer TODO. Las computadoras como hoy las conocemos fueron diseadas por Von Newman (http://es.wikipedia.org/wiki/John_von_Ne ), el cual afirma que la base de la computadora es un aparato que implemente una mquina de Turing. A este aparato lo conocemos como unidad central de procesamiento o bien, procesador. Gracias a la demostracin de que una mquina de Turing puede inclusive simular otra mquina de Turing, se inventaron los sistemas operativos multitarea. El sistema operativo multita rea es una mquina de Turing y cada programa tambin es una mquina de Tuiring, pero estn siendo simuladas por la nica implementacin de la mquina de Turing que es el procesador. Por la misma razn, es posible hacer un emulador de otras computadoras dentro de las nuestras, por ejemplo, podemos emular el super -nintendo (otra mquina de Turing) y cada uno de sus cartuchos con el programa Zsnes (http://www.zsnes.com/ ) Es por eso que sabemos que con las computadoras d e hoy se puede hacer lo mismo que con las del futuro con las nicas limitaciones de la velocidad o de la memoria no me crees? djame decirte que los de la NASA siguen usando muchas computadoras de los 80s y que inclusive es posible simular una computadora del futuro en una actual. Puedes leer ms sobre la mquina de Turing en http://es.wikipedia.org/wiki/M%C3%A1quin La verdad es que la mquina de Turing es la base de toda la teora de la computacin, pero muchos creen que la computacin slo son programitas baratos de microsoft, por eso es dificil que alguien sepa qu es una mquina de Turing. Te bast con eso o no?

Test de Turing

El Test de Turing (o Prueba de Turing ) es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una mquina. Fue expuesto en 1950 en un artculo (Computing machinery and intelligence) para la revista Mind, y sigue siendo uno de los mejores mtodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hiptesis positivista de que, si una mquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente. La prueba consiste en un desafo. Se supone un juez situado en una habitacin, y una mquina y un ser humano en otras. El juez debe descubrir cul es el ser humano y cul es la mquina, estndoles a los dos permitido mentir al contestar por escrito las preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran suficientemente hbiles, el juez no podra distinguir quin era el ser humano y quin la mquina. Todava ninguna mquina puede pasar este examen en una experiencia con mtodo cientfico. En 1990 se inici un concurso, el Premio Loebner, una competencia de carcter anual entre programas de ordenador que sigue el estndar establecido en la prueba de Turing. Un juez humano se enfrenta a dos pantallas de ordenador, una de ellas que se encuentra bajo el control de un ordenador, y la otra bajo el control de un humano. El juez plantea preguntas a las dos pantallas y recibe respuestas. El premio est dotado con 100.000 dlares estadounidenses para el programa que pase el test, y un premio de consolacin para el mejor programa anual. Todava no ha sido otorgado el premio principal.
Pruebas paralelas

Existe otra prueba parecida, propuesta por John Searle y popularizada por Roger Penrose: la sala china , para argumentar que la mquina no ha superado la Prueba de Turing .1 En esencia, es igual en la forma, pero se realiza con personas encerradas en una habitacin y se requiere que estas no conozcan el idioma en que se realiza la conversacin. Para ello se usa un diccionario que permite confeccionar una respuesta a una pregunta dada, sin entender los smbolos. Como consecuencia, se argumenta que por mucho que una persona sea capaz de enviar una cadena de smbolos en chino

relacionada con otra cadena recibida, no quiere decir que sepa chino, sino que sabe aplicar un conjunto de reglas que le indican lo que ha de enviar. Falta la semntica en el proceso y por eso es muy cuestionada como inteligencia artificial, puesto que equipara una mquina pensante con una que parece que piensa. Ray Kurzweil predice que el ordenador pasar la prueba de Turing hacia el 2029, basado en el concepto de singularidad tecnolgica.2
Apli a iones

Una de las aplicaciones de la prueba de Turing es el control de spam. Dado el gran volumen de correos electrnicos enviados, el spam es, por lo general, enviado automticamente por una mquina. As la prueba de Turing puede usarse para distinguir si el correo electrnico era enviado por un remitente humano o por una mquina (por ejemplo por la prueba Captcha). HISTORIA DE ALAN TURING
Alan Mathison Turing , OBE (23 de junio de 1912 en Maida Vale, Londres de junio de 1954 en Wilmslow, Cheshire) fue un matemtico, informtico terico, criptgrafo y filsofo ingls.

Es considerado uno de los padres de la Ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing. Durante la Segunda Guerra Mundial, trabaj en romper los cdigos nazis, particularmente los de la mqu ina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial. La carrera de Turing termin sbitamen te cuando fue procesado por su condicin de homosexual. No se defendi de los cargos y se le dio a escoger entre la castracin qumica o ir a la crcel. Eligi lo primero y sufri importantes consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, en 1954, se suicid. En su memorable estudio Los nmeros computables, con una aplicacin al Entscheidungsproblem" (publicado en 1936), Turing reformul los resultados obtenidos por Kurt Gdel en 1931 sobre los lmites de la demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce como Mquina de Turing, unos dispositivos formales y simples. Demostr que dicha mquina era capaz de implementar cualquier problema matemtico que pudiera representarse mediante un algoritmo. Las

mquinas de Turing siguen siendo el objeto central de estudio en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la parada para las mquinas de Turing es irresoluble: no es posible decidir algortmicamente si una mquina de Turing dada llegar a pararse o no. Aunque su demostracin se public despus de la demostracin equivalente de Alonzo Church respecto a su clculo lambda, el estudio de Turing es mucho ms accesible e intuitivo. Tambin fue pionero con su concepto de " Mquina Universal (de Turing)", con la tesis de que dicha mquina podra realizar las mismas tareas que cualquier otro tipo de mquina. Su estudio tambin introduce el concepto de nmeros definibles. La mayor parte de 193 y 1938 la pas en la Universidad de Princeton, estudiando bajo la direccin de Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputacin, en el que ampliaba las mquinas de Turing con las llamadas mquinas orculo, las cuales permitan el estudio de los problemas para los que no existe una solucin algortmica.