AUTÓMATAS Y LENGUAJES FORMALES

VIVIVANA CAROLINA RODRIGUEZ MARTINEZ

Código: 1057586343
Julio 2019.

Tutor: ROLANDO FABIAN JUNCO

Ingeniero

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Tunja – Boyacá

Curso: Autómatas y Lenguajes Formales

GRUPO: 22
 EJERCICIOS DE LA FASE 4
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio asignado en la siguiente
tabla:

Último dígito de la Ejercicio

Cédula o TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Maquinas de Turing

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen
TRABAJAR

Caracterización En este espacio se realiza:

de la máquina
de Turing Una máquina de Turing con una sola cinta puede definirse como una 7-tupla

donde: M=(Q,∑,, ,q0,B,F,)

Q=es un conjunto finito de estados. q0,q1

∑= alfabeto. a,b,c, 

=es un conjunto finito de símbolos de cinta, denominado alfabeto de

cinta(∑⊆) , 

q0= estado inicial. q0

B= es el símbolo blanco (el símbolo B no puede hacer parte de Σ) aparece en

todas las casillas excepto en aquellas que contienen los símbolos de entrada,

F= conjunto de estados de aceptación o finales. q1

- Mediante la definición formal explicar las características de la máquina de

Turing.
 Una cinta de longitud infinita dividida en celdas (cada celda puede
tener solamente un símbolo tomado de un diccionario de símbolos
predefinido).
 Un control finito que tiene la capacidad de examinar el algún
símbolo de alguna celda y tomar una decisión que depende del
símbolo observado y del estado en que se encuentre el control
finito.
 El control es finito porque puede estar solamente en alguno de los
estados posibles, habiendo solamente un número finito de ellos.
 Se supone un diccionario de símbolos finto.
  La entrada que tiene la cinta antes de que comience el cálculo debe
consistir en un número finito de símbolos.
 La cinta de la máquina tiene una de longitud ilimitada.
 El cabezal de lectura y escritura puede ser programable.
 La máquina de Turing es capaz de hacer seis tipos de operaciones
fundamentales: leer, escribir, mover hacia la izquierda, mover
hacia la derecha, cambiar de estado y detenerse.
 Tiene la capacidad de computar cualquier cosa que cualquier
computadora moderna pueda calcular.
 Está formada por un alfabeto de entrada y uno de salida y por un
símbolo especial llamado blanco.
 Una cinta de longitud infinita dividida en celdas (cada celda
puede tener solamente un símbolo tomado de un diccionario de
símbolos predefinido).
 Un control finito que tiene la capacidad de examinar el algún
símbolo de alguna celda y tomar una decisión que depende del
símbolo observado y del estado en que se encuentre el control
finito.

El control es finito porque puede estar solamente en alguno de los

estados posibles, habiendo solamente un número finito de ellos.

 Se supone un diccionario de símbolos finto.

- Realizar un cuadro donde explique las diferencias y similitudes de las

máquinas reconocedoras y Traductoras.
Reconocedor Transductor
Una maquina reconocedora Una maquina traductora N
es aquella que tiene estados es aquella que recibe una
finales llamados estados de palabra de entrada X y
aceptación y estados de produce como salida otra
rechazo palabra Y

Decidir si la cadena es válida Transformar la entrada

o no, según algún criterio Debe acabar en estado no
Si la palabra no pertenece al final para indicar el error en
lenguaje no se exige a la MT la entrada
que se pare
 Una Máquina de Turing
RECONOCE un lenguaje L,
si para cualquier entrada en
la cinta, w, se acaba parando,
y lo hace en un estado final
si y sólo si
Realiza un cálculo:
- 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

Una Máquina de Turing

ACEPTA un lenguaje L si,
al analizar una palabra w, se
para en un estado final si y
sólo si.

Procedimiento Realice de manera detallada y grafica el procedimiento paso a paso del

de paso a paso recorrido de una cadena (La cadena la selecciona el estudiante, debe contener
del recorrido como mínimo 10 caracteres) en la máquina de Turing. Describir cómo
de una cadena funciona el almacenamiento mediante el uso de las cintas, etc.

Realizar la representación utilizando flechas, conexiones, diagramas que

permitan ver el funcionamiento de la máquina de Turing transición por
transición
a a a b b b c c c a a

Tabla transición
δ(q0,a)=(q0,1,R)
δ(q0,b)=(q0,1,R)
δ(q0,c)=(q0,1,R)
δ(q0,)=(q0,,S)

- Paso 1: Estando en el estado q0 la cabeza de la MT señala el número 1 en la

cinta y lee R y sigue en el mismo estado q0 δ(q0,a)=(q0,1,R)
1 a a b b b c c c a a
 - Paso 2: estando en el estado q0 la cabeza de la MT señala el número 1 en la
cinta y lee R y sigue en el mismo estado q0
δ (q0, b) =(q0,1,R)
1 1 a b b b c c c a a

- Paso 3: estando en el estado q0 la cabeza de la MT señala el número 1 en la

cinta y lee R y sigue en el mismo estado q0
δ(q0,c)=(q0,1,R)
1 1 1 b b b c c c c c

- Paso 4: estando en el estado q0 la cabeza de la MT señal estado vacío en la

cinta y lee S y pasa al estado q1
δ(q0,)=(q0,,S)
1 1 1 1 1 1 1 1 1

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo menos

