APORTE DE TRABAJO COLABORATIVO

LINA CONSTANZA VANEGAS CALDERON C,C 1117521195

CODIGO CURSO: 301405_35

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD TELEMATICA FLORENCIA CAQUETA 2013

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

El lenguaje que acepta : q0 * x q2 z, q2 T }

L(M)={

Respuesta:

Recorra la mquina con al menos una cadena vlida. Respuesta:

Identifique una cadena que no sea vlida y justifquela porque. Respuesta:

El MT, estudiado hace parte de un quntuplo, MT =( Q, , , , q0, qf ) Q = es un conjunto de estados = es el alfabeto de entrada donde = es el alfabeto de la cinta doble y C q0 = es el estado inicial qf = es el estado aceptador Cadena no valida ( Z)

La cadena no es vlida, porque el recorrido no alcanza el estado de aceptacin, a travs del elemento Z, y por consiguiente no cumple el recorrido del autmata planteado en la mquina de Turing.

Identifique los componentes de la Mquina de Turing (descrbala). Respuesta: Una cinta de longitud infinita dividida en celdas (cada celda puede tener solamente un smbolo tomado de un diccionario de smbolos predefinido). Un control finito que tiene la capacidad de examinar el algn smbolo de alguna celda y tomar una decisin que depende del smbolo observado y del estado en que se encuentre el control finito.El control es finito porque puede estar solamente en alguno de los estados posibles, habiendo solamente un nmero finito de ellos.

Se supone un diccionario de smbolos finto.

Se puede observar la cinta de longitud infinita, que en este caso se encuentra en la primera celda de la cinta con el smbolo S1. Se debe entender a la mquina como un ser vivo que reacciona de maneras preestablecidas ante estmulos provenientes del exterior (en este caso la cinta). Un estmulo lo ser si ocurren dos sucesos: Que el control finito se encuentre en cierto estado E1 En la celda actual existe un smbolo S1

Entonces la mquina reaccionar a este estmulo que consistir en: Pasar a un nuevo estado (puede ser el mismo que tena antes). Escribir un nuevo smbolo en el lugar recin ledo (puede ser el mismo que el anterior). Mover el control finito una celda a la derecha (D) o a la izquierda (I).

2. Disee una MT que reconozca {0n1n : n1}

Cambie un 0 por una x (explique qu pasa con la mquina). Respuesta:

Se mueve hacia la derecha, pasando por encima de los ceros e Y , hasta llegar al primer 1, pero realizando el ejercicio en el autmata la cadena no es vlida. Cambie un 1 por una y (explique qu pasa con la mquina). Respuesta: Se mueve hacia la izquierda por encima de todos los Y y de todos los ceros hasta llegar a una X y se repite el proceso hasta que solo queden. Identifique en qu momento la mquina de Turing se detiene. Respuesta: Realice el ejercicio con la cadena que acepta {YYYYBB}

 Calcule la funcin La funcin se dene 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