TRABAJO COLABORATIVO 3

TUTOR: ING. JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD INGENIERIA DE SISTEMAS AUTOMATAS Y LENGUAJES FORMALES

INTRODUCCIN La mquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo Oncomputable numbers, with an application to the Entscheidungs problema, publicado por la Sociedad Matemtica de Londres, en el cual 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 construy un modelo formal de computador, la mquina de Turing, y demostr que existan problemas que una mquinano poda resolver. La mquina de Turing es un modelo matemtico abstracto que formaliza el concepto de algoritmo. Una mquina de Turing con una sola cinta puede ser definida como una 6-tupla, donde Qes un conjunto finito de estados es un conjunto finito de smbolos de cinta, el alfabeto de cinta

1. Dado el alfabeto ={x,y} de la siguiente Mquina de Tutring, determine:

El lenguaje que acepta Recorra la mquina con al menos una cadena vlida. Identifique una cadena que no sea vlida y justifquela porque. Identifique los componentes de la Mquina de Turing (descrbala). DESARROLLO

Lenguaje que acepta : a Xxa xzxxa

Recorra la mquina con al menos una cadena vlida.

Identifique una cadena que no sea vlida y justifquela porque.

Cadena RRRR No es valida porque el autmata reconoce solo en lenguaje {x,y, } No es valido porque no sigue la secuencia de la cinta del autmata Identifique los componentes de la Mquina de Turing (descrbala).

2 . Disee una MT que reconozca {

: n 1}

Cambie un 0 por una x (explique qu pasa con la mquina). Cambie un 1 por una y (explique qu pasa con la mquina). Identifique en qu momento la mquina de Turing se detiene. Calcule la funcin Grafquela e identifique sus elementos. Identifique la funcin de transicin.

La funcin se define as: (q0, 0) = (q1, X, R) (q1, 0) = (q1, 0, R) (q1, X) = (q1, X, R) (q1, 1) = (q2, Y, L) (q2, Y) = (q2, Y, L) (q2, 0) = (q2, 0, L) (q2, X) = (q0, X, R) (q0, Y) = (q3, Y, R) (q3, Y) = (q3, Y, R) (q3, B) = (q4, B, R)

Sea T = {q4} sea w = 1100 q00011 - Xq111 - X0q111 - Xq20Y 1 -q2X0Y 1 - Xq00Y 1 - XXq1Y 1 -XXY q11 - XXq2Y Y - Xq2XY Y - XXq0Y Y - XXY q3Y -XXY Y q3B - XXY Y Bq4B

3. Construya una MT que acepte el Lenguaje (represntela L = {aibici : i = 0} sobre = {a,b,c}

Se cambia la a por una x movindose a la derecha. (explique qu pasa con la mquina). Represente los movimientos en la tabla de transiciones para MT. Luego se mueve a la izquierda pasando por encima de las bs (bes) (explique qu pasa con la mquina). Represente los movimientos en la tabla de transiciones para MT. Identifique en qu momento la mquina de Turing se detiene. Calcule la funcin

1. Se cambia la a por una X y se mueve hacia la derecha pasando por encima de todas las a0s e Y s, hasta llegar a la primera b, cambia la primera b por una Y, se mueve a la derecha pasando por encima de las bs y Zs y luego encuentra la primera c y la cambia por Z y se mueve a la izquierda.

Luego se mueva a la izquierda pasando por encima de bs, Y s, as, hasta encontrar la X la reemplaza por una X y repite el proceso anterior, cuando la maquina reemplaza la cadena X, Y y Zs reconoce la cadena vaca y busca el estado de aceptacin.

4. Construir una MT que reconozca L= 01* + 10*

Para la Mquina M = (Q, , , q0 , T , B , Q = {q0, q1} {0, 1, B} Estado inicial [q0, B] Estado final [q1, B] La funcin de transicin esta dad por: ([q0, B], 0) = ([q1, 0], 0,) ([q1, 0], 1) = ([q1, 0], 1, D) ([q1, 0], B) = ([q1, B], B, D) ([q0, B], 1) = ([q1, 1], 1, D) ([q1, 1], 0) = ([q1, 1], 0, D) ([q1, 1], B) = ([q1, B], B, D)

CADENAS VALIDAS 01B 10B 0111B

5. Para la siguiente Mquina de Turing (MT):

Identifique que pasa cuando inicia con la cadena yyxyxx (demustrelo con el recorrido de la misma) Plsmela en el simulador (debe entregar el archivo generado por el simulador), Las imgenes capturadas van inmersas en el desarrollo del trabajo Con base en esa MT, preponga una nueva mquina que se comporte diferente cuando inicia con la cadena yyxyxx

Con la cadena yyxyxx el autmata llega hasta el estado q0 o inicial .Con base en esa MT, preponga una nueva mquina que se comporte diferente cuando inicia con la cadena yyxyxx

6. Considere la mquina de Turing de la figura con el alfabeto {x,y,z} e indique que tipo de cadenas decide el lenguaje que acepta.

Dentro del RunTest y el recorrido de la cinta, Ubique en su cinta la secuencia xy y que sea sustituida por zz. Identifique cuando se detiene la mquina cuando hace esta operacin Plsmela en el simulador. Las imgenes capturadas van inmersas en el desarrollo del trabajo. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen para el trabajo).

En esta imagen se puede observar que la MT se detiene en q3 y no llega a su final puesto que se le dio la cadena de caracteres xy (vaco), pues que los primeros caracteres se van por la cadena R y el (vaco) se tiende a ir por la cadena L esto hace que no contine la Maquina de Turing.

CONCLUSION

La mquina de Turng es una mquina mediante la cual es posible la categorizacin de problemas computacionales mediante el anlisis de complejidad de algoritmos, de acuerdo a su comportamiento.

BIBLIOGRAFIA:

De Wikipedia, la enciclopedia libreSaltar a navegacin, bsqueda Feynman, Richard (1996). Conferencias sobre computacin, graficromo. ISBN 84-8432-444-3. Consultado el 11 de Julio del 2010. Viso, Elisa (2008). Introduccin a la teora de la computacin. ISBN 978-97032-5415-6.Consultado el 11 de Julio del 2010. De Castro, Rodrigo (2004). Teoria de la computacion : lenguajes, automatas, gramticas .Consultado el 15 de Julio del 2010. on computable numbers,with an application to the entscheidungsproblem (en espaol).Consultado el 15 de Julio de 2010. Variantes de una Mquina de Turing (en espaol). Consultado el 11 de Julio de 2010. Obtenido de "http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing"Categoras: Mquinas de Turing | Gramtica generativa