You are on page 1of 12

Maquina de Turing

Universidad Iberoamericana Geraldine Fernández Matricula 12-0691

Lenguajes Formales y Teorías de Autómatas Rina Familia Período 2014-1

Resumen Hoy en día hay innumerables ordenadores, los cuales pueden realizar múltiples funciones. Pero todos ellos están basados en un artefacto imaginario Creado por Alan Mathison Turing el cual tiene la capacidad de realizar cualquier operación matemática computable (que se puede realizar de forma mecánica). Este artefacto es lo que conocemos como Máquinas de Turing. Noviembre, 2013
0

Índice

Introducción ............................................................................................................. 2 Alan Mathison Turing .............................................................................................. 3 Maquina de Turing .................................................................................................. 4 Lenguaje ................................................................................................................. 6 Clasificación de maquina Turing ............................................................................. 7 Máquina de Turing Multicinta ............................................................................... 7 Máquina de Turing No Determinista..................................................................... 7 Máquina de Turing Multidimensional.................................................................... 7 Máquina de Turing con Múltiples Cabezales ....................................................... 7 Máquina de Turing Offline .................................................................................... 8 Máquina Universal de Turing ............................................................................... 8 Máquina de Turing Cuántica ................................................................................ 8 Conclusión............................................................................................................. 10 Bibliografía ............................................................................................................ 11

1

Introducción Una máquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT después de algunos pasos. Tanto el INPUT como el OUPUT constan de números en código binario (ceros y unos). En su versión original la máquina de Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a través de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un bit (0 ó 1) está en su interior. Esta fue creada por Alan Mathison Turing un matemático, lógico ,científico de la computación, criptógrafo y filósofo británico. Turing reformuló los resultados

obtenidos por Kurt Gödel en 1931 sobre los límites de la demostración y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que se conoce como Máquina de Turing.

2

Alan Mathison Turing Alan Mathison Turing nació en 1912, y muy pronto mostró una extraordinaria intuición científica. Mientras su padre se hallaba en Madrás, trabajando para el Indian Civil Service, Turing ganó numerosos premios escolares, y más tarde una beca que le llevaría al King's College de Cambridge. Fue aquí cuando empezó a interesarse seriamente por los problemas de lógica matemática. En 1931, Kurt Godel1 descubrió que había teoremas matemáticos que eran verdaderos aún cuando no se pudiesen probar. Ante esto, Alan Turing se puso a investigar aquellos que sí podían ser probados. Quería intentar demostrar la vieja idea de que las matemáticas no son un arte misterioso, sino una ciencia exacta regida por reglas lógicas. Para hacerlo, ideó una máquina imaginaria capaz de realizar de manera totalmente mecánica los procesos que normalmente llevaría a cabo un matemático. Había una máquina para cada proceso; así, había una máquina que sumaba, otra que multiplicaba, etc. Estas máquinas acabarían por recibir el nombre de "Máquinas de Turing". Básicamente, lo que quería era hacer una lista de los problemas que una máquina sería capaz de resolver siguiendo reglas lógicas. Si esta lista abarcaba todos los problemas matemáticos, entonces su tesis quedaría demostrada, y con ella la teoría de la computabilidad. Tras estudiar con detenimiento el funcionamiento de sus máquinas, concluyó que era posible diseñar un artilugio único capaz de cumplir las funciones de cualquier otra máquina de Turing. A ésta se le llamó la "Máquina Universal de Turing". Al estallar la Segunda Guerra Mundial, Turing fue alejado del mundo académico y reclutado por la Escuela de Códigos y Cifrados del gobierno británico. Las actividades que realizaba consistían de manera primordial en descifrar el código
1

Kurt Godel: (Brünn, actual Austria, 1906-Princeton, EE UU, 1978) Lógico y matemático estadounidense de origen austriaco.

3

militar alemán ENIGMA. Para ello desarrolló el invento más secreto de dicha guerra: el Colossus, primer ordenador electromecánico del mundo. Más adelante, sería destinado a los Estados Unidos con el fin de crear unos códigos seguros para las comunicaciones transatlánticas entre los países aliados. Acabada la guerra, Turing colaboró en la construcción del ENIAC. Posteriormente recibió el encargo de empezar a trabajar en la construcción de un ordenador totalmente británico, destinado al National Physical Laboratory, y que recibiría el nombre de ACE (Automatic Computing Engine). Esta máquina tardó mucho tiempo en ser construida, pero era superior a ENIAC en muchas características. Frustrado por el lento avance, dimitió y se fue a vivir a Manchester, colaborando en el proyecto del MARK I, el ordenador de la universidad. Al mismo tiempo, era asesor de la compañía Ferranti 2 y, por tanto, colaboró en la construcción de los primeros ordenadores fabricados en Gran Bretaña. En 1952, Turing fue acusado de homosexualidad, y dos años más tarde se suicidó.

