Maquina De Moore Y Mealy

Maquinas de Moore y Mealy

Jesús Villavicencio Cruz

Maquina de Moore

Una Máquina de Moore es un autómata de estados finitos donde las salidas están determinadas por el estado actual únicamente (y no depende directamente de la entrada). El diagrama de estados para una máquina Moore incluirá una señal de salida para cada estado. Comparada con la Máquina de Mealy, la cual mapea transiciones en la maquina a salidas.

Una máquina de Moore se define como una tupla (secuencia finita) de 5{S, Σ, Λ, T, G}

que consiste de:

• Un conjunto finito de estados ( S)

• Un conjunto finito llamado alfabeto de entrada ( Σ)

• Un conjunto finito llamado alfabeto de salida ( Λ)

• Una función de transición (T: S× Σ → S) que dirige a cada estado y a una entrada al siguiente estado.

• Una función de salida (G: S → Λ) que dirige a cada estado al alfabeto de salida.

El número de estados en una máquina de Moore es mayor o igual al número de estados

a su correspondiente máquina de Mealy.

Maquina de Mealy

En la teoría de la computación, una Máquina de Mealy es un tipo de máquina de estados finitos que genera una salida basándose en su estado actual y una entrada. Esto significa que el Diagrama de estados incluirá ambas señales de entrada y salida para cada línea de transición.

En contraste, la salida de una máquina de Moore de estados finitos (el otro tipo) depende solo del estado actual de la máquina, dado que las transiciones no tienen entrada asociada. Sin embargo, para cada Máquina de Mealy hay una máquina de Moore equivalente cuyos estados son la unión de los estados de la máquina de Mealy y el Producto cartesiano de los estados de la máquina de Mealy y el alfabeto de entrada.

Una máquina de Mealy es una tupla (secuencia finita) de 6 (S, S0, Σ, Λ, T, G), que consiste de:

• Un conjunto finito de estados ( S)

• Un estado inicial S0el cual es un elemento de (S)

• Un conjunto finito llamado alfabeto de entrada ( Σ)

• Un conjunto finito llamado alfabeto de salida ( Λ)

• Una función de transición (T: S× Σ → S)

•

...