MÁQUINAS DE ESTADO

ALGORÍTMICAS

SISTEMAS DIGITALES I

Docente: López Córdova, Jorge Luis

INTEGRANTES

 Fernández Ramos Joel

 Otárola Anthony
ALGORITMO

 Procedimiento que se ejecuta paso a

paso para resolver un problema o
lograr un fin determinado.
MAQUINA DE ESTADOS

 Conjunto de estados, transiciones, entradas y

salidas que permite modelar la dinámica de
un fenómeno particular.

MAQUINA DE ESTADOS DIGITAL

 Maquina de estados que permite

modelar la dinámica de un circuito
digital.
MAQUINA DE ESTADOS ALGORÍTMICA (ASM)

 Maquina de estados que se emplea

para modelar un algoritmo.

 En el contexto de este tema las ASMs

emplearán maquinas de estado digitales.
DIAGRAMA ASM
 Modificación del diagrama de estados para
representar apropiadamente un algoritmo.

Se representan tres tipos de estado:

1.Estados de acción
2. Estados de decisión
3. Estados de acción – decisión.
 ESTADO DE ACCIÓN

Estado en el cual se ejecuta una operación.

Estado anterior

Particularidades:

•Puede haber varias asignaciones

C <= A + B
Concurrentes
Z <= X * Y
•Las asignación tienen lugar en la
Sj transición de salida del estado.

Estado futuro
ESTADO DE DECISIÓN
 Estado en el cual se evalúa una condición que
permite seleccionar : uno de dos estados futuros o
una de dos posibles acciones.

Estado anterior

Particularidades:
Sj 1 0
A=0 •Tanto la condición como la asignación
que tenga lugar se evalúan en la transición
de salida del estado.
z <= x + y z <= x - y

Ef (1) Ef (2)
ESTADO DE ACCIÓN-DECISIÓN

Sj m <= k * n Particularidades:
t <= p + r
Las asignaciones y las
condiciones tienen lugar en
A=0 la transición de salida del
estado.
z <= x + y z <= x - y
 BLOQUES
INCORRECTOS !!!

s1

0 1
0 1 0 1
0 1

s2 s3
 MODELADO DE ASM

Metodología para modelar ASMs:

1. Plantee un algoritmo estructurado

2. Para cada paso del algoritmo defina
un estado.
3. Defina el diagrama ASM
4. Reduzca estados
 ASM ESTRUCTURADOS
No hay transiciones entre bucles

Estructurado No estructurado
REDUCCIÓN DE ESTADOS

z <= a + b

z <= a + b
W <= p – q

W <= p – q Sentencias concurrentes

Las sentencias deben ser independientes en el sentido lógico

REDUCCIÓN DE ESTADOS

x <= x + 1 x=x +1
s0

sj
s1
x=6 X=6

En este caso : En este caso :

•(s0) Primero se incrementa X (sj) Se incrementa x y se pregunta

•(s1) Luego se pregunta si x es si x está en seis ( valor antes
Igual a seis. del incremento)
 REDUCCIÓN DE ESTADOS
Estados tipo Moore Estados tipo Mealy
s0
J =L
J =L

J=0 J=J+1
s1 s2 J=0 J=J+1

Se dice que un ASM es Moore, Se dice que un ASM es Mealy,

Si todos sus estados de decisión Si uno o más estados de decisión
son estados Moore son estados Mealy.
Modelocircuital del ASM
Entradas de
Entradas del camino
control
de datos

Control

Unidad de Camino de datos

Control
(FSM)
realimentación

Salidas del camino

Salidas
de datos
de control

Maquina de estados digital !! Circuitos de procesamiento

Sumadores,registros,….
GRACIAS