Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1/2
AGPS
Definicin formal:
Una mquna 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 funcin de transicin (T : S S) que dirige a cada estado y a una entrada al siguiente estado. Una funcin de salida (G : S ) que dirige a cada estado al alfabeto de salida.
El nmero de estados en una mquina de Moore es mayor o igual al nmero de estados a su correspondiente mquina de Mealy. Una mquina de Mealy es una tupla de 6 (S, S0, , , T, G), que consiste de:
Un conjunto finito de estados ( S ) Un estado inicial S0 el cual es un elemento de (S) Un conjunto finito llamado alfabeto de entrada ( ) Un conjunto finito llamado alfabeto de salida ( ) Una funcin de transicin (T : S S) Una funcin de salida (G : S )
Referencia: http://en.wikipedia.org/
2/2