Máquina de Turing

1

Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de un CPU dentro de un computador. La máquina de Turing fue descrita por Alan Turing como una «máquina automática» en 1936 en la revista Proceedings of the London Mathematical Society,[1] La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina de computación. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo mecánico. Turing dio una definición sucinta del experimento en su ensayo de 1948, «Máquinas inteligentes». Refiriéndose a su publicación de 1936, Turing escribió que la máquina de Turing, aquí llamada una máquina de computación lógica, consistía en: ...una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con cuadrados, en cada uno de los cuales podría imprimirse un símbolo. En cualquier momento hay un símbolo en la máquina; llamado el símbolo leído. La máquina puede alterar el símbolo leído y su comportamiento está en parte determinado por ese símbolo, pero los símbolos en otros lugares de la cinta no afectan el comportamiento de la máquina. Sin embargo, la cinta se puede movers hacia adelante y hacia atrás a través de la máquina, siendo esto una de las operaciones elementales de la máquina. Por lo tanto cualquier símbolo en la cinta puede tener finalmente una oportunidad.[2] (Turing 1948, p. 61) Una máquina de Turing que es capaz de simular cualquier otra máquina de Turing es llamada una máquina universal de Turing (UTM, o simplemente una máquina universal). Una definición más matemáticamente orientada, con una similar naturaleza "universal", fue presentada por Alonzo Church, cuyo trabajo sobre el cálculo lambda se entrelaza con el de Turing en una formal teoría de la computación conocida como la tesis de Church-Turing. La tesis señala que las máquinas de Turing de hecho capturan la noción informal de un método eficaz en la lógica y las matemáticas y proporcionan una precisa definición de un algoritmo o 'procedimiento mecánico'. Estudiando sus propiedades abstractas, la máquina de Turing produce muchas perspectivas en las ciencias de la computación y en la teoría de la complejidad.

