UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FACULTAD DE CIENCIAS BASICAS TECNOLOGÍA E INGENIERÍA

AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 3 FASE 4 – DEBATIR Y DESARROLLAR LOS EJERCICIOS

PLANTEADOS SOBRE MAQUINA DE TURING

TUTOR:
CESAR JIMENEZ

PRESENTADO POR:
Oscar Javier Delgado – Cód. 80217860
Javier Alexander Anaya Moreno - Cód. 80188959
Alejandro Tirano Bernate- Cod 80243722

301405_14

INGENIERIA DE SISTEMAS
CEAD JOSE ACEVEDO Y GOMEZ
BOGOTA D.C NOVIEMBRE DE 2018
 DESARROLLO DE LA ACTIVIDAD

Actividad 1: Máquinas de Turing.

EJERCICIO A
TRABAJAR

Caracterizació La máquina de Turing consta de un cabezal

n de la lector/escritor y una cinta infinita en la que el cabezal
máquina de lee el contenido, borra el contenido anterior y escribe
turing un nuevo valor. Las operaciones que se pueden
realizar en esta máquina se limitan a:

Avanzar el cabezal lector/escritor hacia la derecha.

avanzar el cabezal lector/escritor hacia la izquierda.
El cómputo es determinado a partir de una tabla de
estados de la forma:

(estado, valor) (nuevo estado, nuevo valor, dirección)

Esta tabla toma como parámetros el estado actual de

la máquina y el carácter leído de la cinta, dando la
dirección para mover el cabezal, el nuevo estado de la
máquina y el valor a ser escrito en la cinta.
Procedimiento
de paso a paso Gráfico
del recorrido
de una cadena

1 1 0 0 0 1 1 0 0 1

- Paso 1: Inicialmente, la cabeza señala el primer 1.

Lo cambia por 1 y se desplaza a la derecha en busca
del primer 1 para cambiarlo por 1:

1 1 0 0 0 1 1 0 0 1

δ(q0,1) = (q0,1, R)
δ(q0,0) = (q0,0, R)

1 1 0 0 0 1 1 0 0 1
- Paso 2: Vuelve y hace la lectura del 1 y pasa a la
siguiente casilla que es el 0

1 1 0 0 0 1 1 0 0 1

Es decir, mientras exista un estado en 1’s y 0’s, se

mantiene en el estado q0, al existir un espacio se
cambia al estado q1.
- Paso 3: una vez termine la lectura del 0 continua a
la siguiente casilla del 0

1 1 0 0 0 1 1 0 0 1

δ(q0, )=(q1, ,L)

- Paso 4: Continua la siguiente casilla una vez termina
el 0.

1 1 0 0 0 1 1 0 0 1

- Paso 5: Continua la siguiente casilla una vez termina

el 0, pasa a la siguiente casilla que es el 1.

1 1 0 0 0 1 1 0 0 1

- Paso 6: Continua la siguiente casilla una vez termina

el 1, pasa a la siguiente casilla que es el 1.

1 1 0 0 0 1 1 0 0 1

- Paso 7: Continua la siguiente casilla una vez termina

el 1, pasa a la siguiente casilla que es el 1.

1 1 0 0 0 1 1 0 0 1

- Paso 8: Continua la siguiente casilla una vez termina

el 0, pasa a la siguiente casilla que es el 0.

1 1 0 0 0 1 1 0 0 1

- Paso 9: Continua la siguiente casilla una vez termina

el 0, pasa a la siguiente casilla que es el 1.
 1 1 0 0 0 1 1 0 0 1

- Paso 10: Continua la siguiente casilla una vez termina

el 1, al encontrar el espacio en blanco pasa al siguiente
estado q1:

1 1 0 0 0 1 1 0 0 1

- Paso 11: Continua la siguiente casilla una vez termina

realice la lectura, pasa a la siguiente casilla hacia el
lado izquierdo.

