Mquinas de Estado

Henry Romero Mestre

Autmata de Moore
Moore: En el autmata de Moore las salidas dependen exclusivamente de los estados internos(entradas internas) en cualquier instante.

Circuito Combinacion al de Entrada

i It

Elementos de Memoria

It+1

Circuito Combinacion al de salida

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

Circuito Combinacion al de Entrada

it

Elementos de Memoria

It+1

Circuito Combinacion al de salida

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.

Diseo de una mquina de estados Sincrnicas - Moore

Q0 estado inicial Qi los dems estados, siendo i el nmero de 1 alcanzado

2.

Definicin del diagrama de estados

Diseo de una mquina de estados

Diseo de una mquina de estados

DISEO MEDIANTE CONTADOR

Cuando hemos de emplear ms de dos biestables resulta mas sencillo realizar el diseo mediante un contador apropiado. A continuacin se muestra un ejemplo que nos ensear los pasos a seguir para disear mediante contador un autmata a partir de su diagrama de estados. Partiremos del siguiente diagrama de estados

DISEO MEDIANTE CONTADOR

A partir del diagrama de estados se obtiene la tabla de transiciones del contador. Observe cmo se activa la entrada PL de carga en paralelo cada vez que se pasa a un estado que no es propio del contador. Los estados que no aparecen se han considerado indiferentes, obtenindose las siguientes expresiones simplificadas: PL = A q2 (q1 +q0 ) + Aq1q0 P2 = Aq2 P1 = P0 = Aq2

DISEO MEDIANTE CONTADOR