UNIVERSIDAD NACIONAL TECNOLGICA DE

LIMA SUR
CARRERA DE INGENIERIA ELECTRNICA Y
TELECOMUNICACIONES

CURSO: CIRCUITOS DIGITALES II

SEMESTRE ACADMICO 2016 II

CICLO: IV

TEMA IV

DOCENTE

: M.Sc.Ing. ORLANDO ADRIAN ORTEGA GALICIO

FECHA

: 30-11-2016

MAQUINAS DE ESTADOS FINITOS

MAQUINAS DE ESTADOS

Los circuitos secuenciales tambin se conocen como:

Mquinas de Estados (ME), o
Mquinas de Estados Finitos (MEF).
Finite State Machines (FSM).

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

INTRODUCION
Las Mquinas de estados Finitos, nos sirven para
realizar procesos bien definidos en un tiempo discreto.
Reciben una entrada, hacen un proceso y nos
entregan una salida. Notemos que estas mquinas
hacen una computacin
Por lo tanto una computacin es capaz de resolver un
problema, s y solo s tiene una solucin algortmica,
es decir, puede ser descrito mediante una secuencia
finita de pasos bien definidos.

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

MAQUINAS DE ESTADOS FINITOS

Las mquinas de estado finito son una herramienta

muy til para especificar aspectos relacionados con
tiempo real, dominios reactivos o autnomos,
computacin
reactiva,
protocolos,
circuitos,
arquitecturas de software, etc.
Si el nmero de estados es finito, se denominan
mquinas de estados finitos

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

TIPOS DE FSM

Existen dos tipos principales:

Mquina de Moore
Mquina de Mearly,

As tambin hay dos maneras de representar una maquina de

estado finito en forma compacta.
Diagrama de estado
. Tablas de estado

llamadas as
por el nombre
de sus
respectivos
autores.

q0

q1,x

q2

q1

q2,x

q1,z

q2

q0,z

q1,y

cada una de ellas tiene sus caractersticas, pero las dos representan lo mismo, no alteran
los resultados.
CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

MAQUINA DE MEALY
Como puede observarse en el modelo adjunto, un circuito de Mealy consta de dos
circuitos combinacionales, el primero maneja las seales de memoria y el segundo
las seales de salida. Las seales de salida dependen, no solamente de los pulsos
de entrada, sino tambin de los estados presentes.

Un diagrama de estados de Mealy es un grafo en el cual, los estados se

representan mediante crculos, y por lneas rotuladas y orientadas las
transiciones.

Diagrama de estados de Mealy

CIRCUITOS DIGITALES II

El rtulo indica la entrada y la

salida que provoca la
transicin. Se separan con una
pequea barra diagonal (slash,
en ingls).

Ing. Orlando Ortega Galicio

MAQUINA DE MEALY
En el ejemplo de abajo la luz se ve afectada por el
cambio de estado

Un sistema de luz ejemplo de un Mquina de Mearly

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO DE MEALY
En el ejemplo siguiente determinar la secuencia de salida para la siguiente
matriz de transiciones:

La lectura de algunas transiciones:

Estando en A, con entrada 0, se pasa al estado D con salida 0.
Estando en D, con entrada 1, se pasa al estado B con salida 1.
Procediendo en forma similar, se logra:

Secuencia de salida y de estados

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO DE MEALY.

MATRIZ DE TRANSICIONES

El diagrama de estados puede obtenerse, a partir de la matriz de transiciones del

ejemplo anterior

Entrada
Estado
Salida

Diagrama de Estados
CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO (Diseo de una maquina de estado) MEALY.

A diferencia de la Mquina de Moore se excluye el primer elemento en

todas las cadenas de salida, es decir, si introducimos la misma cadena
que en el ejemplo anterior 11001 obtenemos como resultado aabba y
podemos observar la equivalencia.
Estado

q0
q1
q2

Entrada
1

Secuencia

q1/a

q2/b

Entrada

q1/a

q0/b

Estado actual

q0

q1

q1

q0

q2

q1/a

q0/b

Prximo estado

q1

q1

q0

q2

q2

Salida

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

MAQUINA DE MOORE
Un circuito de Moore es aquel cuyas entradas son pulsos y las
seales de salida son de nivel .
En un circuito de Moore, figura adjunta, las seales de salida
corresponden exclusivamente a los estados presentes .

Diagrama de estados de Moore.

El diagrama anterior, puede leerse: Estando en estado y1, con salida z1; cuando
ocurre la entrada x se pasa al estado y2, con salida z2.
La salida no cambia en la transicin; por esta razn, las salidas se asocian a los
estados.
CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

MAQUINA DE MOORE
En el ejemplo de abajo los estados definen que hacer;
como por ejemplo encender la bombilla.

Un sistema de luz ejemplo de una Mquina de Moore

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO DE MOORE
Determinar la secuencia de estados para la siguiente mquina de Moore

salida

Estado
Entrada
Diagrama de estados de Ejemplo
Con estado inicial C y secuencia de entrada: {0, 0, 0, 1, 1, 1,...} Se obtiene:
Las mquinas de Moore suelen
emplearse como reconocedores
de secuencias. Es decir, que
entreguan una salida cuando
ocurre
una
determinada
secuencia en la entrada.

Secuencia de salida Ejemplo

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO DE MOORE
Pueden obtenerse la tabla de transiciones y la tabla con la lgica de
salida, a partir del diagrama de estados
salida

Estado
Entrada

Tabla de transiciones Ejemplo

Existen procedimientos sistemticos para representar un diagrama de
Mealy mediante uno de Moore. Debe considerarse la representacin de
Mealy como ms general que la de Moore
CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

EJEMPLO (Diseo de una maquina de estado) MOORE

Un bonito ejemplo es de una Mquina de Moore:
Si introducimos la cadena 11001 la mquina arroja la secuencia de
datos baabba. El primer smbolo siempre ser el mismo ya que siempre
que comenzamos a analizar una cadena partimos del estado inicial

CIRCUITOS DIGITALES II

Secuencia

Entrada

Estado presente

q0

q1

q1

q0

q2

q1

Estado Prximo

q1

q1

q0

q2

q1

q1

Salida

Ing. Orlando Ortega Galicio

Aplicaciones
En las funciones que realizamos cotidianamente hacemos uso frecuente de
varios dispositivos electrnicos y computacionales,
todos realizan
funciones que nosotros no estamos acostumbrados a analizar.
Las maquinas de estado finito tiene un campo muy amplio de aplicacin, en
repetidos momentos hemos hecho uso de ellas, pero como es algo que
usamos tan cotidianamente que nos damos cuenta de que estn ah. Cada
visita que realizamos al banco, al utilizar un despachador automtico o
cobrador automtico. Etc.

CIRCUITOS DIGITALES II

Ing. Orlando Ortega Galicio

FINAL DEL CAPITULO IV

Muchas Gracias!
Ing. Orlando Ortega Galicio