Fase 4 Modelar problemas de Lenguajes Formales

Presentado por:

JUAN CARLOS GARCÍA

Código: 1116443913
MARTHA ISABEL BENAVIDES
Código: 1130670786

DOCENTE:

VERMER RAINER AYALA

Universidad Nacional Abierta y a Distancia

UNAD
Autómatas y Lenguajes Formales
 2020

Actividad 1:

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).

La máquina de Mealy es una séxtupla (S, S0, ∑, Λ, t, G)

S: (q0, q1, q2, q3)
S0 :(q0)
∑ (0, 1)
Λ (0, 1)
Función de transición (T: S× Σ → S)
Función de salida:(G: S× Σ → Λ)

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.

Cadena:
0 0 0 0 0c

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

1 0 0 0 0c

Estando en el estado q0, la máquina señala al símbolo de cinta 0,

entonces escribe 1 y pasa al estado q1.
δ(q1,0)=(q2,0)

1 0 0 0 0c

Estando en el estado q1, la máquina señala al símbolo de cinta 0,

entonces escribe 0 y pasa al estado q2.
δ(q2,0)=(q3,1)

1 0 1 0 0c

Estando en el estado q2, la máquina señala al símbolo de cinta 0,

entonces escribe 1 y pasa al estado q3.
δ(q3,0)=(q1,1)

1 0 1 1 0c
 Estando en el estado q3, la máquina señala al símbolo de cinta 0,
entonces escribe 1 y pasa al estado q1.
δ(q1,0)=(q2,0)

1 0 1 1 0c

Estando en el estado q1, la máquina señala al símbolo de cinta 0,

entonces escribe 0 y pasa al estado 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 máquina de Mealy

 Es un tipo de máquina de estados finitos

 La salida se genera con base en su estado actual y una entrada
 En el diagrama de estados de la máquina de Mealy se incluyen las
señales de entrada y salida para que pueda realizarse cada
transacción.
 La máquina de Mealy es una 6-tupla con los siguientes elementos,
M=(S, S0, Σ, Λ, T, G), donde:

o S es un conjunto finito de estados.

o S0 es un estado inicial, el cual es un elemento de S. S0 ∈ S
o Σ es un conjunto finito, llamado alfabeto de entrada.
o Λ es un conjunto finito, llamado alfabeto de salida.
o T es una función de transiciones (T : S × Σ → S)
o G es una función de salida (G : S × Σ → Λ)
Diferencias de máquina de Mealy frente a las máquinas de
Moore:
 En la máquina de Moore, la salida en un momento dado sólo
depende de su estado en ese momento, mientras que en Mealy la
salida se genera con base en su estado actual y una entrada.
 la transición al siguiente estado depende del estado en que se
encuentre y de la entrada introducida.
 En una máquina de Moore, el diagrama de estados incluirá una
señal de salida para cada estado, mientras que en Mealy, solo
emplea transacciones a la salida.
 En la séptupla tienen los mismos componentes, pero en G:
Función de salida = (G : S → Λ) donde se mapea cada estado al
alfabeto salida.
 La cantidad de estados de la máquina de Moore puede ser mayor
o a veces igual que la cantidad en la Máqina de Mealy.

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)
2. Realice el diagrama de estados para ese dato de entrada.
3. Identifique en el diagrama de Trellis la ruta correcta (identificando
salidas codificadas).
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
 BIBLIOGRAFÍA

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