1 1 0 0 0 1 1 0 0 1

- Paso 12: Continua la siguiente casilla una vez termina

realice la lectura del 1 pasa al siguiente estado q2 y
pasa a la casilla vacía.

1 1 0 0 0 1 1 0 0 1

- Paso 13: en el estado q2 finaliza el proceso.

Practicar y
verificar lo
aprendido
EJERCICIO A Ejercicio 5
TRABAJAR
Caracterizació Máquina de Turing
n de la MT= (K, ∑, T, 𝛿, S, B, F)
máquina de K= {q0, q1, q2, q4}
turing ∑ = {0, 1} Alfabeto de entrada
𝑇 = {□, 0, 1} Alfabeto de la pila
S = {q0} Estado inicial
F = {q4} Subconjunto de estados finales
𝛿: {q0, q1}x{0, 1, □ }--->{q0, q1}x{□,0,1}x{R, L} Función de transición
Diferencias y similitudes de las máquinas reconocedoras y traductoras.

Reconocedora
Reconoce o acepta un lenguaje
L cinta realizando una cierta
Acepta el lenguaje L si dada una
entrada en la cinta la máquina
siempre se detiene y lo hace en
un estado final si la entrada
pertenece al lenguaje
Traductora
Modifica el contenido de la
función.
Si la entrada está bien formada,
debe terminar en un estado
final.
Si la entrada no está bien
formada, debe terminar en un
estado no final.

Procedimiento Paso 1. Entrada 00011110000

de paso a paso
El lector se ubica en el primer símbolo del código.
del recorrido
de una cadena 0 0 0 1 1 1 1 0 0 0 0

Paso 1. Entrada 00011110000

Paso 2. Entra el 0 y la función de transición sigue en 0 y corre una

posición a la derecha

0 0 0 1 1 1 1 0 0 0 0
Paso 3. Entra el 0 y la función de transición sigue en 0 y corre una
posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 4. entra el 1 y la función de transición lo cambia por 1

y corre una posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 5. entra el 1 y la función de transición lo cambia por 1 y corre una

posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0
Paso 6. entra el 1 y la función de transición lo cambia por 1 y corre una
posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 7. entra el 1 y la función de transición lo cambia por 1 y corre una

posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 8. Entra el 0 y la función de transición lo cambia por 1 y corre una

posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0
Paso 9. Entra el 0 y la función de transición sigue en 0 y corre una
posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 10. Entra el 0 y la función de transición sigue en 0 y corre una

posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0

Paso 11. Entra el 0 y la función de transición sigue en 0 y corre una

posición a la derecha.

0 0 0 1 1 1 1 0 0 0 0
Paso 12. Pasa al estado q0 entra el símbolo [ ] y la función de
transición lo cambia por [ ] y corre una posición a la izquierda.

0 0 0 1 1 1 1 0 0 0 0

Paso 13. Pasa al estado q1 entra el 0 y la función de transición lo

cambia por 0 y corre una posición a la izquierda.

0 0 0 1 1 1 1 0 0 0 0

Paso 14. Pasa al estado q2 entra el 0 y la función de transición lo

cambia por 0 y corre una posición a la izquierda

0 0 0 1 1 1 1 0 0 0 1
Paso 15. En el estado q2 entra el 0 y la función de transición lo cambia
por 0 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 16. En el estado q2 entra el 0 y la función de transición lo cambia

por 0 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 17. En el estado q2 entra el 1 y la función de transición lo cambia

por 1 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1
Paso 18. En el estado q2 entra el 1 y la función de transición lo cambia
por 1 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 19. En el estado q2 entra el 1 y la función de transición lo cambia

por 1 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 20. En el estado q2 entra el 1 y la función de transición lo cambia

por 1 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1
Paso 21. En el estado q2 entra el 0 y la función de transición lo cambia
por 0 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 22. En el estado q2 entra el 0 y la función de transición lo cambia

