AUTOMATAS Y LENGUAJES FORMALES

FASE 4: MODELAR PROBLEMAS DE LENGUAJES FORMALES

KARINA SÁENZ FUENTES

CODIGO: 36572197
JAIME ALFONSO OROZCO
CÓDIGO: 77195978
YEISON ANDRES ROBLES
Código:1049631649
WALTER JOSE PALACIN AREVALO
Codigo:1065594349

GRUPO: 301405_56

TUTOR:
VERMEN RAINER AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
MAYO DE 2020
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 q2 q0
q2 q3 q2
q3 q2 q1

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

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

Tipo de máquina de estados Finito, genera una salida según su estado actual y
una entrada externa, detectando una secuencia predefinida.
Tabla de Transición
f Entrada
Estado 0 1
q0 q1 q0
q1 q2 q0
q2 q3 q2
q3 q2 q1

Tabla de Salida
G Entrada
Estado 0 1
q0 1 1
q1 0 1
q2 1 0
q3 0 0
 Esta máquina cuenta con las siguientes características
MMe=(Q , Ent , Sal ,Trans , Res , q 0)
Donde:
Q=conjunto de estados →(q 0 ,q 1 ,q 2 ,q 3)
Ent =Alfabeto de entrada →(0,1)
Sal= Alfabeto de salida→(0,1)
Tran=Q× Ent →Q , funcion de transición
Res=Q× Ent → Sal , funcionde respuesta
q 0 ∈ Q: Se considera el estado inicial y como se
mustra debe pertenecer el grupo de estadoya planteados

Y con las funciones de transición y respuesta se tiene unas

características más puntuales:
M =( ( q 0 , q 1 , q 2 , q 3 ) , ( 0,1 ) ,(0,1),Tran , Res , q 0)

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

El siguiente paso es tomar la función de transiciones y tomar uno a uno

de los valores dados allí hasta completar la maquina de Mealy.
G Entrada f Entrada
Estado 0 1 Estado 0 1
q0 1 1 q0 q1 q0
q1 0 1 q1 q2 q0
q2 1 0 q2 Q3 q2
q3 0 0 q3 q2 q1

En la tabla anterior se evidencia como con un valor en la entrada de cero

y un valor de 1 para el estado q0 la máquina cambia al estado q1, dando
como resultado:
 G Entrada f Entrada
Estado 0 1 Estado 0 1
q0 1 1 q0 q1 q0
q1 0 1 q1 q2 q0
q2 1 0 q2 q3 q2
q3 0 0 q3 q2 q1

Ahora el paso consiste en construir las transiciones del estado q1, hacia
los estados q2 (con entrada en cero)y q0 (con entrada en 1)
G Entrada f Entrada
Estado 0 1 Estado 0 1
q0 1 1 q0 q1 q0
q1 0 1 q1 q2 q0
q2 1 0 q2 Q3 q2
q3 0 0 q3 q2 q1

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

Por último y después de seguir los pasos se tiene el siguiente autómata:

 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.

Para este ejercicio utilizaremos la cadena: 111001001.

Paso 1:
CADENA: 111001001
SALIDA: 1
Este proceso se debe realizar tres veces, porque en la cadena de entrada se
ingresan tres unos que nos dan como respuesta tres unos a la salida,
permanecerá en el estado q0 hasta recibir un cero.
-------------------
Paso 2:
CADENA: 111001001
SALIDA: 11

----------------
Paso 3:
CADENA: 111001001
SALIDA: 111
-------------
Paso 4:
CADENA: 111001001
SALIDA: 1111
Con este primer cero se cambia del estado q0 a el estado q1 y se agrega a la
cinta de salida un uno.

-----------
Paso 5:
CADENA: 111001001
SALIDA: 11110
El único camino de salida que tiene el estado q1 con un 0 en la entrada es
saltar al estado q2 y agregar a la salida un 0.

--------
Paso 6:
CADENA: 111001001
SALIDA: 111100
Desde q2, con un 1 en la entrada se mantiene en q2 y guarda un 0 a la salida.

------
Paso 7:
CADENA: 111001001
SALIDA: 1111001
Ahora, al ingresar un 0, salta al estado q3 y guarda un 1 en la salida.

---------
Paso 8:
CADENA: 111001001
SALIDA: 11110010
En esta oportunidad, estando en el estado q3 e ingresar un 0, salta de nuevo al
estado q2 y guarda un 0 en la cadena de salida.

---------
Paso 9:
CADENA: 111001001
SALIDA: 11110010
En este punto la maquina se encuentra en el estado q2 y al llegar un 1, se
mantiene en este estado y guarda un cero en a la salida.

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

Moore.

