UNIDAD 3. LENGUAJES ESTRUCTURADOS POR FRASES.

FASE 4: MODELAR PROBLEMAS DE LENGUAJES ESTRUCTURADOS POR

FRASES.

Estudiante:
JHON FREDY MAHECHA ESPINOSA
Código: 1121829803
EDUARDO SOLORZANO RAMOS
Código: 79218917
ORLANDO MORENO
Código: 80738274
RAUL GIOVANNI BENAVIDES
Código: 1031142311

GRUPO: 301405_15

Tutor:
ROLANDO FABIAN JUNCO

Universidad Nacional Abierta Y A Distancia – UNAD

Escuela De Ciencias Básicas, Tecnología E Ingeniería – ECBTI
Ingeniería De Sistemas
Mayo de 2020
 Actividad 2

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

Mealy, realice:
G
F Entrada
Estado
Estad 0 1
q0 0
q1 q0 1
o
q1 q2 q0
q0
q2 1
q3 1 q2
q3
q1 q2
0 q1
1
q2 1 0
1. Identifique los componentes de la
q3 0 0
Máquina (descríbala).
Esta máquina de Mealy contiene una 6-tupla de la siguiente manera.

M= (Q, ∑, Γ, q0, δ, β)

Donde:
Q = Conjunto de estados {q0, q1, q2, q3}
∑ = Alfabeto de entrada {0, 1}
Γ = Alfabeto de salida {0, 1}
q0 = Estado Inicial ∈ Q
δ = Función de transición
β = Función de respuesta o salida

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 utilizará la siguiente cadena: 10010

Paso 1: Estado: q0
La máquina lee el primer símbolo de la cadena.

1 0 0 1 0
Marca 0 en la cinta y permanece en el estado q0

Paso 2: Estado: q0
La máquina lee el símbolo 0 de la cadena

1 0 0 1 0
Marca 0 en la cinta y pasa al estado q1

1 1

Paso 3: Estado q1
La máquina lee el símbolo 0 de la cadena

1 0 0 1 0
Marca 0 en la cinta y se mueve al estado q2

1 1 0

Paso 4: Estado q2
La máquina lee el símbolo 1 de la cadena
 1 0 0 1 0
Marca 0 en la cinta y permanece en el estado q2

1 1 0 0

Paso 5: Estado q2
La máquina lee el símbolo 0 de la cadena

1 0 0 1 0
Marca 1 en la cinta y pasa al estado q3 y finaliza la cadena de entrada

1 1 0 0 1

Estado Salida
q0 1

q0 11
q1 110

q2 1100
q2 11001

q3 Fin cadena
4. Realice la conversión paso a paso de máquina de Mealy a máquina de
Moore

4.1. Iniciamos elaborando la tabla elaborando la tabla de transición de la

máquina de Mealy de acuerdo a las tablas dadas para esta actividad,
la cual queda de la siguiente manera.

MÁQUINA DE MEALY

0 1
ESTAD ESTAD
SALIDA SALIDA
O O
q0 q1 1 q0 1

q1 q2 0 q0 1

q2 q3 1 q2 0

q3 q2 0 q1 0

Analizando la tabla de la máquina de Mealy, sacamos los posibles estados

hallados y a partir de esos estados elaboramos la tabla para la máquina de
Moore.

POSIBLES ESTADOS
q0
q11
q01
q20
q31
q10
4.2. Con los estados hallados anteriormente creamos la tabla para la
máquina de Moore, y quedara de la siguiente manera.

MÁQUINA DE MOORE

0 1
ESTAD SALID ESTAD SALID
O A O A
q0 q11 1 q01 1
q0
q11 1 q01 1
1
q1
q20 0 q01 1
0
q1
q20 0 q01 1
1
q2
q31 1 q20 0
0
4.3. Con la tabla q3 anterior podremos
hace las q20 0 q10 0 tablas función
1
transición y función salida para la
máquina de Moore.

FUNCIÓN TRANSICIÓN
T 0 1
q0 q11 q01
4.4. Diagrama de q01 q11 q01 estados para la máquina
de Moore en q10 q20 q01 JFLAP.
q11 q20 q01
q20 q31 q20
q31 q20 q10

FUNCIÓN SALIDA
S 0 1
q0 1 1
q01 1 1
q10 0 1
q11 0 1
q20 1 0
q31 0 0
4.5. Autómata con la misma cadena del hecho en la máquina de Mealy,
pero ahora con la máquina de Moore, para verificar que sean
equivalentes.
5. Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.

Máquina Mealy Máquina Moore

Se caracteriza por ser una La salida depende del estado actual y
máquina de estados finita de las entradas
Permanece en un cierto estado
Es menos estable que la máquina de
mientras no recibe algún
Moore
estímulo del exterior
Emite un símbolo a la salida
(símbolo que pertenece al
conjunto de símbolos de salida), Las salidas se encuentran en la arista
de acuerdo con la función de
salida
Transita a otro estado (que
Para probar un circuito primero se hace
puede ser el mismo en el que
el cambio en la entrada X y después se
está, pero igual se produce el
da el pulso de reloj
transito).
Las salidas están determinadas Por lo general, tiene menos números de
por el estado actual y la entrada. estados
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)

Tabla de Datos, Estados y Datos Codificados

Utilizamos el algoritmo de convulsión para completar la tabla:

Ilustración 1 Algoritmo de convolución

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
Codificado 01 01 10 00 01 00 01 11
Recibido 11 01 10 10 01 00 11 11

Diagrama de Árbol

Ilustración 2 Diagrama de árbol, autoría propia

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

Ilustración 3 Diagrama de estados, autoría propia

3. Identifique en el diagrama de Trellis la ruta correcta (identificando
salidas codificadas).
Para el desarrollo utilice la siguiente convención 1=línea roja, 0=línea
verde

Ilustración 4 Diagrama de Trellis identificando las salidas codificadas, autoría

propia

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

Ilustración 5 Diagrama de Viterbi, autoría propia

 Bibliografía

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de
https://web-a-ebscohost-
com.bibliotecavirtual.unad.edu.co/ehost/ebookviewer/ebook?
sid=3167c669-7f6d-41c5-87a1-b6410ee8e37e%40sdc-v-
sessmgr01&ppid=pp_Cover&vid=0&format=EB

 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes

formales. (pp. 1 -124). Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199845&ppg=10

 Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de

autómatas y lenguajes formales. (pp. 7-797). Recuperado de
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3195129&ppg=6

 Rosenfeld, D.  (2016).  Computabilidad, Complejidad computacional y

verificación de programas. (pp. 7 - 27). Recuperado de
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=4499367&ppg=12