por 0 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 23. En el estado q2 entra el 0 y la función de transición lo cambia

por 0 y corre una posición izquierda.

0 0 0 1 1 1 1 0 0 0 1
 Paso 24. En el estado q0 entra el símbolo [ ] y la función de transición
lo cambia por y corre una posición a la izquierda.

0 0 0 1 1 1 1 0 0 0 1

Paso 25. Q4. entra el [ ] y la función de transición lo cambia por un 0

y corre una posición a la derecha.

0 0 0 1 1 1 1 0 0 0 1

Y finaliza la máquina.

Practicar y
verificar lo
aprendido
 FASE COLABORATIVA

Actividad 2: Teniendo en cuenta la siguiente tabla de transición de una máquina

de Mealy, realice:

f Entrada G Entrada
Estado 0 1 Estado 0 1
q0 q1 q0 q0 1 0
q1 q3 q0 q1 1 1
q2 q1 q2 q2 0 1
q3 q2 q1 q3 0 1

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

Los componentes de la máquina de Mealy son 6-tupla: M = (Q, Σ, Г, q0, δ, β)
En donde:
Q = 4 Estados {q0, q1, q2, q3}
Σ =Alfabeto de entrada {0,1}
Г = Alfabeto de salida {0,1}
q0= Estado inicial que pertenece a Q
δ = Función de transición
β = Función de salida

Diséñela en diagrama (Máquina de Mealy).

Recorra la máquina con al menos una cadena válida explicando lo sucedido
tanto en la cinta como en la secuencia de entrada.
A continuación, observaremos el recorrido paso a paso de la cadena 1001001011 en
donde probaremos que nuestra maquina la aceptara como válida. En la siguiente
imagen nos encontramos con nuestro maquina en estado inicial, eso quiere decir sin
haber recibido el primer carácter de la cadena.

Al ingresar nuestro primer símbolo del alfabeto en el estado q0 el cual es 1, la Maquina

valida la información y da un símbolo del alfabeto de salida que para este caso es 0,
el cual se ve reflejado en la cinta de transición y nos quedamos en el mismo estado
q0, como lo indica la transición.
Al ingresar nuestro símbolo 0, la maquina vuelve a validar la condición y en esta
ocasión nos trasladamos al estado q1 y nos genera una respuesta de salida con el
símbolo 1, el cual se ve reflejado en la cinta de transición.

Seguimos ingresando más símbolos de nuestra cadena, ahora se ingresa

nuevamente otro 0 el cual nos permite pasar al estado q3 y con un símbolo de salida
1; el cual se almacena en la cinta de validación.

Seguidamente se ingresa el símbolo 1 el cual es validado y nos desplazamos al

estado q1 como lo indica la transición y nos genera un símbolo de salida de 1.
Ingresamos otro 0 de nuestra cadena a validar y esto nos permite retornar al estado
q3 tal cual como lo indica el proceso de transición de nuestro diagrama, retornando
un valor de salida de 1 el cual se observa en la cinta

Luego a nuestra maquina ingresamos un nuevo símbolo el cual es 0, aquí pasamos

del estado q3 al estado q2 según nuestro proceso de transición; así mismo, nos genera
un símbolo de salida de 0.

Estando en el estado q2 nuestra maquina detecta un nuevo símbolo de entrada el cual

es 1, por lo tanto, al ser validado y siguiendo las reglas de nuestras transiciones nos
quedamos nuevamente en el mismo estado actual, pero con el símbolo de entrada se
genera un símbolo de salida que es 1.
Para pasar del estado q2 al estado q1 como lo indica la transición, la maquina recibe
como símbolo de entrada el 0 y este a su vez generaría un símbolo de salida de 0.

Al ingresar el símbolo 1 de nuestro alfabeto de entrada, la maquina se desplaza al