La operación la cinta como siendo infinita y lledada previamente con '0'. y demostró que existían problemas que una máquina no podía resolver. with an application to the Entscheidungsproblem. Precisamente.Máquina de Turing 2 Historia Alan Turing introdujo el concepto de máquina de Turing en el trabajo On computable numbers. si el símbolo visto es 0. pero en un momento determinado sólo una parte finita es accesible. definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Con este aparato extremadamente sencillo es posible realizar cualquier cómputo que un computador digital sea capaz de realizar. y la ilustración describe cabezal lector/escritor de cinta. es decir.[3] La idea subyacente es el concepto de que una máquina de Turing puede verse como un autómata ejecutando un procedimiento efectivo definido formalmente. cuyas soluciones pueden encontrarse en tiempo polinómico por máquinas de Turing deterministas y no deterministas. Turing no imagina un mecanismo. de forma independiente a mediados del siglo XX caracteriza la noción informal de computabilidad con la computación mediante una máquina de Turing. escribe un 1 y cambia al estado 6. Mediante este modelo teórico y el análisis de la complejidad de los algoritmos. usando un Aquí se muestra el estado interno (q1) dentro del cabezal. si el símbolo visto es cabezal ("11B") y la posición del cabezal. El estado completo del sistema (su configuración) consiste del estado conjunto finito de instrucciones elementales interno. En esta cinta hay símbolos que la máquina puede leer y escribir. 121). la tesis de Church-Turing formulada por Alan Turing y Alonzo Church. apareciendo así. respectivamente. Descripción informal La máquina de Turing modela matemáticamente a una máquina que opera mecánicamente sobre una cinta. el conjunto de problemas denominados P y NP. (Dibujo después de Minsky (1967) p. cambia al estado 17. si hay un método Representación artística de una máquina de Turing. sino una . En el artículo original ("Sobre números computables con una aplicación al Entscheidungsproblem"). el símbolo sirviendo está completamente determinada por un como blanco. uno a la vez. escribe un 1. publicado por la Sociedad Matemática de Londres en 1936. 0. la máquina de Turing. Si el símbolo visto es 1. en el que se estudiaba la cuestión planteada por David Hilbert sobre si las matemáticas son decidibles. etc". Turing ideó un modelo formal de computador. donde el espacio de memoria de trabajo es ilimitado. el contenido de las casillas sombreadas incluyendo el blanco leído el como "en el estado 42. fue posible la categorización de problemas computacionales de acuerdo a su comportamiento. en el estado 17.

La máquina va leyendo una celda de la cinta en cada paso. y entonces • Mueve el cabezal (que es descrito por dk y puede tener los valores: 'L' para un paso a la izquierda. la tabla indica a la máquina: (ia) borrar o escribir un símbolo o (ib) mover el cabezal a la izquierda o a la derecha. discreto y distinguible. Su funcionamiento se basa en una función de transición. Una cinta que se divide en celdas. Más precisamente. El alfabeto contiene un símbolo especial llamado blanco (aquí escrito como 'B') y uno o más símbolos adicionales. generando una salida en esta misma. Cada celda contiene un símbolo de algún alfabeto finito. borrando el símbolo en el que se encuentra posicionado su cabezal y escribiendo un nuevo símbolo . Las celdas que no se hayan escrito Animación de la máquina de Turing previamente se asumen que están rellenas con el símbolo blanco. o 0). la máquina de Turing siempre es suministrada con tanta cinta como necesite para su computación. Un cabezal que puede leer y escribir símbolos en la cinta y mover la cinta a la izquierda y a la derecha una (y sólo una) celda a la vez. 3. quien ejecuta servilmente estas reglas mecánicas deterministas (o como Turing pone. son especificadas como instrucciones separadas: borrar o escribir un símbolo (aj1) y mover el cabezal a la izquierda o la derecha (dk). la máquina se detendrá. un símbolo especial llamado blanco (normalmente b. Una tabla finita de instrucciones (llamada ocasionalmente como tabla de acción o función de transición). o 'N' para permanecer en el mismo lugar) y luego • Asume el mismo o un nuevo estado como prescrito (ve al estado qi1). dado el estado (qi) la máquina está actualmente en y el símbolo (aj) se está leyendo en la cinta (el símbolo actualmente debajo del cabezal) le indica a la máquina hacer lo siguiente en secuencia (para los modelos de 5-tupla): • Borra o escribe un símbolo (reemplazando aj con aj1). Definición formal Una máquina de Turing [4]es un modelo computacional que realiza una lectura/escritura de manera automática sobre una entrada llamada cinta. Turing escribe que estos estados reemplazan el "estado de la mente" en que ordinariamente estaría una persona realizando cálculos. es la cantidad potencialmente ilimitada de cinta lo que le da una cantidad ilimitada de espacio de almacenamiento. En los modelos de 4-tupla. En algunos modelos la cinta tiene un extremo izquierdo marcado con un símbolo especial. una máquina de Turing consta de: 1. otros modelos requieren que estén llenas todas las entradas. Hay un especial estado inicial con que el registro de estado es iniciado. Este modelo está formado por un alfabeto de entrada y uno de salida. En algunos modelos el cabezal se mueve y la cinta es estacionaria. 2. "de una manera desganada"). que recibe un estado inicial y una cadena de caracteres (la cinta. pero no las dos acciones (ia) y (ib) en la misma instrucción.Máquina de Turing 3 persona a la que él llama la "computadora". es decir. una al lado de la otra. la cual puede ser infinita) pertenecientes al alfabeto de entrada. Las instrucciones son usualmente 5-tuplas: qiaj→qi1aj1dk. movimiento de la cinta — es finito. Note que cada parte de la máquina — su estado y colecciones de símbolos — y sus acciones — imprimir. que. En algunos modelos. o 'R' para uno paso a la derecha. 4. uno de los estados finitos. La cinta se supone que es arbitrariamente extensible hacia la izquierda y hacia la derecha. la cinta se extiende o es indefinidamente extensible hacia la derecha. borrar. y luego (ii) asumir el mismo o un nuevo estado. si no hay ninguna entrada en la tabla para la actual combinación de símbolo y estado. un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Específicamente. (a veces 4-tuplas). Un registro de estado que almacena el estado de la máquina de Turing.

entonces este símbolo debe ser reemplazado por este otro símbolo. por ejemplo se puede añadir el símbolo como símbolo de "no movimiento" en un paso de cómputo. bien a la izquierda o bien a la derecha". representando así la salida. dando la dirección para mover el cabezal. por tanto. donde hay escrito el símbolo z. Las instrucciones que determinan el funcionamiento de la máquina tienen la forma. Visualización de una máquina de Turing. para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). o el autómata con pila. Existen en la literatura un abundante número de definiciones alternativas. el nuevo estado de la máquina y el valor a escribir en la cinta. es un conjunto finito de símbolos de cinta.Máquina de Turing perteneciente al alfabeto de salida. pero todas ellas tienen el mismo poder computacional. es capaz de reconocer los lenguajes recursivamente enumerables. de acuerdo a la jerarquía de Chomsky. donde es un 4 movimiento a la izquierda y es el movimiento a la derecha. • Mover el cabezal lector/escritor hacia la izquierda. Las operaciones que se pueden realizar en esta máquina se limitan a: • Mover el cabezal lector/escritor hacia la derecha. Funcionamiento La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido. La memoria es la cinta de la máquina que se divide en espacios de trabajo denominados celdas. y es el único símbolo que se puede repetir un número infinito de veces. es un conjunto finito de símbolos distinto del espacio en blanco. Esto se repite según se indique en la función de transición. denominado alfabeto de cinta ( ). denominado alfabeto de máquina o de entrada. valor) dirección) (nuevo estado. nuevo valor. es el estado inicial. para finalmente detenerse en un estado final o de aceptación. El cómputo se determina a partir de una tabla de estados de la forma: (estado. En ese sentido. es el conjunto de estados finales de aceptación. superior a otros tipos de autómatas. Inicialmente todas las celdas contienen un símbolo especial denominado "blanco". Su potencia es. borra el contenido anterior y escribe un nuevo valor. Una máquina de Turing con una sola cinta puede definirse como una 7-tupla donde:[5] • • • • • • • es un conjunto finito de estados. en la que se ve el cabezal y la cinta que se lee. . es un símbolo denominado blanco. donde se pueden escribir y leer símbolos. o igual a otros modelos con la misma potencia computacional. como el autómata finito. "si estamos en el estado x leyendo la posición y. es una función parcial denominada función de transición. La máquina de Turing puede considerarse como un autómata capaz de reconocer lenguajes formales. y pasar a leer la celda siguiente. Esta tabla toma como parámetros el estado actual de la máquina y el carácter leído de la cinta.

para la máquina de Turing con las transiciones La descripción instantánea para la cinta 1011 es: Ejemplo Definimos una máquina de Turing sobre el alfabeto . Esta máquina de Turing está definida sobre el alfabeto . siendo el símbolo denominado "blanco". y esta rotulada por símbolo que lee el cabezal/símbolo que escribirá el cabezal. representan mediante vértices que están encerrados a su vez por otra circunferencia. seguida de infinitos blancos. de la siguiente manera: • Los estados se representan como vértices. posiciona el cabezal . Esta máquina • El o los estados finales se reconoce la expresión regular de la forma con . también llamados diagramas de estados finitos. Su estado inicial es y el estado final es . La cinta . posee el • El estado inicial se caracteriza por conjunto de estados . El cabezal señala el primer símbolo de Por ejemplo. La máquina de Turing copiará el número de símbolos "1" que encuentre hasta el primer blanco detrás de dicho símbolo blanco. el lenguaje de salida no proviene de ningún otro vértice. etiquetados con su nombre en el interior. donde 0 representa el símbolo blanco. se representa mediante una arista dirigida que une a estos vértices.Máquina de Turing 5 Representación como diagrama de estados Las maquinas de Turing pueden representarse mediante grafos particulares. Descripción instantánea Es una secuencia de la forma contiene la cadena donde y que escribe el estado de una MT. movimiento del cabezal. con las transiciones tener una arista que llega a él y que que se pueden ver. • Una transición desde un estado a otro. Es decir. La máquina comenzará su proceso situada sobre un símbolo "1" de una serie.

si tenemos la entrada "111" devolverá "1110111". y pasa al estado . Después comienza el proceso de retorno. en el estado inicial . saltando los símbolos 1 hasta un 0 (que debe existir). cuando lo encuentra pasa al estado . doblará el número de símbolos 1. El conjunto de estados es transición es la siguiente: Estado Símbolo leído Símbolo escrito Mov. .Máquina de Turing sobre el 1 situado en el extremo izquierdo. con un 0 en medio. con vuelve a la izquierda saltando los 1. Una vez en el extremo derecho. Así. con el que avanza hacia la derecha. La tabla que describe la función de El funcionamiento de una computación de esta máquina puede mostrarse con el siguiente ejemplo (en negrita se resalta la posición de la cabeza lectora/escritora): Paso Estado Cinta 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Parada 11 01 010 0100 0101 0101 0101 1101 1001 1001 10010 10011 10011 10011 11011 La máquina realiza su proceso por medio de un bucle. Estado sig. con este estado avanza saltando los 1 hasta encontrar otro 0 (la primera vez no habrá ningún 1). con "1111" devolverá "111101111". pasa a que continúa a la izquierda saltando los 1 hasta el 0 que se escribió al principio. cuando encuentra un 0 (en el medio de la secuencia). 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 1 1 6 y el estado inicial es . reemplaza el primer 1 con un 0. añade un 1. y sucesivamente. Se reemplaza de nuevo este 0 por 1. y pasa al símbolo siguiente.

será el símbolo central. la cinta de la figura tiene cada celda subdividida en tres subceldas. es decir no mover el cabezal de lectura/escritura. mediante n-tuplas ordenadas. Máquina de Turing con cinta infinita a ambos lados Esta modificación se denota al igual que una MT sencilla. significa que se pasa del estado q al p. se pasa a otra iteración del bucle. se escribe en la celda actual y la cabeza se queda sobre la celda actual. el contenido de las celdas de la cinta puede ser representado Subdivisión de una celda de la cinta.Máquina de Turing si es un 1. Máquina de Turing con movimiento stay o "esperar" La función de transición de la MT sencilla esta definida por la cual puede ser modificada como Donde significa "permanecer" o "esperar". 7 Modificaciones equivalentes Una razón para aceptar la máquina de Turing como un modelo general de cómputo es que el modelo que hemos definido anteriormente es equivalente a muchas versiones modificadas que en principio pareciera incrementar el poder computacional. Cada celda es así capaz de contener varios símbolos de la cinta. Máquina de Turing con cinta infinita a ambos lados Máquina de Turing con cinta multipista Es aquella que mediante la cual cada celda de la cinta de una máquina sencilla se divide en subceldas. pasando al estado s1 de nuevo. lo cual permite realizar transiciones iniciales como . lo que la hace diferente es que la cinta es infinita tanto por la derecha como por la izquierda. Por ejemplo. Si es un símbolo 0. Se dice que esta cinta tiene múltiples pistas puesto que cada celda de esta máquina de Turing contiene múltiples caracteres. . Los movimientos que realice esta máquina dependerán de su estado actual y de la n-tupla que represente el contenido de la celda actual. con lo que la máquina se detiene al haber finalizado el cómputo. Por lo tanto. Cabe mencionar que posee un solo cabezal al igual que una MT sencilla.

da reglas de sustitución para cada uno de los símbolos y dirección de movimiento para cada uno de los cabezales.D} (es decir arriba y abajo).Máquina de Turing 8 Máquina de Turing multicinta Una MT con más de una cinta consiste de un control finito con k cabezales lectores/escritores y k cintas. se dirá que es una máquina de Turing determinista. Si cualquiera de las ramas del árbol finaliza en un estado de aceptación. Máquina de Turing determinista y no determinista Véase también: Complejidad computacional La entrada de una máquina de Turing viene determinada por el estado actual y el símbolo leído. Diagrama de una máquina de Turing multicinta. una máquina no determinista tiene un "árbol computacional". mientras que en el caso de que exista al menos un par (estado. La MT define su movimiento dependiendo del símbolo que está leyendo cada uno de sus cabezales. . derecha e izquierda. símbolo) posible exista a lo sumo una posibilidad de ejecución. Inicialmente la MT empieza con la entrada en la primera cinta y el resto de las cintas en blanco. símbolo).D}. las flechas indican los cabezales de lectura/escritura. Máquina de Turing multidimensional Una MT multidimensional es aquella cuya cinta puede verse como extendiéndose infinitamente en más de una dirección. cada una de las cuales sigue una de las posibles transiciones. En la modificación bidimensional de MT que se muestra en la figura también se agregan dos nuevos movimientos del cabezal {U. queda definida como sigue: ¿Cómo sabe una máquina no determinista qué acción tomar de las varias posibles? Hay dos formas de verlo: una es decir que la máquina es "el mejor adivino posible". En el caso de que para cada par (estado. las acciones a tomar en función de una entrada. un par (estado. La función de transición en el caso no determinista.U. siendo Diagrama de una máquina de Turing bidimensional. la escritura de un nuevo símbolo y el movimiento del cabezal. bifurcándose en varias copias. Cada cinta es infinita en ambos sentidos. esto es. Mientras que una máquina determinista sigue un único "camino computacional". el ejemplo más básico sería el de una máquina bidimensional cuya cinta se extendería infinitamente hacia arriba. que siempre elige la transición que finalmente la llevará a un estado final de aceptación. abajo. símbolo) con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista. se dice que la máquina acepta la entrada. La otra es imaginarse que la máquina se "clona".R. De esta forma la definición de los movimientos que realiza el cabezal será {L. el cambio de estado.

la velocidad de ejecución de ambos formalismos no es la misma. . . y un único estado final denotado • • • . Los estados de una MT se codifican también con secuencias de unos: . determinar si M terminará en un número finito de pasos cuando se ejecuta usando w como entrada. Alan Turing. Para simplificar la codificación. se puede demostrar que dada una máquina de Turing no determinista existe otra máquina de Turing determinista equivalente. en el sentido de que ninguna máquina de Turing lo puede resolver. Codificación de una máquina de Turing Toda máquina de Turing puede codificarse como una secuencia binaria finita. pues si una máquina no determinista M reconoce una cierta palabra de tamaño n en un tiempo . with an application to the Entscheidungsproblem" (1936). . Tendremos que para una MT M de la forma o b (según se desee denotar). Es decir. por ejemplo. el no determinismo permitirá 9 reducir la complejidad de la solución de los problemas. y viceversa. No obstante. . . donde representa el símbolo blanco 0. en su famoso artículo "On computable numbers. la máquina determinista equivalente reconocerá la palabra en un tiempo complejidad exponencial en un tiempo polinómico. Todos estos símbolos se codifican como secuencias de unos: Símbolo Codificación 1 11 111 . . en el sentido de que reconoce el mismo lenguaje. permitiendo resolver. es decir una secuencia finita de ceros y unos. suponemos que toda MT tiene un único estado inicial denotado por . problemas de Problema de la parada (halting problem) Véase también: Problema de la parada El problema de la parada o problema de la detención (halting problem en inglés) para máquinas de Turing consiste en: dada una MT M y una palabra w. demostró que el problema de la parada de la máquina de Turing es indecidible. es alfabeto de entrada y son los símbolos auxiliares utilizados por M (cada MT utiliza su propia colección finito de símbolos auxiliares).Máquina de Turing La capacidad de cómputo de ambas versiones es equivalente.

pues no admiten una solución algorítmica. Turing indicó: Se puede demostrar que es posible construir una máquina especial de este tipo que pueda realizar el trabajo de todas las demás. . 111. Por ejemplo. problema conocido como problema de la parada. a su vez. se abre la posibilidad de que unas máquinas de Turing se comporten como otras máquinas de Turing. los símbolos del alfabeto de . Más precisamente. . podemos construir una máquina de Turing que acepte como entrada la tabla que representa a otra máquina de Turing. y se codifican con 1. la codificación de una transición cualquiera es donde . Sin embargo es posible realizar una codificación de la tabla que representa a una máquina de Turing. o a un algoritmo.[6] . un problema interesante es determinar si una máquina de Turing cualquiera se parará en un tiempo finito sobre una determinada entrada. muchas de sus posibilidades son indecidibles. En general. por ello. Así. Con esta codificación de tablas como cadenas. y. Una MT se codifica escribiendo consecutivamente las secuencias de las modificaciones de todas sus transiciones. pues puede ejecutar cualquier instrucción computable sobre él. respectivamente. Las directrices de desplazamiento cinta y la directriz de desplazamiento . . la codificación de una MT M es de la forma . la transición En general.Máquina de Turing 10 Símbolo Codificación 1 11 . . definida sobre las secuencias de posibles cadenas de símbolos de su alfabeto. Una transición se codifica como se codifica usando ceros como separadores entre los estados. 11. Puesto que el orden en que se representen las transiciones de una MT no es relevante. donde es la codificación de la -ésima transición de M. de esta manera. y que Turing demostró que era indecidible. se puede demostrar que cualquier cuestión no trivial sobre el comportamiento o la salida de una máquina de Turing es un problema indecidible. En 1947. simule su comportamiento. según la dirección sea . En este sentido se puede considerar como equivalente a un programa de ordenador. Máquina de Turing universal Una máquina de Turing computa una determinada función parcial de carácter definido y unívoca. Esto no representa ninguna desventaja práctica o conceptual ya que no se pretende que las codificaciones sean únicas. El concepto de Máquina de Turing universal está relacionado con el de un sistema operativo básico. . una misma MT tiene varias codificaciones diferentes. Esta máquina especial puede ser denominada máquina universal. como una secuencia de símbolos en un determinado alfabeto. Sin embargo.

is clear: the code of a Turing machine is its program. Ilustración de una máquina de Turing cuántica. El resultado dependerá del qubit de la cinta y del estado del procesador. Está compuesta por los tres elementos clásicos: • un procesador finito y • un cabezal. La cinta de memoria es similar a la de una máquina de Turing tradicional. H. pero no fue publicada hasta principios de 1937 (cf Hodges 1983:129). 137. [2] See the definition of "innings" on Wiktionary [3] Gómez de Silva Garza. Lenguaje y Compiladores. see more in the History section) after a question posed by M. El alfabeto de esta nueva máquina está formado por el espacio de valores del qubit. blogspot. Consultado el 24 de junio de 2012. • una cinta de memoria infinita en donde cada elemento es un qubit. as we know computers in their general form. Deutsch presentó el diseño de la primera Máquina cuántica basada en una máquina de Turing. Prerequisites (http:/ / dl. 522. . Gómez de Silva Garza (2008) (en español). La posición del cabezal se representa con una variable entera. Membrane Computing: An Introduction. El procesador contiene el conjunto de instrucciones que se aplica sobre el elemento de la cinta señalado por el cabezal.  pp.3) es universal [9] Máquina de Turing construida sobre hardware [10] Video de máquina de Turing mecánica [11] en Youtube Referencias Notas al pie [1] The idea came to him in mid-1935 (perhaps. La estructura de una máquina de Turing cuántica es muy similar a la de una máquina de Turing clásica. dcc. cl/ jtv/ . [4] « Teoría de Autómatas (http:/ / teoriaautomatas. Con este fin enunció una nueva variante la tesis de Church-Turing dando lugar al denominado "principio de Church-Turing-Deutsch". with the instructions of the universal Turing machine corresponding to the operating system of a computer. «The parallelism with a computer. « II. and which would come up with the answer as to whether it was provable" (Hodges 1983:93). ISBN 3540436014. Turing envió su artículo el 31 de mayo de 1936 a la London Mathematical Society para su publicación en la revista Proceedings (cf Hodges 1983:112). New York: Springer-Verlag. the strings to be recognized represent the input data. [6] Paun. Iván (2005) (en español). and the universal Turing machine is the computer itself.» [7] http:/ / www. Introducción a la computación. cfm?id=581822)» (en inglés). uchile. La única diferencia es que cada elemento de la cinta de la máquina cuántica es un qubit.  pp. Enlaces externos • • • • • • Wikimedia Commons alberga contenido multimedia sobre Máquina de TuringCommons. com. acm. org/ citation. es/ 2012/ 02/ turing. Teoría de Autómatas. a mechanical process which could be applied to a mathematical statement. El procesador ejecuta una instrucción por unidad de tiempo. or as Newman put it.Máquina de Turing 11 Máquina de Turing cuántica En 1985. Newman in his lectures -"Was there a definite method. html)». RAI 2012 Universidad Carlos III [5] Pérez. JTV (Java Turing Visual) [7] permite construir y ejecutar MT Sitio web de Stephen Wolfram [8] Demuestran que la máquina de Turing (2. Gheorghe (2002). A.

• Viso. Introducción a la teoría de la computación (http://books.Máquina de Turing [8] http:/ / www.pdf)» (en español). • « on computable numbers. . Consultado el 11 de julio de 2010. wolframscience. Consultado el 11 de julio de 2010. com/ ?p=1008 [10] http:/ / aturingmachine. Rodrigo (2004). autómatas.itlp.cl/ books?id=nMhfwj9WGz4C&printsec=frontcover&dq=conferencias+sobre+computacion&hl=es& ei=Ul85TOfaKtCQuAe17bWXBA&sa=X&oi=book_result&ct=book-thumbnail&resnum=1& ved=0CC8Q6wEwAA#v=onepage&q&f=false).mx/tutoriales/teoriadelacomputacion/t44. Consultado el 15 de julio de 2010. Richard (1996). com/ [11] http:/ / www.google. Conferencias sobre computación (http://books.with an application to the entscheidungsproblem (http://www.thocp. Consultado el 11 de julio de 2010. Teoría de la computación : lenguajes. ISBN 84-8432-444-3. • « Variantes de una Máquina de Turing (http://sistemas.google. Consultado el 15 de julio de 2010. Graficromo. cl/books?id=EAbc79tlWD4C&pg=PA201&dq=codificacion+de+una+maquina+de+turing&hl=es& ei=QF8-TIeCCoWKlwf19-T4BQ&sa=X&oi=book_result&ct=result&resnum=1& ved=0CCgQ6AEwAA#v=onepage&q&f=false). com [9] http:/ / neofronteras. youtube. com/ watch?v=aBToqFJLrl4 12 Bibliografía • Feynman.cl/ books?id=NXQE8NJw9d4C&pg=PA254&dq=maquina+de+turing&hl=es& ei=J2A5TPXsD4SRuAfshLSkBA&sa=X&oi=book_result&ct=result&resnum=4& ved=0CDsQ6AEwAw#v=onepage&q=maquina de turing&f=false). htm)» (en español). ISBN 978-970-32-5415-6. gramáticas (http://books.edu.net/biographies/ papers/turing_oncomputablenumbers_1936.google. Elisa (2008). • De Castro.

Rafa3040.martinez.png  Licencia: Public Domain  Contribuyentes: Aldo. Technopat. Pequeniosaltamontes.0  Contribuyentes: User:Dnu72 Archivo:Turing Machine. Kn.svg  Fuente: http://es.PNG  Licencia: Creative Commons Attribution-Sharealike 3.png  Fuente: http://es. Zeno Gantner.php?title=Archivo:Maquina_cuantica.org/w/index. Belgrano. Original uploader was Nynexman4464 at en.wikipedia. Davius.png  Fuente: http://es.org/w/index. CristianRuz.gif  Licencia: Creative Commons Attribution-ShareAlike 3.php?title=Archivo:MT_bidimensional. Juan Mayordomo.php?title=Archivo:Commons-logo.JPG  Fuente: http://es.wikipedia.0  Contribuyentes: Aldo.org/w/index. Joelcuervo.PNG  Licencia: Creative Commons Attribution-Sharealike 3. Ezarate. Gaeddal. Rbrena. Emijrp.svg  Licencia: Creative Commons Attribution-Sharealike 3. Moriel. Barcex.png  Licencia: Public Domain  Contribuyentes: Darapti.martinez.svg  Fuente: http://es.martinez. Pan con queso. Acratta. Ninrouter.wikipedia.PNG  Fuente: http://es. Head. Fepi.0 Unported  Contribuyentes: RosarioVanTulpe Archivo:Máquina de Turing. Elabra sanchez.org/w/index. Halfdrag. Aldo.wikipedia.JPG  Licencia: Creative Commons Attribution-Sharealike 3. Rufflos. Sms.php?title=Archivo:Cinta_infinita.org/licenses/by-sa/3. Licencias y contribuyentes Archivo:Teoría de autómatas. LP.php?title=Archivo:Máquina_de_Turing.php?title=Archivo:Turing_Machine.wikipedia. Sauron.wikipedia.svg  Licencia: logo  Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247. Macar.png  Fuente: http://es. Porao Imagen:Turing machine 2b. 1 ediciones anónimas Archivo:Commons-logo.Fuentes y contribuyentes del artículo 13 Fuentes y contribuyentes del artículo Máquina de Turing  Fuente: http://es. 118 ediciones anónimas Fuentes de imagen.php?title=Archivo:Turing_machine_2b. Pólux. Alexav8. Espartera.0/ .wikipedia. Symonblade.php?title=Archivo:Diagrama_Máquina_Turing.png  Licencia: GNU Free Documentation License  Contribuyentes: Fer31416. Gebla.0  Contribuyentes: Aldo. Fer31416.svg  Licencia: Public Domain  Contribuyentes: User:Nynexman4464. Mtrias. Dav7mx.php?title=Archivo:Teoría_de_autómatas. Rai201208. Farisori. DraXus. GermanX.0  Contribuyentes: Aldo. Dnu72.php?title=Archivo:MT_multipista.JPG  Licencia: Creative Commons Attribution-Sharealike 3. Tano4595.org/w/index. Götz.wikipedia.org/w/index. Frapen. Humberto. Lasneyx.JPG  Fuente: http://es.0  Contribuyentes: Aldo. de Betoño.wikipedia. based on the earlier PNG version.martinez.martinez. Jesús Pardillo. Nickel Spider. Mnd.org/w/index.martinez. Elmo23x.PNG  Fuente: http://es.svg  Fuente: http://es. SuperBraulio13.n Archivo:Cinta infinita.0  Contribuyentes: Aldo.wikipedia. Alejandrosanchez. Laura Fiorucci.wikipedia Imagen:TuringBeispielAnimatedGIF.n Archivo:MT multipista.org/w/index.php?title=Archivo:MT_multicintas. Casgar49.php?title=Archivo:TuringBeispielAnimatedGIF. created by Reidab.n Archivo:MT_bidimensional. Cobalttempest.JPG  Licencia: Creative Commons Attribution-Sharealike 3. Porao.org/w/index. Samuel abel. Licencia Creative Commons Attribution-Share Alike 3. AlfonsoERomero. Ascánder.org/w/index. Snakeyes.wikipedia. Unai Fdz.JPG  Fuente: http://es.php?oldid=58262326  Contribuyentes: (missing paren.n Archivo:MT multicintas. Pinar.0 Unported //creativecommons. Matdrodes.wikipedia.org/w/index.gif  Fuente: http://es.org/w/index.n Archivo:maquina cuantica.wikipedia.n. Jstitch.martinez.org/w/index.n Archivo:Diagrama Máquina Turing. Jugones55.

Sign up to vote on this title
UsefulNot useful