Maquina de Turing Es un dispositivo de reconocimientos de lenguaje, es más general que cualquier autómata finito3 y cualquier autómata de pila4, debido a que ellas pueden reconocer tanto los lenguajes regulares, como los lenguajes independientes de contexto y además muchos otros tipos de lenguajes.

2

Ferranti: Compañía de fabricación de productos electrónicos, que se especializa en una amplia gama de tecnologías para el sector aeroespacial militar y comercial. 3 Autómata Finito: modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida. 4 Autómata de Pila: modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce.

4

Una máquina de Turing consiste, básicamente, en una cinta infinita, dividida en casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razón de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz de leer un símbolo escrito en la cinta, o de borrar el existente e imprimir uno nuevo en su lugar.

Diagrama Artístico de una Maquina de Turing

Por último, contiene además un registro capaz de almacenar un estado cualquiera, el cual viene definido por un símbolo. Los símbolos que definen el estado del dispositivo no tienen por qué coincidir con los símbolos que se pueden leer o escribir en la cinta. En los programas presentados en el artículo, los posibles símbolos a leer o escribir en la cinta son el 0 y el 1, y los posibles estados se representan con letras mayúsculas. La máquina tiene un funcionamiento totalmente mecánico y secuencial. Lo que hace es leer el símbolo que hay en la casilla que tiene debajo. Después toma el símbolo del estado en que se encuentra. Con estos dos datos accede a una tabla, en la cual lee el símbolo que debe escribir en la cinta, el nuevo estado al que debe pasar y si debe desplazarse a la casilla izquierda o derecha. Con este aparato extremadamente sencillo es posible realizar cualquier cómputo que un computador digital sea capaz de realizar. De hecho, se puede probar matemáticamente que para cualquier programa de computadora es posible crear una máquina de Turing equivalente. Esta prueba

5

resulta de la Tesis de Church-Turing, formulada por Alan Turing y Alonzo Church5, de forma independiente a mediados del siglo XX.

Lenguaje Este modelo está formado por un alfabeto de entrada y uno de salida, un símbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados finitos y

un conjunto de transiciones entre dichos estados. Una máquina de Turing con una sola cinta puede definirse como una Tupla

en la cual:    es un conjunto finito de estados. es un conjunto finito de símbolos distinto del espacio en blanco, denominado alfabeto de máquina o de entrada. es un conjunto finito de símbolos de cinta, denominado alfabeto de cinta ( ).     función de transición, donde movimiento a la derecha. es el estado inicial. es un símbolo denominado blanco, y es el único símbolo que se puede repetir un número infinito de veces. es el conjunto de estados finales de aceptación. es una función parcial denominada es el

es un movimiento a la izquierda y

5

