UNIDAD 3 - FASE 4

MODELAR PROBLEMAS DE LENGUAJES ESTRUCTURADOS POR FRASES.

Cristian Andrés Prieto Jiménez

Grupo
301405_12

ROLANDO FABIAN JUNCO

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
AUTOMATAS Y LENGUAJES FORMALES
BOGOTA
2019
 Ejercicio 2:

- Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy, realice:

f Entrada
Estado 0 1
𝑞0 𝑞1 𝑞0
𝑞1 𝑞3 𝑞0
𝑞2 𝑞1 𝑞2
𝑞3 𝑞2 𝑞1

g Entrada
Estado 0 1
𝑞0 1 1
𝑞1 1 1
𝑞2 1 0
𝑞3 0 1

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

La máquina de Mealy es una 6 tupla 𝑀𝑀 = {𝑆, 𝑆0,Σ, Λ, 𝑇, 𝐺}

- S = Conjunto finito de estados

- 𝑆0 = Estado Inicial
- Σ = Alfabeto de Entrada
- Λ = Alfabeto de Salida
- 𝑇: 𝑆 𝑥 Σ → 𝑆 = Función de Transición
- 𝐺: 𝑆 𝑥 Σ → Λ = Función de Salida

1. 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 de Ingreso: 100001

- Ingreso 1 y el autómata único en estado 𝑞0 y la cinta marca 0

- Ingreso 0 e el autómata salta al estado 𝑞1 y la cinta marca 1

- Ingreso 0 y el autómata para al estado 𝑞3 y la cinta marca 1

- Ingreso 0 y el autómata salta al estado 𝑞2 y la cinta marca 0

- Ingreso 0 y el automata salta al estado 𝑞1 y la cinta marca 0

 Por ultimo ingrese 1 y el automata salta al estado inicial 𝑞0 y la cinta marca 1, la cual la cadena es valida.

4. Explique cinco características de la Máquina de Mealy y encuentre cinco diferencias con las Máquinas de Moore.

Máquina de Mealy Maquina d Moore

La salida depende tanto de la situación
actual y entrada
La máquina de Mealy ejecuta más rápido a
las entradas
La salida cambia en los extremos de reloj
Presenta menos estados que la máquina de
Moore
Las salidas son función del estado y de las
entradas
Presenta un circuito sumador
La salida solo depende de la situación
actual
Necesita más lógica para decodificar las
salidas
El cambio de entrada causa cambio en la
salida debido a la lógica
Presenta más estados que la máquina de
Mealy
Las salidas son función únicamente del
estado
Presenta un sumador serial