verificar lo cinco cadenas válidas y 5 cadenas rechazadas por la máquina. En este espacio
aprendido adjunta la imagen.

Paso 1. cuando lee aaaaaaaaaa y va corriendo a la derecha R y queda en su

mismo estado q0
Paso 2. cuando lee bbbbbbb va corriendo a la derecha R en su mismo estado
Paso 3.cuando lee cccccccccc va corriendo a la derecha R en su mismo
estado q0
Paso 4. Finalmente cuando q0 vacio va a q1 vacio va a la derecha.
Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a paso,

no se tendrá en cuenta las respuestas o simulaciones en JFlap o VAS.
Actividad 2:

Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy,

realice:
f Entrada
Estado 0 1
q0 q1 q0
q1 q3 q0
q2 q1 q2
q3 q2 q1

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

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

Los componentes de la máquina de Mealy son 7-tupla: M =

(Q, Σ, Г, q0, δ, B,F)

En donde:
Q = 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
 F= estado aceptación

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

3. Recorra la máquina con al menos una cadena válida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada.
Cuando se ingresa 0 el arranca e q0
Cuando se ingresa 1 pasa a q1
Cuando le damos 1 se devuelve a q0
Cuando ingresamos 11 se va a q3
Cuando ingresamos 0110110 se va a q2
4. Realice la conversión paso a paso de máquina de Mealy a máquina de
Moore.
 5. Explique cinco características de la Máquina de Mealy y encuentre
cinco diferencias con las Máquinas de Moore.
Características de la Maquina de Mealy:
 Es una máquina de estados finita.
 Las salidas están determinadas por el estado actual y la entrada.
 En el diagrama de estados se incluye una señal de salida para cada
arista de transición.
 Para cada máquina de Mealy hay una máquina de Moore equivalente
y viceversa.
 Las máquinas de Mealy suministran un modelo matemático
rudimentario para las máquinas de cifrado.
Diferencias de máquina de mealy con máquina de moore

Maquina De Mealy Maquina De Moore

La salida depende del estado
actual y de las entradas.
Por lo regular, tiene menos
números de estados.
Es menos estable.
Para probar un circuito,
primero se hace el cambio en
la entrada X y después se da el
pulso del reloj.
Las salidas se encuentran en la
arista.
La salida depende solo del
estado actual.
El número de estados es mayo
o igual a la máquina de Mealy.
Es más estable.
Para probar un circuito,
primero se da pulso de reloj y
después se hace el cambio en
la entrada X.
Las salidas se encuentran
dentro del estado
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: 11110101

1. Realice el diagrama de árbol. (Complete la tabla)

código convolucional (n,k,m) R=K/n R=1/2

k= número de bits de la palabra (entrada)
n= número de bits de la palabra codificada(salida)
m= memoria de código o longitud restringida
2. Realice el diagrama de estados para ese dato de entrada.

bit por orden de entrada

8 7 6 5 4 3 2 1
DATOS 1 1 1 1 0 1 0 1
ESTADO
PRESENTE 11 11 11 10 01 10 01 10
CODIFICADO 11 11 10 10 10 10 01 10
RECIBIDO 01 00 10 00 10 01 10 10

2. Identifique en el diagrama de Trellis la ruta correcta (identificando

salidas codificadas).
3. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
1. La máquina de Turing creada en el ejemplo es una maquina es:
A. Máquina transductora
B. Maquina reconocedora
C. Maquina calculadora
D. Máquina estabilizadora

2. En la máquina de Turing creada de ejemplo el símbolo que representa la cita es:

A. 1
B. A
C. L
D. a

3. En la máquina de Turing creada de ejemplo la cadena que se ejecuta es:

A. aa
B. aab
C. baa
D. ab

4. En el ejercicio desarrollado es el video de Códigos Convolucionales Tellis y Viterbi la cadena que se

utiliza es:

A. 10100110
B. 10010110
C. 11010010
D. 01011001
 REFERENCIA BIBLIOGRÁFICAS

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web]. Recuperado
dehttp://hdl.handle.net/10596/18316

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. (pp. 11 - 80). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site
=edslive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y lenguajes formales. (pp.
19 - 65). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación de programas. (pp. 7 -

27). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616&ppg=12

Bonilla, L. [Luis] (2018, mayo 23). Códigos Convolucionales Tellis y Viterbi. [Archivo de video].
Recuperado dehttps://www.youtube.com/watch?v=Oe9WEAOLeyc&t=1218s

Bonilla, L. [Luis] (2018, mayo 23). Diagrama de árbol. [Archivo de video]. Recuperado
de https://www.youtube.com/watch?v=HNS4IQw64Sk

Bonilla, L. [Luis] (2018, mayo 23). Diagrama de estados. [Archivo de video]. Recuperado
de https://www.youtube.com/watch?v=JTJkNco2tjQ&t=5s

Bonilla, L. [Luis] (2018, mayo 23). Diagrama de trellis. [Archivo de video]. Recuperado
de https://www.youtube.com/watch?v=21JKzST2ZJY
Junco Rolando (20 de junio de 2019) video conferencia http://conferencia2.unad.edu.co/p72v1u0a2cxf/
Junco Rolando (27 de junio de 2019) video conferencia http://conferencia2.unad.edu.co/zcboy1