UNIDAD 4.

- MAQUINAS DE TURING
1. QUE ES Y EN QUE CONSISTE UNA MAQUINA DE TURING

Una mquina de Turing consiste, bsicamente, en una cinta infinita, dividida en casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razn de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz de leer un smbolo escrito en la cinta, o de borrar el existente e imprimir uno nuevo en su lugar. Por ltimo, contiene adems un registro capaz de almacenar un estado cualquiera, el cual viene definido por un smbolo. Los smbolos que definen el estado del dispositivo no tienen por qu coincidir con los smbolos que se pueden leer o escribir en la cinta. En los programas presentados en el artculo, los posibles smbolos a leer o escribir en la cinta son el 0 y el 1, y los posibles estados se representan con letras maysculas. En el emulador, existe un cambio en la representacin del estado, usando para ello los nmeros del 0 al 99, para permitir un mayor nmero de ellos. La mquina tiene un funcionamiento totalmente mecnico y secuencial. Lo que hace es leer el smbolo que hay en la casilla que tiene debajo. Despus toma el smbolo del estado en que se encuentra. Con estos dos datos accede a una tabla, en la cual lee el smbolo que debe escribir en la cinta, el nuevo estado al que debe pasar y si debe desplazarse a la casilla izquierda o derecha.

2. CUALES SON LOS ELEMENTOS QUE CONSTITUYEN UNA MAQUINA DE TURING Una mquina de Turing con una sola cinta puede ser definida como una 7-tupla , donde

es un conjunto finito de estados. es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina. es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta. es el estado inicial. es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces. es el conjunto de estados finales de aceptacin. funcin de transicin, donde movimiento a la derecha. es una funcin parcial denominada es un movimiento a la izquierda y es el

Existen en la literatura un abundante nmero de definiciones 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 o el smbolo para indicar el alfabeto de entrada. 3. QU OPERACIONES PUEDE REALIZAR UNA MAQUINA DE TURING 1) Parar la computacin. 2) Moverse un cuadrado a la derecha. 3) Moverse un cuadrado a la izquierda. 4) Escribir el smbolo S0 en lugar de cualquier otro que este en el cuadrado examinado. 5) Escribir el smbolo S1 en lugar de cualquier otro que este en el cuadrado examinado.

4. COMO SE LLEVA A CABO EL PROCESO DE RECONOCIMIENTO DE UNA CADENA CON UNA MAQUINA DE TURING 1) registrando la cadena a partir de la segunda celda de su cinta 2) situando su cabeza de lectura en el extremo izquierdo 3) arrancando la mquina desde el estado inicial hasta alcanzar un estado de parada Una Mquina de Turing acepta una cadena Dos posibles criterios: a) cuando se detiene en la configuracin Y b) cuando simplemente se detiene

...

5. DEFINE EN QUE CONSISTE UNA MQUINA DE TURING CUNTICA En 1985, Deutsch present el diseo de la primera Mquina Cuntica basada en una mquina de Turing. Con este fin enunci una nueva variante la tesis de Church dando lugar al denominado Principio de Church-Turing-Deutsch. La estructura de una mquina de Turing cuntica es muy similar a la de una mquina de Turing clsica. Est compuesta por los tres elementos clsicos:

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

El procesador contiene el juego de instrucciones que se aplica sobre el elemento de la cinta sealado por el cursor. El resultado depender del Qu Bit de la cinta y del estado del procesador. El procesador ejecuta una instruccin por unidad de tiempo. La cinta de memoria es similar a la de una mquina de Turing tradicional. La nica diferencia es que cada elemento de la cinta de la mquina cuntica es un Qu Bit. El alfabeto de esta nueva mquina est formado por el espacio de valores del Qu Bit. El cursor es el elemento que comunica la unidad de memoria y el procesador. Su posicin se representa con una variable entera.

6. COMO SE DENOMINAN LOS LENGUAJES ACEPTADOS POR UNA MQUINA DE TURING Una cadena A*, es aceptada por una MT, si comienza en el estado e0, con la cabeza de Lectura/escritura en el smbolo ms a la izquierda, luego de leer toda la cadena llega a un estado ef. F. El lenguaje aceptado por MT, es el conjunto de todas las cadenas que son aceptadas por MT: L (MT)= / e0 |* ef. y ef. Fy , C* y A* Los lenguajes aceptados por las Mquinas de Turn se denominan lenguajes recursivos enumerables o estructurados por frases.

7. EN QUE CONSISTE LA MT DE VARIAS CINTAS Todos los lenguajes aceptados por una MT con una cinta tambin sern Aceptados por una MT con varias cintas. Pero, existen lenguajes aceptados por una MT con varias cintas, que no pueden ser aceptados por una MT con una cinta? La respuesta es no.

8. QUE SON LAS MT DETERMINISTAS Y NO DETERMINISTAS La entrada de una mquina de Turing viene determinada por el estado actual y el smbolo ledo, un par [estado, smbolo], siendo el cambio de estado, la escritura de un nuevo smbolo y el movimiento las acciones a tomar en funcin de una entrada.

En el caso de que para cada par estado y smbolo posible exista a lo sumo una posibilidad de ejecucin, se dir que es una mquina de Turing determinista, mientras que en el caso de que exista al menos un par [estado, smbolo] con ms de una posible combinacin de actuaciones se dir que se trata de una mquina de Turing no determinista. La funcin de transicin en el caso no determinista, queda definida como sigue:

