Facultad de Informtica y Electrnica

Escuela de Ingeniera Electrnica en

Telecomunicaciones y Redes

Tercero B

Sistemas Digitales II

ALGORITMOS DE MAQUINAS DE ESTADO

Jos Ordoez 617


2014_2015







1.1 INTRODUCCIN
Las ASM (Maquinas De Estado Algortmica) primero definiremos que es Un algoritmo es
una secuencia de pasos bien definida que produce una secuencia deseada de acciones
en respuesta a una secuencia dada de entradas. Y un diagrama ASM (algorithmic state
machines) es una herramienta conveniente para expresar los algoritmos que sern
realizados por circuitos lgicos secuenciales.
En otras palabras, imaginemos una maquina capaz de seguir una secuencia de pasos al
introducir un conjunto de datos en ella, solo se puede leer un dato en cada paso que se
realice, por tanto el nmero de pasos a seguir est dado por el nmero de datos a
introducir. Cada entrada diferente genera una salida diferente, pero siempre el mismo
resultado con los mismos datos de entrada.
Por lo tanto una computacin es capaz de resolver un problema, si solo si tiene una
solucin algortmica, es decir, puede ser descrito mediante una secuencia de pasos
definidos.

1.2 CARACTERISTICAS

MQUINAS DE ESTADOS
El modelo de mquina de estados contiene los
elementos necesarios para describir la
conducta de un sistema en trminos de
entradas, salidas y del tiempo.



EL ALGORITMO DE LA MQUINA DE
ESTADOS
El algoritmo de la mquina de estados juega un
papel muy importante en el diseo de sistemas
digitales. Para circuitos sncronos la tcnica de la
carta ASM (Algorithm State Machine / Algoritmo de
la Mquina de Estados) es la mejor notacin, por lo
tanto, se adoptar para el resto de la obra.
Tambin existen otras tcnicas como la de los diagramas de estados que son diagramas
muy parecidos a las cartas ASM. Los diagramas de estados muestran grficamente la
secuencia de estados en un sistema y las condiciones de cada estado y de las
transiciones entre cada uno de ellos. Como ejemplo, en la figura 2.2 se describe el
comportamiento de un contador binario de 3 bits mediante un diagrama de estados. Este
circuito en particular no tiene ninguna entrada aparte de la de reloj, y ninguna otra salida
ms que las que se toman en cada flip-flop del contador.
ESTADOS Y RELOJ
El algoritmo de la mquina de estados se mueve a travs de una secuencia de estados
con base en la posicin del estado presente y las variables de entrada. Los tiempos del
estado estn determinados por un reloj maestro.
1.3 ELEMENTOS

NOTACIN DE LA CARTA ASM

REPRESENTACIN DE ESTADOS
El estado de una mquina de estados es la memoria de la historia pasada, suficiente para
determinar las condiciones futuras. En la siguiente figura se muestra la representacin del
estado. Un estado se representa con un rectngulo y con su nombre simblico en el
extremo superior, encerrado en un crculo.





REPRESENTACIN DE DECISIONES
Las decisiones permiten seleccionar el camino que el algoritmo de la mquina de estados
debe tomar de acuerdo a la variable o variables de entrada evaluadas. Las decisiones se
representan mediante un rombo con el nombre de la variable a probar o una funcin que
evale varias variables.




REPRESENTACIN DE SALIDAS
Salidas no condicionales. Sirven para indicar la activacin de una variable de salida. Para
representarlas, se escriben dentro del rectngulo de estado, los nombres de las variables
de salida que se activan en ese estado. Las salidas no condicionales no dependen de las
condiciones de entrada, slo dependen del estado actual.






Se emplean tres elementos para construir diagramas ASM:
Caja de estado: Representa un estado del circuito y equivale a un nodo del
diagrama de estados. En la caja se etiqueta el nombre del estado y en el caso de
circuitos Moore, las salidas por producir.

Caja de decisin: Representa una decisin de transicin de estado con base en
una prueba de una entrada del circuito. Una caja de decisin tiene un nico punto
de entrada y dos puntos de salida.


Caja de salida condicional: Especifica la salidas asociadas a las transiciones de
estado para una entrada dada en un circuito Me al y. Por lo general se ubican en
la ruta entre una caja de decisin y una caja de estado. Tiene una nica entrada y
un punto de salida
.
1.4 FUNCIONAMIENTO

El mtodo de ASM se compone de los siguientes pasos:

1. Crear un algoritmo, utilizando pseudocdigo para describir la operacin deseada
del dispositivo.
2. Convertir el pseudocdigo en un diagrama ASM.
3. Diseo del camino de datos basado en el diagrama ASM.
4. Crear diagrama ASM detallado basado en el camino de datos.
5. Diseo de la lgica de control basada en el diagrama ASM detallado.