manual

Autómatas secuenciales finitos
En este artículo vamos a ver como implementar con un ejemplo práctico un autómata secuencial finito paso a paso, empezando por el desarrollo del  DTE (Diagrama de Transición de Estados), construcción de la tabla de verdad,  simplificación a través de los diagramas de Karnaugh, obtención de las ecuaciones de salida e implementación y simulación del circuitoresultante. El desarrollo de circuitos con autómatas secuenciales es una herramienta muy potente y cuya comprensión abre el camino a otras técnicas de desarrollo como son por ejemplo en los Microcontroladores los RTOS (Sistemas Operativos en Tiempo Real).
 En el desarrollo de sistemas digitales combinacionales las salidas de nuestro circuito en un momento dado dependen únicamente de los valores de lasentradas en ese momento. En un sistema secuencial además del valor de las entradas en un instante dado tenemos que tener en cuenta  también el estado anterior por el que ha pasado el sistema, por lo que ha estos circuitos se les suele llamar sistemas con memoria. Para implementar esa memoria se suele utilizar biestables (flip-flop) ó memorias ROM. Pero...
¿A que se le llama un autómata secuencialfinito?
Una definición podría ser la siguiente: Un autómata es una máquina secuencial síncrona (controlada por una señal de reloj) que se puede encontrar en uno de entre un número posible de estados, recibe una serie de entradas binarias y en función de estas entradas y del estado particular en el que se encuentra, genera una o varias salidas binarias determinadas. Se le llama finito por que elnúmero de estados en el que puede encontrarse el autómata tiene que quedar  perfectamente determinado, de ahí que a estos sistemas se les llame también deterministas.
Siempre que hagamos  el diseño de un circuito con autómatas secuenciales finitos podremos diferenciar en él los siguientes elementos:
Una memoria que permite almacenar el estado actual del autómata.
Dos circuitos combinacionales,uno para calcular el estado siguiente del autómata y el otro para  hallar la salida.
Un diagrama de bloques del circuito sería el siguiente:
  Básicamente existen dos tipos de autómatas finitos: el autómata de Mealy y el autómata de Moore.
Autómatas de Mealy
En un Autómata de Mealy, tanto la salida del autómata como su estado siguiente, en un instante determinado, depende tanto del estado enel que se encuentra el autómata en ese instante como de la entrada ó entradas binarias introducidas.
Esto implica que un autómata de Mealy, estando en un determinado estado, puede evolucionar hacia estados siguientes distintos y producir salidas distintas si se introduce una ó varias entradas binarias distintas.
Un ejemplo en el que podemos ver los diferentes elementos que componen un diagramade Transición de Estados de un Autómata de Mealy sería el siguiente:
 

 
En el podemos distinguir los siguientes elementos:
Estados: que se pueden definir como las posibles situaciones a las que puede llegar el autómata.
Transiciones: son los eventos producidos por las entradas y que producirán el cambio de un estado a otro, en el sentido indicado por las flechas.
Un ejemplo de cómodebe leerse  el diagrama para su comprensión sería el siguiente: desde el estado Q0, con entradas 11, se pasa al estado Q1 y produce salida 0; desde el estado Q1, con entradas 00 se pasa al estado Q0, y la salida será igual a "1", y así para todas las posibles transiciones.
Para que el autómata sea determinista de cada estado deben de salir 2 elevado a n transiciones donde n es el número deentradas.
Como vemos en el DTE (Diagrama de Transición de Estados), la salida depende del estado en que nos encontremos y del valor de las entradas.
Autómatas de Moore
Son aquellos en los cuales el estado siguiente, en un instante determinado, depende tanto del estado en el que se encuentra el autómata como de la entrada o entradas binarias introducidas, pero la salida en ese mismo instante sólo...