Cmo sabe una mquina no determinista cul de las varias actuaciones tomar? Hay dos formas de verlo: una es decir que la mquina es "el mejor adivino posible", esto es, que siempre elige la transicin que eventualmente la llevar a un estado final de aceptacin. La otra es imaginarse que la mquina se "clona", bifurcndose en varias copias, cada una de las cuales sigue una de las posibles transiciones. Mientras que una mquina determinista sigue un solo "camino computacional", una mquina no determinista tiene un "rbol computacional". Si cualquiera de las ramas del rbol finaliza en un estado de aceptacin, se dice que la mquina acepta la entrada. La capacidad de cmputo de ambas versiones es equivalente; se puede demostrar que dada una mquina de Turing no determinista existe otra mquina de Turing determinista equivalente, en el sentido de que reconoce el mismo lenguaje, y viceversa. No obstante, la velocidad de ejecucin de ambos formalismos no es la misma, pues si una mquina no determinista M reconoce una cierta palabra de tamao n en un tiempo O (t(n)), la mquina determinista equivalente reconocer la palabra en un tiempo O (2t(n)). Es decir, el no determinismo permitir reducir la complejidad de la solucin de los problemas, permitiendo resolver, por ejemplo, problemas de complejidad exponencial en un tiempo polinmico

9. DE QUE DEPENDE EL MOVIMIENTO DE UNA MT Cada movimiento de la MT con varias cintas depende tanto de su estado, como del smbolo ledo por cada una de sus cabezads de cinta:

1O. CUALES SON LOS PROCESOS QUE PUEDE REALIZAR UNA MT Definimos una mquina de Turing sobre el alfabeto {0,1}, donde 0 representa el smbolo blanco. La mquina comenzar su proceso situada sobre un smbolo "1" de una serie. La mquina de Turing copiar el nmero de smbolos "1" que encuentre hasta el primer blanco detrs de dicho smbolo blanco. Es decir, situada sobre el 1 situado en el extremo izquierdo, doblar el nmero de smbolos 1, con

un 0 en medio. As, si tenemos la entrada "111" devolver "1110111", con "1111" devolver "111101111", y sucesivamente. 11. COMO SE CODIFICA UNA MT Si ei es el estado actual, las cadenas 1 y 2 estn ubicadas en las celdas de la cinta de entrada ( 1 Precede a 2) y la cabeza de lectura/escritura est apuntando al primer smbolo de 2, se define una Configuracin de MT como: 1 ei 2 ei E; 1 , 2 C* Luego, se define una relacin de transicin | en el espacio de posibles configuraciones de la MT, como: 1ei 2 | 1 ej 2 1 , 2 , 1, 2 C* ; ei ,ej E 12. COMO DECIDE UNA MT DETERMINAR QUE ACCIN DEBE DE TOMAR La siguiente lista resume las diferencias entre una autmata finito y una mquina de Turing:

1. 2. 3. 4.

Una mquina de Turing puede escribir a una cinta y leer de ella La cabeza de la cinta puede moverse a la izquierda y a la derecha La cinta es infinita Los estados especiales para aceptar y rechazar tienen efecto inmediato

Consideremos una mquina de Turing M1 para probar la membreca en el lenguaje B = { w#w | w { 0, 1 } *}. Es Decir, queremos disear M1 que acepte la cadena si es miembro de B.

M1 realiza mltiples pases con la cabeza de la cinta sobre la cadena de entrada. En cada pase se compara un carcter a cada lado del smbolo #. Para tener control sobre los smbolos previamente comparados, M1 marca cada smbolo ya examinado. Si se marcan todos los smbolos, esto significa que todo se compar exitosamente y M1 va a un estado de aceptacin. Si se descubre alguna diferencia, M1 va a un estado de rechazo. El siguiente algoritmo resume el funcionamiento de M1.

M1 = Sobre la cadena de entrada w: 1. Barrer la entrada para asegurar que contiene slo un smbolo #. Si no, rechazar. Moverse en zig-zag sobre la cinta en las posiciones correspondientes a cada lado del smbolo # para verificar que estas posiciones contienen el mismo smbolo. Si no, rechazar. Marcar los smbolos segn se van verificando para seguir la pista de la correspondencia de smbolos. Cuando todos los smbolos a la izquierda del # se han marcado, verificar que no queden smbolos sin revisar. Si quedan smbolos, rechazar; de otro modo aceptar.

2.

3.

13. EXPLIQUE EN QUE CONSISTE LA CONSTRUCCIN MODULAR DE UNA MT Las maquinas de Turing adems de utilizarse para el reconocimiento de lenguajes, tambin se toman como modelos tericos de las computadoras. Se puede combinar dos mquinas de Turing permitiendo que compartan la misma cinta y, que cuando una termine su ejecucin, la otra empiece. El contenido de la cinta cuando comienza la ejecucin de la segunda mquina de Turing, est formado por todo lo que dej la primera mquina

14. DEFINA MATEMTICAMENTE CUALES SON LOS LENGUAJES QUE ACEPTA UNA MT La mquina de Turing es un modelo computacional publicado por la Sociedad Matemtica de Londres en 1936, en el cual se estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son decidirles, 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. La mquina de Turing es un modelo matemtico abstracto que formaliza el concepto de algoritmo.

15. DEFINA QUE ES EL PROBLEMA DE HILBERT El tercero encendido Lista de Hilbert de problemas matemticos, presentado adentro 1900, es el ms fcil. El problema se relaciona con la pregunta siguiente: dado cualquier es dos poliedros del igual volumen, es siempre posible cortar el primer en finito muchos pedazos polyhedral que se puedan volver a montar para rendir el segundo? De acuerdo con escrituras anteriores cerca Gauss, Hilbert conjetur que esto no es siempre posible. Esto fue confirmada dentro del ao por su estudiante Dehn mximo, que prob que la respuesta en general est no produciendo a contraejemplo.