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
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 sus tituya los 0’s por 1’s y los 1’s por 0’s).
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 q 0 y el estado final es q 2. Estado
Símbolo leído
Simbolo escrito
Movimiento
Estado Siguiente
1
0
R
0
1
R
0
0
L
1
1
L
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).
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 (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 detiene.
La máquina se detiene en el momento de que no encuentre más 0 o 1. Sea cual sea la configuración inicial de la cinta de 0 o 1.
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.
