¿A que se le llama un autómata secuencial finito?

¿A que se le llama un autómata secuencial finito?

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 el nú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 en el que se encuentra el autómata en ese instante como de la entrada o 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 o varias entradas binarias distintas. Un ejemplo en el que podemos ver los diferentes elementos que componen un diagrama de 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ómo debe 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 de entradas.

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 depende del estado en el que se encuentra el autómata.

Esto implica que un autómata de Moore, estando en un determinado estado, produce siempre la misma salida, independientemente de cuál sea la entrada o entradas de datos en ese estado.

Un ejemplo de un Diagrama de Estados de un Autómata de Moore sería el siguiente:

Como

...