AUTOMATAS Y LENGUAJES FORMALES

301405_27

Momento Tres

Presentado Por
JUAN CAMILO VANEGAS GONZALEZ
1.112.772.148

PRESENTADO A
CARLOS ALBERTO AMAYA TARAZONA
TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

COLOMBIA
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).
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

Simbolo escrito
0
1
0
1

Movimiento
R
R
L
L

Estado Siguiente

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).

Las cadenas binarias (0 y 1) son aceptadas si y solo si se mantienen en ese

rango al introducir un numero diferente a 0 o 1 es rechazada.
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 mquina se detiene en el momento de que no encuentre ms 0 o 1. Sea

cual sea la configuracin inicial de la cinta de 0 o 1.

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.