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

Disee una MT que comporte como un transductor, es decir que genera una salida en la cinta: El
Comportamiento de la mquina debe permitir que dada una palabra de entrada (en formato
binario), esta sea sustituida en la salda pro smbolos intercambiados (Es decir, que sustituya los
0s por 1s y los 1s por 0s).

La solucin es recorrer la cinta de Izquierda a Derecha, sustituyendo 1`s por 0`s y viceversa.
1. Identifique los componentes de la Mquina de Turing (descrbala).
En la Maquina de Turing M es un sptuplo 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 smbolos en el alfabeto de la cinta
es la funcin de transicin
S es Q * n subconjunto de Q * n * {L, S, R} n
es el smbolo en blanco o vaco.
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.

Estado

Smbolo
ledo
1
0
0
1

Smbolo
escrito
0
1
0
1

Mov.

Estado
sig.

2. Que significa el comportamiento de una mquina de Turing como transductor. Asocie lo

que interprete con el diseo que realiza (evale si es transductor o no y por qu).
El comportamiento como transductor en una mquina de Turing significa que genera una
salida en la cinta, segn el ejercicio realizado es transductor porque se exige que termine
en un estado final.

3. Disela en un Diagrama de Moore.

4. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada

5. Identifique una cadena que no sea vlida y justifquela 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 (mustrela en la captura de imagen que le

genera JFLAP asociada a cada transicin para el trabajo). El RunTest iplica identificar
cada iteraccin en la que se muestre el carcter ledo, e contenido de la cinta, lo que
falta por leer.

7. Identifique en que momento la mquina se detiene

La maquina se detiene en el momento de que no encuentre mas 0`s o 1`s. Sea cual sea la
configuracin inicial de la cinta de 0`s o 1`s.
8. Visualice las salidas (como transductor) para 5 cadenas vlidas en el simulador JFLAP.

9. Identifique si el diseo de la Mquina de Turing obedece a un complemento a 1 de un

nmero binario. Justifique su respuesta y documntela. (tenga en cuenta citas y
referencias de autores). No se limite a copiar definiciones.