estado q0, generando un símbolo de salida de 1; el cual cómo podemos evidenciar se
almacena en la cinta y de esta manera se nos está generando otra cadena y esto se
debe a que por cada símbolo de entrada él nos da un símbolo de salida diferente o
igual al de entrada.
Por último, cuando la máquina de Mealy detecta que ha ingresado el ultimo 1 de la
cadena a validar, esta genera un carácter de salida el cual es 0 y al no existir más
caracteres la cadena se valida y es aceptada; quedando en la cinta la siguiente
cadena de salida 0110101010.

Realice la conversión paso a paso de máquina de Mealy a máquina de

Moore.

Se coge la tabla inicial de la máquina de Mealy que es la siguiente:

1.Entrada
f G Entrada
Estado 0 1 Estado 0 1
q0 q1 q0 q0 1 0
q1 q3 q0 q1 1 1
q2 q1 q2 q2 0 1
q3 q2 q1 q3 0 1
-
Se unifica en una sola tabla las entradas, estados y salidas:
0 1
E S S S
q0 q1 1 q0 0
q1 q3 1 q0 1
q2 q1 0 q2 1
q3 q2 0 q1 1

Se genera la nueva tabla de estados de acuerdo con los estados y la salida quedando de la
siguiente manera:

Estados
q00
q01
q10
q11
q20
q21
q31

Se genera la nueva tabla de transición, con apoyo de la tabla inicial:

0 1
Estados Estado Salida Estado Salida
Final Final
q00 q11 1 q00 0
q01 q11 1 q00 0
q10 q31 1 q01 1
q11 q31 1 q01 1
q20 q10 0 q21 1
q21 q20 0 q21 1
q31 q20 0 q11 1

De acuerdo a la nueva tabla se genera el nuevo diseño de la máquina de Moore

 Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.
Máquina de Mealy
La salida depende tanto de la
situación actual y entrada
La máquina de Mealy ejecuta más
rápido a las entradas
La salida cambia en los extremos de
reloj
Presenta menos estados que la
máquina de Moore
Las salidas son función del estado y
de las entradas
Presenta un circuito sumador
Maquina d Moore
La salida solo depende de la situación
actual
Necesita más lógica para decodificar
las salidas
El cambio de entrada causa cambio en
la salida debido a la lógica
Presenta más estados que la máquina
de Mealy
Las salidas son función únicamente del
estado
Presenta un sumador serial

Actividad 3: Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato

recibido en el par de bits codificados 2, 5 y 8 con distancia de haming. Teniendo en
cuenta que el dato de entrada es: 00110100

TABLA DE DATOS, ESTADOS Y DATOS CODIFICADOS

Bit (posición dada en el que entran asociados a K

8 7 6 5 4 3 2 1
Datos 0 0 1 1 0 1 0 0
Estado 00 01 11 10 01 10 00 00
Presente
Codificado 11 10 10 00 01 11 00 00
Recibido 01 10 10 10 01 11 10 00
Realice el diagrama de árbol. (Complete la tabla)

00. 01. 11
00. 01. 00.
00. 11 00. 10.
00. 10 10 01.
Codificados 0 10
Estados 1 11

Realice el diagrama de estados para ese dato de entrada.

Identifique en el diagrama de Trellis la ruta correcta (identificando

salidas codificadas).

Diagrama de Trellis
00. 00. 10 01. 10 11 01. 00.

00.

01.

10

11
 Diagrama de Viterbi
00. 00. 11
00. 10. 11 01. 10 10 10 01.

00.
00. 00. 11
01.
01.
10 11 10
10
11
 BIBLIOGRAFIA

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=
318032&lang=es&site=eds-ive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp.

1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566
114&ppg=10

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y

lenguajes formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498
456&ppg=6

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación

de programas. (pp. 7 - 27). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201
616&ppg=12

Bonilla, L. [Luis] (2018, mayo 23). Códigos Convolucionales Tellis y Viterbi.

[Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=Oe9WEAOLeyc&t=1218s