Autómatas y Lenguajes Formales

Fase 4
Modelar problemas de lenguajes formales

Presentado por:

Jorge Libardo Mora Sarmiento

Código: 1052358261
Luis Carlos Rodriguez Cruz
Código: 1095919835
Raul Andres Jimenez Caro
Codigo: 80220672

Grupo 301495_16

Presentado a:

Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia UNAD

Programa Ingeniería de Sistemas
CEAD JAG
Marzo de 2020
Actividad 2: Máquina de Mealy

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

Mealy, realice:

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

Una máquina de Mealy es una 6-tupla, M=(S, S0, Σ, Λ, T, G):

es una 6-tupla, M=(S, S0, Σ, Λ, T, G):

S es un conjunto finito de estados. {q0,q1,q2,q3}

S0 es un estado inicial, el cual es un elemento de S. S0 ∈ S {q0}
Σ es un conjunto finito, llamado alfabeto de entrada. {0,1}
Λ es un conjunto finito, llamado alfabeto de salida. {0,1}
T es una función de transiciones (T : S × Σ → S)
T1 : q0 × 0 → q1
T2 : q0 × 1 → q0
T3 : q1 × 0 → q2
T4 : q1 × 1 → q0
T5 : q2 × 0 → q3
T6 : q2 × 1 → q2
T7 : q3 × 0 → q2
T8 : q3 × 1 → q1

G es una función de salida (G : S × Σ → Λ)

G1 : q0 × 0 → 1
G2 : q0 × 1 → 1
G3 : q1 × 0 → 0
G4 : q1 × 1 → 1
G5 : q2 × 0 → 1
G6 : q2 × 1 → 0
G7 : q3 × 0 → 0
G8 : q3 × 1 → 0
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.
Cadena Seleccionada: 111100010

En el estado de inicialización toma el

primer valor de la cadena para
realizar el recorrido en el diagrama
devolviendo un resultado de valor 1
en q0 de 1;1:
En el siguiente estado de q0 a q1
enviamos el valor dos de la cadena
para realizar el recorrido en el
diagrama devolviendo un resultado
de valor 1 en q0 de 1;1:

De igual manera con los demás

estados q1 a q2 podemos evidenciar
como realiza el recorrido según los
valores asignados:

Continuamos con los demás estados

q2 a q2, q2 a q3 podemos evidenciar
como realiza el recorrido según los
valores asignados:

Continuamos con los demás estados

q3 a q2, q3 a q1 podemos evidenciar
como realiza el recorrido según los
valores asignados:
 Continuamos y finalizamos en q2
según el recorrido de la cadena:

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

Moore.

Realizamos la conversión de los estados según las tablas a la máquina de Mearly

de la siguiente manera:

Del estado q0 con entrada 0 a q1

tenemos 1, y del estado q0 a q0
con entrada 1 tenemos 1 de
salida.
Del estado q1 con entrada 0 a q2
tenemos 0, y del estado q1 a q0
con entrada 1 tenemos 1 de
salida.
Del estado q2 con entrada 0 a q3
tenemos 1, y del estado q2 a q2
con entrada 1 tenemos 0 de
salida.
Del estado q2 con entrada 0 a q3
tenemos 1, y del estado q2 a q2
con entrada 1 tenemos 0 de
salida.

MAQUINA MEALY

0 1
ESTADO SALIDA ESTADO SALIDA
q0 q1 1 q0 1
q1 q2 0 q0 1
q2 q3 1 q2 0
 q3 q2 0 q1 0

Identificamos los posibles estados según la tabla que calculamos de la siguiente

manera:

POSIBLES ESTADOS
q0
q0,1
q1,0
q1,1
q2,0
q3,1
Después nuevamente con los nuevos estados que calculamos realizamos la
conversión igual que con la tabla de Mealy, pero con la tabla de Moore de la
siguiente manera:

MAQUINA MOORE

0 1
ESTADO SALIDA ESTADO SALIDA
q0 q1,1 1 q0,1 1
q0,1 q1,1 1 q0,1 1
q1,0 q2,0 0 q0,1 1
q1,1 q2,0 0 q0,1 1
q2,0 q3,1 1 q2,0 0
q3,1 q2,0 0 q1,0 0

Una vez realizado esto ya tendríamos determinados los nuevos estados y sus
respectivas funciones de transición y salidas por lo que solo reemplazamos de la
siguiente manera:

FUNCION DE TRANSICION FUNCION DE SALIDA

F 0 1 G 0 1
q0 q1,1 q0,1 q0 1 1
q0,1 q1,1 q0,1 q0,1 1 1
q1,0 q2,0 q0,1 q1,0 0 1
q1,1 q2,0 q0,1 q1,1 0 1
q2,0 q3,1 q2,0 q2,0 1 0
q3,1 q2,0 q1,0 q3,1 0 0

Explique cinco características de la Máquina de Mealy y encuentre cinco

diferencias con las Máquinas de Moore.
 CARACTERÍSTICAS DE LA DIFERENCIAS CON LAS

MÁQUINA DE MEALY MÁQUINAS DE MOORE

Es una Maquina de Estados Finitos. En una máquina Moore, la salida

depende solo del estado actual,

Las Salidas están determinadas por el En una máquina Mealy, la salida

estado Actual y la entrada. depende del estado actual y la entrada
actual.

En el diagrama de estados se incluye La maquina de Moore Las entradas

una señal de salida para cada arista de intervienen en la decisión del próximo
transición. estado

Para cada Máquina de Mealy hay una Una máquina Moore podría ser un
máquina de Moore Equivalente y poco más simple de implementar
Viceversa. porque tiene menos información para
rastrear cuando se trata de generar la
salida.

Suministran un modelo Matemático Diferencia en la asignación de sus

Rudimentario para las máquinas de estados.
cifrado.

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

Realice el diagrama de árbol. (Complete la tabla)
Realice el diagrama de estados para ese dato de entrada.
 Identifique en el diagrama de Trellis la ruta correcta (identificando salidas
codificadas).

0
1 Entrada 11110101

11 01 00 01 00 10 01 01
00
01
10
11

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

0
1 Entrada 11110101

11 11 00 01 01 10 01 11
00
01
10
11
 REFERENTES BIBLIOGRÁFICOS

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