Lenguajes Formales y Teoria de Automatas PROFESORA TITULAR: Rina Familia

Periodo 2013

MAQUINA DE TURING
En las Unidades precedentes se han estudiado lo que se puede considerar las mquinas abstractas que permiten solucionar ciertos tipos de algoritmos, los algoritmos en los que no puede recordarse ms que una cantidad fija de informacin y otros en los que la informacin desarrollada durante la ejecucin del algoritmo puede recuperarse solo en concordancia con la regla lifo ltimos en entrar primeros en salir, en esta unidad se describe una maquina abstracta, llamada Mquina de Turing.

RAFAEL ALEJANDRO
SALAZAR ASTACIO

11-0343

Introduccin Una mquina de Turing es el modelo idealizado original de un ordenador, inventado por Alan Turing en 1936. Las Mquinas de Turing son equivalentes a los equipos electrnicos modernos en un cierto nivel terico, pero difieren en muchos detalles. Una mquina de Turing consiste en una lnea de clulas conocida como la " cinta , junto con una sola celda activa, conocida como la "cabeza. Las clulas de la cinta pueden tener un cierto conjunto de colores posibles, y la cabeza pueden estar en un cierto conjunto de estados posibles. Cualquier mquina de Turing particular est definida por una regla que especifica lo que la cabeza debe hacer en cada paso. La regla se ve en el estado de la cabeza, y el color de la celda que est en la cabeza. Luego se especifica cul debe ser el nuevo estado de la cabeza, de qu color la cabeza debe "escribir" en la cinta, y si la cabeza debe mover hacia la izquierda o la derecha.

Alan Turing

Alan Turing (1912-1954) es el ms conocido por ayudar a descifrar el cdigo creado por las mquinas Enigma alemana en la Segunda Guerra Mundial, y por ser uno de los fundadores de la informtica y la inteligencia artificial. Este archivo contiene muchas de las cartas de Turing, charlas, fotografas y documentos inditos, as como las memorias y obituarios escritos sobre l. Contiene imgenes de los documentos originales que se mantienen en la coleccin de Turing en el Kings College, Cambridge. Para obtener ms informacin acerca de este archivo digital y sugerencias sobre el uso del sitio Acerca ver el archivo.

Alan Turing fue un hombre antes de su tiempo. Esta brillante rompe cdigo Ingls ayudo a cambiar el rumbo de una gran batalla de la Segunda Guerra Mundial, y fue sin duda uno de los padres de todo el campo de ciencias de la computacin. l era un hombre del Renacimiento que estudi e hizo contribuciones al estudio filosfico de la naturaleza de la inteligencia, de la biologa y de la fsica. Su biografa revela que l tambin fue vctima de las actitudes y de las leyes antihomosexuales, perdiendo el control de seguridad y recurrir al suicidio dos aos despus.

Mquina de Turing La mquina de Turing es uno de los descubrimientos intelectuales ms bellos y fascinantes del siglo 20. Mquina de Turing es un modelo simple y til resumen de la computacin (y ordenadores digitales) que es lo suficientemente general para encarnar cualquier programa de ordenador. Constituye la base de la ciencia de la computacin terica. Debido a su simple descripcin y comportamiento, es susceptible de anlisis matemtico. Este anlisis ha llevado a una comprensin ms profunda de los ordenadores y la computacin digital, incluyendo la revelacin de que hay algunos problemas de clculo que no se pueden resolver en los equipos en todos, no importa qu tan rpido est disponible el procesador o la cantidad de memoria Una mquina de Turing consiste en una lnea de clulas conocida como la " cinta , junto con una sola celda activa, conocida como la "cabeza. Las clulas de la cinta pueden tener un cierto conjunto de colores posibles, y la cabeza pueden estar en un cierto conjunto de estados posibles. Cualquier mquina de Turing particular est definida por una regla que especifica lo que la cabeza debe hacer en cada paso. La regla se ve en el estado de la cabeza, y el color de la celda que est en la cabeza. Luego se especifica cul debe ser el nuevo estado de la cabeza, de qu color la cabeza debe "escribir" en la cinta, y si la cabeza debe mover hacia la izquierda o la derecha. Una mquina de Turing tiene una cinta infinita de dos vas, hecho de clulas. En cada clula, hay un smbolo. Hay un nmero finito de smbolos, denotado por 0, 1. El smbolo 0 es el smbolo en blanco. Inicialmente, la mquina de Turing tiene una entrada finita. Esta entrada es una cadena de smbolos, por ejemplo: 101.001. Las otras clulas de la cinta tienen smbolos en blanco. En el tipo de mquina que consideramos, la entrada puede contener el smbolo en blanco 0. ... 0 0 1 0 1 0 0 1 0 0 ...

