Máquina de Mealy

El diagrama de estados de una máquina de Mealy simple

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.

Origen del nombre

El nombre "Máquina de Mealy" viene del promotor del concepto: George H. Mealy, un pionero de las máquinas de estados, quien escribió Un Método para sintetizar Circuitos Secuenciales, Bell System Tech. J. vol 34, pp. 1045–1079, September 1955.

Other Languages
čeština: Mealyho automat
Deutsch: Mealy-Automat
English: Mealy machine
français: Machine de Mealy
hrvatski: Mealyev automat
Bahasa Indonesia: Mesin Mealy
português: Máquina de Mealy
русский: Автомат Мили
српски / srpski: Milijev automat
українська: Автомат Мілі