Académique Documents
Professionnel Documents
Culture Documents
Autmata de Moore
Moore: En el autmata de Moore las salidas dependen exclusivamente de los estados internos(entradas internas) en cualquier instante.
i It
Elementos de Memoria
It+1
I t 1 ! f ( E , I t )
S t 1 ! g ( I t )
Autmata de Mealey
Mealey: Las salidas dependen adems de los estados internos(entradas internas), de las variables de entrada
it
Elementos de Memoria
It+1
I t 1 ! f ( E , I t )
S t 1 ! g ( E , I t )
Mquinas de Estado
A continuacin se explicar cmo disear un sistema secuencial. Para ello se indicaran los pasos a seguir mediante la obtencin del autmata Moore y Mealy de un mismo ejemplo: Un contador up/down de dos bits. 1. Estudio del problema Al ser un contador de 2 bits, el sistema tendr dos salidas y al ser de tipo up/down deber tener una entrada de control A, que seguir el siguiente criterio: Con A = 0 el contador se incrementar y con A = 1 se decrementar. Por ltimo el sistema se deber disear a partir de 2 bsculas ya que posee 4 estados (00, 01, 10 y 11).
Mquinas de Estado
2. Diagramas de Estado Segn el autmata sea de Moore o de Mealy el diagrama algunas diferencias que se describen a continuacin.
Autmata de Moore Dentro de cada crculo se indica en la parte superior el nombre del estado y en la inferior el valor de las salidas en cada uno de dichos estados. En cada flecha se indica el valor de la variable (en nuestro ejemplo la denominamos A) que permite la transicin entre los estados
Mquinas de Estado
Autmata de Mealy Dentro de cada crculo se pone el nombre del estado. En cada flecha se indica el valor de la variable de transicin y el valor de las salidas separados por una barra.
Mquinas de Estado
3. Codificacin de estados Se ha de codificar cada uno de los estados. Para el autmata de Moore resulta prctico codificar cada estado con el valor de las salidas en su estado respectivo, siempre que sea posible (las salidas no se repitan en ningn estado). Esto har que las salidas del autmata sean iguales a las salidas de los biestables. En nuestro caso codificaremos, para ambos autmatas, del siguiente modo: E0 = 00 E1 = 01 E2 = 01 E3 = 11
Mquinas de Estado
4. Tablas de excitacin Se elige un tipo de biestable y se realiza una tabla de excitacin con las variables de entrada, los estados de transicin, los valores de las entradas de los biestables y las salidas del autmata. La tabla representar fielmente el diagrama de estados del apartado 2. Para que el ejemplo sea ms completo elegiremos bsculas JK para el autmata de Moore y D para el de Mealy. Por qi se indicar las salidas de los biestables en el instante t y por Qi el mismo en el instante t+1.
Mquinas de Estado
4. Tablas de excitacin MOORE
MEALY
Mquinas de Estado
5. Simplificacin de expresiones Se toman como variables de entrada las de control y las salidas de los biestables en el instante t. Las expresiones a simplificar sern las salidas y las entradas de los biestables
Mquinas de Estado
6. Esquema electrnico A partir de las expresiones simplificadas se obtiene el esquema electrnico del autmata finito. MOORE
Mquinas de Estado
6. Esquema electrnico
Cuando las expresiones lgicas son complejas se suele emplear multiplexores o dispositivos programables para realizarlas
Enunciado del problema: Ej :En una seal, detectar tres 1 seguidos utilizando una mquina de Moore y biestables tipo D I. Obtencin del diagrama de estados
1. Definicin de los estados, en este ejemplo:
1. 2.
2.