Practica #2 Maquina de Estado Finito.

1.- Introduccin.
Mquina de estados.
Se denomina mquina de estados a un modelo de comportamiento de un sistema con
entradas y salidas, en donde las salidas dependen no slo de las seales de entradas
actuales sino tambin de las anteriores.
Las mquinas de estados se definen como un conjunto de estados que sirve de
intermediario en esta relacin de entradas y salidas, haciendo que el historial de seales
de entrada determine, para cada instante, un estado para la mquina, de forma tal que la
salida depende nicamente del estado y las entradas actuales.
Una mquina de estados se denomina mquina de estados finitos (FSM por finite state
machine) si el conjunto de estados de la mquina es finito, este es el nico tipo de
mquinas de estados que podemos modelar en un computador en la actualidad; debido a
esto se suelen utilizar los trminos mquina de estados y mquina de estados finitos de
forma intercambiable.
La representacin de una mquina de estados se realiza mediante un Diagrama de
estados, sin embargo tambin es posible utilizar un Diagrama de flujo.
Mquinas de Mealy y Moore.
Las mquinas de Mealy y Moore son circuitos sncronos. Un circuito sncrono es un
circuito digital en el cual sus partes estn sincronizadas por una seal de reloj. En un
circuito sncrono ideal, cada cambio en los diferentes niveles lgicos es simultneo. Estas
transiciones se realizan despus de un cambio de nivel de una seal llamada reloj.
Idealmente la entrada a cada elemento de almacenamiento alcanza su valor final antes de
que la siguiente seal de reloj ocurra, por lo tanto el comportamiento de un circuito se
puede predecir exactamente. Se requiere se cierto retardo para cada operacin lgica, por
lo que existe una mxima rapidez en el que cada sistema sncrono puede responder. El
anlisis de un diagrama de tiempos puede darnos esta rapidez. Una mquina de Mealy es
una mquina de estados finita, donde las salidas estn determinadas por el estado actual
y la entrada. Esto significa que en el diagrama de estados se incluye una seal de salida
para cada arista de transicin. Por ejemplo, en la trayectoria de un estado 1 a un estado 2,
si la entrada es cero la salida puede ser uno, y se debe poner sobre la arista la etiqueta
0/1.
En contraste, la salida de una mquina de estado finito Moore (mquina de Moore),
depende solo del estado actual y no depende de la entrada actual. Por lo tanto, los
estados de una mquina de Moore son la unin de los estados de la mquina de Mealy y
el producto cartesiano de estos estados y alfabeto de entrada (posibles entradas).

Tabla de transicin de estados.
En teora de autmatas y lgica secuencial, una tabla de transicin de estados es una tabla
que muestra qu estado se mover un autmata finito dado, basndose en el estado
actual y otras entradas. Una tabla de estados es esencialmente una tabla de verdad en la
cual algunas de las entradas son el estado actual, y las salidas incluyen el siguiente estado,
junto con otras salidas.
Cuando se trata de un autmata finito no determinista, entonces la tabla de transicin
muestra todos los estados que se mover el autmata.
Tablas de estados de una dimensin.
Tambin llamadas tablas caractersticas, las tablas de estados de una dimensin son ms
como tablas de verdad que como las versiones de dos dimensiones. Las entradas son
normalmente colocadas a la izquierda, y separadas de las salidas, las cuales estn a la
derecha. Las salidas representarn el siguiente estado de la mquina. Aqu hay un ejemplo
sencillo de una mquina de estados con dos estados, y dos entradas combinacionales:




Contadores.
Un contador es un circuito secuencial cuya funcin es seguir una cuenta o conjunto
predeterminado de estados como consecuencia de la aplicacin de un tren de pulsos
(reloj) en una de sus entradas. Los contadores son circuitos construidos a base de ip-
ops, sincronizados a ancos, y de puertas lgicas para realizar la conexin entre los ip-
ops. Las puertas lgicas en un contador se conectan de forma que fuercen a los ip-ops
a seguir la secuencia prescrita de estados.
Dado que cada ip-op es capaz de almacenar 2 estados, un sistema de n ip-ops podr
codicar 2
n
estados (nmeros de cuenta) diferentes. El paso del estado o nmero de
cuenta actual al estado siguiente se realiza en sincronismo con la seal de reloj, de tal
forma que el contador va avanzando por la secuencia de estados hasta que termina de
completar un ciclo, es decir, una secuencia de conteo particular. Una vez terminado el
ciclo, vuelve al estado de partida y comienza un nuevo ciclo. Como cada estado slo posee
un estado siguiente, es fcil deducir que todos los estados que recorre un contador en un
ciclo o secuencia de conteo son diferentes. Si el nmero de estados diferentes que recorre
es k, se habla de un contador mdulo k. El nmero mximo de estados posibles es 2
n
, por
lo que k 2
n
. Un contador se denomina binario si k=2
n
.
Contadores Binarios.
Un contador, como todo circuito secuencial, se puede implementar como un autmata.
Aunque un autmata muy especial, puesto que no posee entradas (cada estado slo
posee un nico estado siguiente al que accede cuando existe una variacin o anco en la
seal de reloj), y no posee salidas (la salida de un contador es su propio estado interno, es
decir, el valor almacenado en sus biestables).
Veamos un ejemplo y diseemos un contador binario ascendente mdulo 8, es decir, un
contador que siga la secuencia {..., 0, 1, 2, 3, 4, 5, 6, 7, ...}. La tabla de transiciones de
estado del contador ser:


Para conocer las funciones J y K de cada biestable hay que utilizar la tabla de transiciones de
estado de un flip-flop JK. Llegamos a la siguiente tabla:

Slo nos resta encontrar las expresiones de las entradas J y K de cada biestable en funcin
del estado actual. Para ello debemos minimizar las funciones de la tabla anterior
utilizando mapas de Karnaugh.



Estas ecuaciones se pueden generalizar para secuencias de conteo mayores y para un
nmero mayor de ip-ops de la siguiente forma:



2.- Objetivo.
3.- Equipo.
Fuente de Alimentacin.
4.- Material.
2 Protoboard.
3 Resistencias 330 Ohm.
3 LED de diferente color.
1 CI 74LS08 o similar (QUAD AND 2-input GATES).
1 CI 74LS76 (FLIP-FLOP JK DUAL).
1 CI NE555 o similar.
1 Capacitor electroltico 47 uF.
1 Potencimetro 50 kOhom.
1 Resistencia 1 kOhm.
5.- Procedimiento.
Realice la implementacin del contador Modulo 8 diseado en el ejemplo anterior.
(utilice la hoja de datos para el CI 74LS76 para referencia de conexin.)
Haga uso del multivibrador astable implementado en la prctica anterior.
Utilizando una frecuencia adecuada para la observacin, haga un registro del
funcionamiento del circuito y compruebe que cumpla la funcin para la que fue
diseado.
6.- Conclusiones.

Bibliografa.
http://es.wikipedia.org/wiki/M%C3%A1quina_de_estados
http://yaqui.mxl.uabc.mx/~aglay/MealyMoore.pdf
http://quegrande.org/apuntes/EI/1/TC/teoria/09-10/tema_7_-_contadores_y_registros.pdf
http://es.wikipedia.org/wiki/Tabla_de_transici%C3%B3n_de_estados
http://www.youtube.com/watch?v=KRE-igv2Adg