Una mquina de Turing tiene una cabeza de la cinta. Con esta cabeza de la cinta, la mquina puede leer y escribir en la cinta. La cabeza de la cinta se mueve una celda hacia la izquierda o la derecha en cada paso. Estas direcciones se indican con L y R. En el tipo de mquina que consideramos, la cabeza de la cinta no puede estar quieto. Inicialmente, la cabeza de la cinta escanea el smbolo ms a la izquierda de la entrada. Una mquina de Turing tiene un nmero finito de estados. Los estados se denotan por A, B, C,A dems de estos estados, no es un estado especial, el estado de detencin, que se denota por Inicialmente, el estado es A, por lo que A se llama el estado inicial. A continuacin podr ver la configuracin inicial de una mquina de Turing en la entrada de 101.001: ... 0 0 A1 0 1 0 0 1 0 0 ...

En el artculo On Computable Numbers, Turing construy un modelo formal de computador, la Mquina de Turing, (con esto resolvi el entscheidungsproblem (planteado por, David Hilbert) y demostr que haba problemas tales que una mquina no poda resolver. La mquina de Turing es el primer modelo terico de lo que luego sera un computador programable. Con el tiempo a este tipo de mquina se la conoci como mquina de estado finito, debido a que en cada etapa de un clculo, la siguiente accin de la mquina se contrastaba con una lista finita de instrucciones de estado posibles.

Componentes de la mquina de Turing Una cinta de longitud infinita dividida en celdas (cada celda puede tener solamente un smbolo tomado de un diccionario de smbolos predefinido). Un control finito que tiene la capacidad de examinar el algn smbolo de alguna celda y tomar una decisin que depende del smbolo observado y del estado en que se encuentre el control finito. Se supone un diccionario de smbolos finto.

Ejemplo de una Maquina de Turing

El test de Turing En 1950, Alan Turing public en la revista Mind el artculo Computing Machinery and Intelligence en el que introduca el concepto de Test de Turing. Este artculo puede considerarse el precursor de muchos de los desarrollos actuales en el campo de la Inteligencia Artificial. El test consista en juzgar el nivel de inteligencia de una mquina. 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 permitidos 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.

Teora de la Computabilidad

Teora de la Computabilidad, tambin llamada teora de la repeticin, es una rama de la lgica matemtica, de la informtica y de la teora de la computacin que se origin en la dcada de 1930 con el estudio de las funciones computables y los grados de Turing. El campo ha crecido desde entonces para incluir el estudio de la Computabilidad generalizada y definibilidad. En estas reas, la recursividad se solapa con la teora de la teora de la prueba y la teora de conjuntos descriptiva eficaz. La Teora de la Computabilidad consiste en encontrar maneras de representar descripciones de procesos, de tal manera que se pueda asegurar si existe o no una representacin. Se dice que un algoritmo es una manera formal y sistemtica de representar la descripcin de un proceso.

El desarrollo formal de la teora de la computacin se origin hace casi setenta aos, a partir de los trabajos de, entre otros, Hilbert, Gdel, Church, Turing y Kleene.

Alan Turing, 1937, public un trabajo sobre nmeros calculables que puede considerarse en parte como el origen de la Informtica Terica. (Sus primeras publicaciones cientficas aparecen cuando an no haba cumplido los 25 aos). Los resultados que se prueben dentro de esta teora deben ser aplicables a todas las arquitecturas de ordenadores, independientemente de sus parmetros, como pueden ser la velocidad del procesador y el tamao de la memoria.

Qu es Computabilidad? Consiste en ser capaz de encontrar la representacin adecuada para la descripcin de un problema o fenmeno. Para tal representacin es necesario: Un conjunto finito de smbolos. Hacer asociaciones entre conceptos y elementos del lenguaje (de smbolos) Encontrar las combinaciones adecuadas de smbolos para evitar ambigedad. Definir una manera de confirmar tal descripcin para que terceros puedan reproducirla y llegar a los mismos resultados.

Conclusin

Antes de empezar a hablar sobre la mquina de Turing deberamos preguntarnos qu significa computacin en lo que se refiere al universo, una respuesta para esta pregunta sera que ya no podemos considerar el universo como una parte fsica sea un hardware que existe, debemos de empezar a ver el mundo como un ente compuesto por un software situado en x posicin en otras palabras debemos ver el mundo como algo no constituido por materia y energa sino una acumulacin de informacin que est en constante cambio y que vara con el tiempo y los estmulos provocados por la mano del hombre. Vendra a ser un autmata que se mueve sobre una secuencia de datos. Cada instante la mquina puede leer un solo dato (generalmente un carcter) y realiza ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual (interno) y el ltimo dato ledo.