Alonzo Chuch: (Washington, 1903-Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó en lógica matemática, metalógica y metamatemática.

6

Clasificación de maquina Turing Máquina de Turing Multicinta En este modelo, la máquina de Turing tiene k cintas, infinitas en ambos sentidos, y k cabezales de L/E (Lector/Escritor). Sólo hay una entrada de información, en la primera cinta. Los tres pasos asociados a cada transición son ahora:    Transición de estado. Escribir un símbolo en cada una de las celdas sobre las que están los cabezales de L/E. El movimiento de cada cabezal es independiente y será R, L (Right, Left)6 o nada (Z).

Máquina de Turing No Determinista Es una Máquina de Turing con cinta limitada a la izquierda, que se caracteriza por que a partir de un estado y un símbolo puede haber diferentes transiciones. El número de transiciones asociado a cada para estado/símbolo siempre es finito

Máquina de Turing Multidimensional En este modelo la cinta es un array de k dimensiones de celdas, infinito en las 2k direcciones posibles. Dependiendo del estado y del símbolo leído, hay una transición que difiere de las de la Máquina de Turing unidimensional en que el movimiento puede ser en cualquiera de las 2k.

Máquina de Turing con Múltiples Cabezales Tiene k cabezales de L/E, como la multicinta, pero con una sola cinta. Los cabezales operan todos de forma independiente. Como en las Máquinas de Turing multicinta, se admiten movimientos L, R ó Z.
6

R, L (Right, Left): Derecha, Izquierda.

7

Máquina de Turing Offline Es un caso particular de las Máquinas de Turing multicinta es que tienen una cinta especial de sólo lectura en la que el cabezal, que sólo puede moverse hacia la derecha, no puede moverse de la zona delimitada por una par de símbolos especiales.

Máquina Universal de Turing Una máquina de Turing computa una determinada función parcial de carácter definido, definida sobre las secuencias de posibles cadenas de símbolos de su alfabeto. En este sentido se puede considerar como equivalente a un programa de ordenador, o a un algoritmo. Sin embargo es posible realizar una codificación de la tabla que representa a una máquina de Turing, a su vez, como una secuencia de símbolos en un determinado alfabeto; por ello, podemos construir una máquina de Turing que acepte como entrada la tabla que representa a otra máquina de Turing, y, de esta manera, simule su comportamiento.

Máquina de Turing Cuántica En 1985, Deutsch presentó el diseño de la primera Máquina Cuántica basada en una máquina de Turing. Con este fin enunció una nueva variante la tesis de Church dando lugar al denominado "Principio Deutsch". La estructura de una máquina de Turing cuántica es muy similar a la de una máquina de Turing clásica. Está compuesta por los tres elementos clásicos:
8

de

Church-Turing-

  

Una cinta de memoria infinita en que cada elemento es un QuBit Un procesador finito Un cursor

El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta señalado por el cursor. El resultado dependerá del QuBit de la cinta y del estado del procesador. El procesador ejecuta una instrucción por unidad de tiempo. La cinta de memoria es similar a la de una máquina de Turing tradicional. La única diferencia es que cada elemento de la cinta de la máquina cuántica es un QuBit. El alfabeto de esta nueva máquina está formado por el espacio de valores del QuBit.

9

Conclusión Podemos concluir en que la máquina de Turing es una artefacto imaginario el cual puede resolver cualquier problema matemático que pueda representarse mediante un algoritmo siendo así el objeto central de estudio en la teoría de la computación. Pueden reconocer tanto los lenguajes regulares, como los lenguajes

independientes de contexto y además muchos otros tipos de lenguajes, logrando de esta forma que sea es más general que cualquier autómata finito y cualquier autómata de pila. La máquina tiene un funcionamiento totalmente mecánico y secuencial. Se puede probar matemáticamente que para cualquier programa de computadora es posible crear una máquina de Turing equivalente. Esta prueba resulta de la Tesis de Church-Turing, creada por Alan Turing y Alonzo Church. La tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, es decir que

"todo algoritmo es equivalente a una máquina de Turing". Es una hipótesis que tiene aceptación universal.

10

Bibliografía  Biografia de Alonzo Church. (n.d.).Biografia de Alonzo Church. Revisado en Noviembre,     2013, de:

http://www.biografiasyvidas.com/biografia/c/church_alonzo.htm Biografia de Kurt Gödel. (n.d.). Biografia de Kurt Gödel. Revisado en Noviembre, 2013, de: http://www.biografiasyvidas.com/biografia/g/godel.htm Ferranti Technologies. (n.d.). Ferranti Technologies. Revisado en

Noviembre, 2013, de: http://www.ferranti-technologies.co.uk Máquinas de Turing. (n.d.). Máquinas de Turing. Revisado en Noviembre, 2013, de http://www.rastersoft.com/articulo/turing.html Máquinas de Turing. (n.d.). : Que es y como funciona. Revisado en Noviembre, 2013, de: http://maquinaturing.blogspot.com/p/funcionamientode-la-maquina-turing.html  Máquinas de Turing. (n.d.). : Clasificación de maquina Turing. Revisado en Noviembre, 2013, de: http://maquinaturing.blogspot.com/p/clasificacion-demaquina-turing.html  Máquinas de Turing. (n.d.). : Lenguajes aceptados por una maquina Turing. Revisado en Noviembre, 2013, de:

http://maquinaturing.blogspot.com/p/lenguajes-aceptados-por-unamaquina.html  Máquinas de Turing. (n.d.). : Invento patentado por Alan Turing. Revisado en Noviembre, 2013, de: http://maquinaturing.blogspot.com/p/inventopatentado-por-alan-turing.html  Máquinas de Turing. (n.d.). : Prueba Turing maquina persona. Revisado en Noviembre, 2013, de: http://maquinaturing.blogspot.com/p/prueba-turingmaquina-persona.htmlPérez,  Iván (2005). Lenguaje y Compiladores. pp. 137.

11