Se genera una tabla fusionada de la máquina de Mealy como base para

crear las funciones de transición y respuesta:

0 1
Estado Out Estado Out
q0 q1 1 q0 1
q1 q2 0 q0 1
q2 q3 1 q2 0
q3 q2 0 q1 0

Se deben crear los posibles estados para la máquina de Moore y para ello
se debe relacionar el estado y la salida de dicho estado, que para nuestro
primer ejemplo es q1 con salida en 1, dando como posible estado de la
máquina de Moore el estado q11.
Si continuamos por la línea del estado q0 se encuentra el estado q01,
seguido del q20 (q11 se repite), q31, (q20 se repite) y q30.

ESTADOS
q0
q11
q01
q20
q31
q10

En este punto, se podrían renombrar los estados obtenidos:

ESTADOS
q0 q0
q11 q3
q01 q1
q20 q4
q31 q5
q10 q2

Se ordenan los estados en la siguiente tabla:

0 1
Estado Salida Estado Salida
q0 q11 1 q01 1
q01 q11 1 q01 1
q10 q20 0 q01 1
q11 q20 0 q01 1
q20 q31 1 q20 0
q31 q20 0 q10 0
Ahora podemos renombrar los estados de la máquina de Moore.
0 1
Estado Salida Estado Salida
q0 q3 1 q1 1
q1 q3 1 q1 1
q2 q4 0 q1 1
q3 q4 0 q1 1
q4 q5 1 q4 0
q5 q4 0 q2 0

Se generan dos funciones de transición y de nuevas de Moore, la de

transición respuesta como las dadas inicialmente:
f Entrada
Estado 0 1
q0 q3 q1
q1 q3 q1
q2 q4 q1
q3 q4 q1
q4 q5 q4
q5 q4 q2

G Entrada
Estado 0 1
q0 1 1
q1 1 1
q2 0 1
q3 0 1
q4 1 0
q5 0 0
 Ahora se implementa la 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.

Máquina de Mealy Máquina de Moore

La salida depende del estado actual y
el valor de la entrada
Tiende a presentar menos estados que
la máquina de Moore
Las salidas son función del estado y de Las salidas son función únicamente del
las entradas
Para cada máquina de Mealy hay una
máquina de Moore equivalente
Se calcula la salida inmediatamente se
produce un cambio en la entrada.
La salida depende únicamente del
estado actual
Puede presentar más estados que la
máquina de Mealy
estado
Para cada máquina de Moore hay una
máquina de Mealy equivalente
Moore demora más en el ciclo de reloj
en su circuito equivalente, debido a
que la salida se calcula según el
estado al cual se llega, producto de
una transición (producida por una
entrada).
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

SOLUCIÓN
Tomando k=1, n=2 y m=3, según eso los estados posibles son
k (m −1) 1(3−1) 2
2 =2 =2 =4
Son 4 estados posibles los cuales son 00, 01, 10, 11
Para compilar se requiere invertir la trama y empezar por el bit menos
significativo, teniendo:

Cadena de entrada:
11110101
  8 7 6 5 4 3 2 1
Datos 1 1 1 1 0 1 0 1
Estado
11 11 11 10 01 10 01 10
Presente
Codificad
01 01 10 00 01 00 01 11
o
Recibido 00 01 10 10 01 00 11 11

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

2. Realice el diagrama de estados para ese dato de entrada.
Como se dijo en el comienzo del desarrollo, hay 4 estados posibles, los
cuales son: 00,01,10 y 11. Las transiciones están dadas por la tabla que
desarrollamos inicialmente.
El diagrama de estados es el siguiente:

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

codificadas).
 Teniendo en cuenta que:
0 ->
1->

4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

REFERENCIAS BIBLIOGRÁFICAS
 Bonilla, L. [Luis] (2018, mayo 23). Códigos Convolucionales Tellis y

Viterbi. [Archivo de video]. Recuperado de

https://www.youtube.com/watch?time_continue=1&v=Oe9WEAOLeyc

 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de árbol. [Archivo de video].

Recuperado de https://www.youtube.com/watch?

time_continue=1&v=HNS4IQw64Sk

 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de estados. [Archivo de

video]. Recuperado de

https://www.youtube.com/watch?time_continue=25&v=JTJkNco2tjQ

 Bonilla, L. [Luis] (2018, mayo 23). Diagrama de trellis. [Archivo de video].

Recuperado de

https://www.youtube.com/watch?time_continue=15&v=21JKzST2ZJY

 Morales-Luna, G. (2000). Máquinas de Mealy. Recuperado 23 de abril

de 2019, de http://delta.cs.cinvestav.mx/~gmorales/ta/node49.html