AUTOMATAS Y LENGUAJES FORMALES 2013 I

ACT. 14 TRABAJO COLABORATIVO 3

PRESENTADO POR:

TUTOR: JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA INGIENERIA ELECTRONICA CODIGO: 301405-69

BARRANQUILLA COLOMBIA 2013

INTRODUCCION 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 mquina no 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 7-tupla, donde Q es un conjunto finito de estados, el alfabeto de cinta. es un conjunto finito de smbolos de cinta,

ACTIVIDADES A DESARROLLAR: 1. Dado el alfabeto ={x,y} de la siguiente Mquina de Turing, determine:

El lenguaje que acepta. El lenguaje que acepta:

a a a

Como se demuestra en la imagen.

Recorra la mquina con al menos una cadena vlida.

Identifique una cadena que no sea vlida y justifquela porque.

RRRR No es vlida porque el autmata solo recorre el lenguaje xy No es vlido 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 {0n 1n : 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 asi 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

4. Construir una MT que reconozca

L = 01* + = 10*
Para la Mquina M=(Q,,,q0, T,B,

Q = { q 0 , q1 } x {0,1,B} Estado inicial [q 0 , B] Estado final [q1 , B] La funcin de transicin est dada por:

[q 0 , B] , 0 ) = ([q1 , 0], 0 , D) [q 0 , 0] , 1 ) = ([q1 , 0], 1 , D) [q 0 , 0] , B ) = ([q1 , B], B , D) [q 0 , B] , 1 ) = ([q1 , 1], 1 , D) [q1 , 1] , 0 ) = ([q 1 , 1], 0 , D) [q1 , 1] , B ) = ([q 1 , B], B , D)

Cadenas Aceptadas: 10B 01B 0111B 1000B

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 la cadena yyxyxx el autmata hace un recorrido por los estados q0, q1,q2,q0, llegando hasta el estado q1 nuevamente. 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) ZZ, puesto que los primeros caracteres se van por la cadena R y el (vaco) se tiende a ir por la cadena L Y Z no tine un camino definido esto hace que no contine la Maquina de Turing.

CONCLUSIONES

Con la realizacin de cada ejercicio se logra poner en prctica la temtica estudiada durante la tercera unidad, llevndonos as a comprender ms claramente y de manera prctica el funcionamiento de la mquina de turing, tambin se logra adquirir destrezas en el software de simulacin que utilizamos para la realizacin de estos ejercicios.

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 Mayo del 2013. Viso, Elisa (2008). Introduccin a la teora de la computacin. ISBN 978-970-325415-6.Consultado el 11 de Mayo del 2013. De Castro, Rodrigo (2004). Teora de la computacin: lenguajes, autmatas, gramticas .Consultado el 18 de Mayo del 2013. on computable numbers, with an application to the entscheidungsproblem (enespaol).Consultado el 15 de Julio de 2010.Variantes de una Mquina de Turing (en espaol). Consultado el 19 de Mayo del 2013. Obtenido de"http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing"Categoras: Mquinas de Turing | Gramtica generativa