UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

INGENIERIA DE SISTEMAS

AUTOMATA Y LENGUAJES FORMALES

301405_61

Momento Tres

Presentado Por

JESUS ESTEBAN JIMENEZ LARA

1120575492

PRESENTADO A

JAIME JOSE VALDES

TUTOR

SAN JOSE DEL GUAVIARE

OCTUBRE 19 DE 2014

Diseñe una MT que comporte como un transductor, es decir que genera una salida en la cinta: El Comportamiento de la máquina debe permitir que dada una palabra de entrada (en formato binario), esta sea sustituida en la salda pro símbolos intercambiados (Es decir, que sustituya los 0’s por 1’s y los 1’s por 0’s).

La solución es recorrer la cinta de Izquierda a Derecha, sustituyendo 1`s por 0`s y viceversa.

1. Identifique los componentes de la Máquina de Turing (descríbala).

En la Maquina de Turing M es un séptuplo M = (Q, Σ, Γ, δ, qs, □, F), donde Q es el conjunto de estados internos {qi | i es un entero no negativo} Σ es el alfabeto de entrada Γ es el conjunto finito de símbolos en el alfabeto de la cinta δ es la función de transición S es Q * Γn → subconjunto de Q * Γn * {L, S, R} n □ es el símbolo en blanco o vacío. qs (es miembro del Q) es el estado inicial F (es un subconjunto de Q) es el conjunto de estados finales.Σ={0,1}Q={q0, q1, q2, q3}Con las transiciones que se pueden ver, su estado inicial es q0 y el estado final es q2.

EstadoSímbolo

leídoSímbolo escrito

Mov.Estado

sig.

1 0

0 1

0 0

1 1

2. Que significa el comportamiento de una máquina de Turing como transductor. Asocie lo que interprete con el diseño que realiza (evalúe si es transductor o no y por qué).

El comportamiento como transductor en una máquina de Turing significa que genera una salida en la cinta, según el ejercicio realizado es transductor porque se exige que termine en un estado final.

3. Diséñela en un Diagrama de Moore.

4. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta como en la secuencia de entrada

5. Identifique una cadena que no sea válida y justifíquela porque. (recorriendo cinta y datos de entrada).Todas las cadenas en numero binario son aceptadas (01) solo es rechazada si incluimos un numero diferente a estos.

6. Ejecute el RunTest a la cadena aceptada (muéstrela en la captura de imagen que le genera JFLAP asociada a cada transición para el trabajo). El RunTest iplica identificar cada iteracción en la que se muestre el carácter leído, e contenido de la cinta, lo que falta por leer.

7. Identifique en que momento la máquina se detieneLa maquina se detiene en el momento de que no encuentre mas 0`s o 1`s. Sea cual sea la configuración inicial de la cinta de 0`s o 1`s.

8. Visualice las salidas (como transductor) para 5 cadenas válidas en el simulador JFLAP.

9. Identifique si el diseño de la Máquina de Turing obedece a un complemento a 1 de un número binario. Justifique su respuesta y documéntela. (tenga en cuenta citas y referencias de autores). No se limite a copiar definiciones.