AUTOMATAS Y LENGUAJES FORMALES

Unidad 3 - Fase 4 - Modelar problemas de Lenguajes Estructurados por Frases

Presentado a:

Rolando Fabian Junco

Tutor

Realizado por:

JUAN PABLO ANAYA RODRIGUEZ (1016090463)

John Jairo Vélez Código: (1018418744)

Kevin Roger Chilito Código: (1061764619)

Grupo: 301405_37

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BÁSICAS E TECNOLOGÍA E INGENIERÍA – ECBTI

BOGOTA.D.C

MAYO 2020
 EJERCICIOS DE LA FASE 4

ACTIVIDAD COLABORATIVA

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:
1. Identifique los componentes de la Máquina (descríbala).

Rst:

Una máquina de Mealy es una estructura de la siguiente forma:

- MMe = (Q, Ent, Sal, tran, res, q0)

Donde cada uno tiene su representación como significado por lo cual es una sexta

tupla enunciaremos a continuación:

- Q: es el conjunto de estados, (q0,q1,q2,q3)

- Ent: es el alfabeto de entrada, (1,0)

- Sal: es el alfabeto de salida, (1,0)

- tran: Q x Ent → Q, es la función de transición

- res: Q x Ent → Sal, es la función de respuesta, y

- q0 Є Q: es el estado inicial

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.

 Se da ingreso por el estado inicial con la cadena 1000111

 Al iniciar la secuencia en 1, esta se mantiene en el estado y en la cinta

el 1 es reemplazada por 1
 La secuencia al cambiar a entrada 0, pasa al estado y en la cinta el 1

es reemplazado por 0.

 La secuencia al cambiar a entrada 0, pasa al estado y en la cinta el 0

es reemplazado por 0.

 En esta secuencia se continua con entrada 0, pasando al estado pero

en la cinta el 0 es cambiado por 1

 La secuencia al cambiar a entrada 1, pasa al estado y en la cinta el 1

es reemplazado por 0.

 La secuencia al cambiar a entrada 1, pasa al estado y en la cinta el 1

es reemplazado por 1.
  La secuencia al cambiar a entrada 1, se mantiene en el estado y en la

cinta el 1 es reemplazado por 1 terminando la secuencia.

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

Moore

ME: ({0, 1}, {0, 1}, {q0, q1, q2, q3}, F, g)

Entradas y salidas
 0 1
Estado Salida Estado Salida
q q1 1 q0 1

0
q q2 0 q0 1

1
q q3 1 q2 0

2
q q2 0 q1 0

Posibles Estados
q0
q11
q01
q20
q31
q31

0 1
Estad Salid Estad Salid

o a o a
q0 q11 1 q01 1
q0 q11 1 q01 1

1
 q1 q20 0 q11 1

0
q1 q20 0 q01 1

1
q2 q31 1 q20 0

0
q3 q20 0 q10 0

- Diagrama de Moore

- Comprobación de que las maquinas con equivalentes

Se realiza la prueba con la misma cadena que se brindo en el paso a paso

y se puede evidenciar que la cadena también es aceptada.

Ilustración 1 Maquina Mealy

Ilustración 2 Maquina 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

1) Se caracteriza por ser una máquina de estados finita.

2) Las salidas están determinadas por el estado actual y la entrada.

3) Permanece en un cierto estado mientras no recibe algún estímulo del

exterior

4) Transita a otro estado (que puede ser el mismo en el que está, pero igual

se produce el transito).

5) Emite un símbolo a la salida (símbolo que pertenece al conjunto de

símbolos de salida), de acuerdo con la función de salida

- Diferencias con las máquinas de Moore

1) La salida depende del estado actual y de las entradas

2) Por lo general, tiene menos números de estados

3) Es menos estable que la máquina de Moore

4) Para probar un circuito primero se hace el cambio en la entrada X y

después se da el pulso de reloj

5) Las salidas se encuentran en la arista

Máquina de Mealy Máquina de Moore

La salida depende de la situación actual La salida solo depende de la situación

y entrada actual
La salida cambia en los extremos de Necesita más lógica para decodificar las
reloj salidas
La máquina de Mealy ejecuta con más El cambio de entrada causa cambio en

rapidez a las entradas la salida debido a la lógica

Presenta menos estados que la Presenta más estados que la máquina

máquina de Moore de Mealy

Presenta un circuito sumador Presenta un sumador serial
Las salidas son función del estado y de Las salidas son función únicamente del

las entradas 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)

Bits 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 Salida
o 11

 
Recibido 00 01 10 01 01 00 11
11

Con esta información, se procede a realizar el diagrama de árbol. En el diagrama

de árbol se visualiza el estado presente y el codificado, teniendo en cuenta que si

el dato es 0, el árbol se grafica en la parte superior, y si es 1, en la parte inferior.

2. Realice el diagrama de estados para ese dato de entrada.

Mediante el uso de JFLAP se realiza el diagrama de estados.

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

salidas codificadas).

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

Este diagrama es parecido al de trelli pero, en este diagrama buscaremos

realizarlo con respecto al siguiente diagrama de estado mirando cual es el camino

correcto y con menos errores

Con esto obtenemos que el diagrama de Viterbi es el siguiente:

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

Autómatas Para Informáticos. (pp. 11 - 80). Recuperado

de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?

direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cov

er

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=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

de http://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

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=11201616&ppg=12

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases.

[Archivo web]. Recuperado de http://hdl.handle.net/10596/18316

CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First

Pocket Radio. [OVI]. Recuperado de http://www.ck12.org/book/Engineering%3A-

An-Introduction-for-High-School/section/5.2/
Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Spain,

Europe: Universidad de Extremadura. Servicio de Publicaciones. Retrieved

from http://bibliotecavirtual.unad.edu.co/login?

url=http://search.ebscohost.com/login.aspx?

direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-

live&scope=site