1

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

Presentado a:
Vermen Rainer Ayala

Estudiantes:
Diana Katerine Guaca Bolaños Cod. 1059908475

Grupo: 52

Universidad Nacional Abierta Y A Distancia- UNAD

Escuela De Ciencias Básicas Tecnología E Ingeniería
Autómatas y Lenguajes Formales
Abril 2020
 2

Actividad Individual

Actividad 2

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

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

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

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

Solución

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

Sus características son:
𝑀𝑀𝑒 = (𝑄, 𝐼𝑛, 𝑂𝑢𝑡, 𝑇𝑟𝑎𝑛𝑠, 𝑅𝑡𝑎, 𝑞0)
Donde:
𝑄 = 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 → (𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 )
𝐼𝑛 = 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎 → (0,1)
𝑂𝑢𝑡 = 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑠𝑎𝑙𝑖𝑑𝑎 → (0,1)
𝑇𝑟𝑎𝑛 = 𝑄 × 𝐸𝑛𝑡 → 𝑄, Función de transición
𝑅𝑡𝑎 = 𝑄 × 𝐸𝑛𝑡 → 𝑆𝑎𝑙, Función de respuesta
𝑞0 ∈ 𝑄: Se considera el estado inicial, demarcado por un triángulo
cerca del estado.

𝑀𝑀𝑒 = ((𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 ), (0,1), (0,1), 𝑇𝑟𝑎𝑛, 𝑅𝑒𝑠, 𝑞0)

2. Diséñela en diagrama (Máquina de Mealy).
Se crea el número de estados que da la tabla:

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

a uno los valores dados de estado, entrada y salida.

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:
 4

Se deben construir las transiciones del estado q1, hacia los

estados q2 y q0
 5

Siguiendo esa misma línea para el estado q2 se ven saltos a los

estados q3 y q2:
 6

Con las transiciones del estado q3, obtenemos 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.
 7

CADENA
11010101
SALIDA
1

CADENA
11010101
SALIDA
11

CADENA
11010101
SALIDA
111
 8

CADENA
11010101
SALIDA
1111

CADENA
11010101
SALIDA
11111

CADENA
11010101
SALIDA
111111
 9

CADENA
11010101
SALIDA
111111

CADENA
11010101
SALIDA
1111111

Como vemos, con esta trama escogida, no cambia a los estados 2 y 3

el autómata, no por una falla del mismo si no por la trama tomada, si al
estar el autómata en el estado q1 llegara un cero de nuevo y no un uno,
el único salto posible sería al estado q2 y de allí según corresponda a 3
e inclusive coincidir el final de la trama con el estado inicial

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

máquina de Moore

Lo primero es generar una tabla que fusiona las tablas de funciones

de transición y respuesta:
 10

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 , se
debe relacionar el estado y la salida de dicho estado, por ejemplo,
q1 tiene una salida en 1, generando el estado de Moore q11.
Continuando con los estados se generan (sin repetición) q01, q20,
q31 y q10 así:

ESTADOS

q0

q11

q01

q20

q31

q10

Renombrando los estados con nombre corto se tiene:

ESTADOS

q0 q0

q11 q3

q01 q1

q20 q4

q31 q5

q10 q2
 11

Se reemplazan los estados transitorios por los reemplazados

anteriormente en orden ascendente y buscando su estado
equivalente entre Mealy y 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 0 q4 0
q5 q4 0 q2 0
Las tablas de transición y salida para la máquina de Moore son::

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 0 0
q5 0 0
Implementando la máquina de Moore se tiene:
 12

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

encuentre cinco diferencias con las Máquinas de Moore.
Dentro de las características de la máquina de Mealy se tiene:

 La salida depende del estado actual y valor de la entrada

 Tiende a presentar menos estados
 Salidas en función de los estados y las entradas
Diferencias con la máquina de Moore

 Moore no depende de la entrada para cambiar de estado

 Las salidas dependen únicamente del estado y no de las
transición