UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE INGENIERA ELCTRICA Y ELECTRNICA

E. P. INGENIERA ELECTRNICA

MQUINAS DE ESTADOS FINITOS

ASIGNATURA: SISTEMAS DIGITALES

HORARIO/TURNO: 11:00-14:00/90G PROFESOR: INTEGRANTE: UTRILLA SALAZAR, DARIO PEA LANDEO, VICTOR DANIEL RUIZ RODRIGUEZ, OMAR ARTEMIO 1113220333 1113220574

YSLACHE GALVN, MIGUEL ANGEL 1113220101

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

MQUINAS DE ESTADOS FINITOS

I. INTRODUCCIN En general, los circuitos secuenciales pueden clasificarse en dos tipos; (1) aquellos en los que la salida o salidas depende nicamente del estado interno actual (denominados circuitos de Moore) y (2) aquellos en los que la salida o salidas depende tanto del estado actual como de la entrada o entradas (denominados circuitos de Mealy). II. OBJETIVOS La aplicacin de flip flops a una mquina de estados con el fin de comprender sus posibles aplicaciones en sistemas digitales. Desarrollar un diagrama de estados para una determinada secuencia. Desarrollar una tabla del estado siguiente para una secuencia de contador especifica. Implementar un contador para generar una secuencia de estados especifica.

III.

RESUMEN 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. Sin embargo un ejemplo de una mquina de estados infinitos sera un computador cuntico esto es debido a que los Qubit que utilizara este tipo de computadores toman valores continuos, en contraposicin los bits toman valores discretos (0 1). Otro buen ejemplo de una mquina de estados infinitos es una Mquina universal de Turing la

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

cual se puede definir tericamente con una "cinta" o memoria infinita. La representacin de una mquina de estados se realiza mediante un Diagrama de estados, sin embargo tambin es posible utilizar un Diagrama de flujo. IV. MARCO TERICO Definicin Son ciertos circuitos secuenciales que tiene un nmero determinado de estado (2n ) . Pueden ser retroalimentados (flip flops, biestables) o maquinas sincrnicas temporizadas cuando utilizan las primeras para crear circuitos cuyas entradas son examinadas y cuyas salidas cambian con respecto a una seal de reloj controlada. En cualquier caso, se tienen unas entradas, unas salidas y unos estados. Estructura

Fig.1 Estructura mquina de estados sincronizada por reloj (Mealy)

Lgica de estado siguiente (F): Una funcin de las entradas y del estado actual. Memoria de estados: es un conjunto de n flip flops que almacenan el estado presente de la mquina, que tiene 2n estados diferentes. La seal de reloj controla el cambio de estado en tales flip flops. La seal de reloj: dispone el funcionamiento de los flip flops ya sea por disparo por flanco o por disparo de pulso.

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

Lgica de salida (G): una funcin del estado actual y/o de las entradas.

Mquina de Mealy Es la mquina de estado en la cual la salida depende tanto del estado presente como de las entradas externas (es representado en la figura 1). Mquinas de Moore Es la mquina de estado en la cual las salidas solo dependen del estado presente. Su estructura se muestra en la figura 2.

Fig.2 Estructura mquina de Moore

Tabla 1 Diferencia entre mquina de Mealy y de Moore

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

V.

MATERIALES 74LS76. 74LS266. 74LS08. 74LS04. Leds Dipswitch.

VI.

IMPLEMENTACIN 1. Mquina de estado Mealy

Figura 3

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

Mapa de estados:
Tabla 2

EST 0 1 2 3 4 5 6 7

X1 0 0 0 0 1 1 1 1

X0 0 0 1 1 0 0 1 1

Qn 0 1 0 1 0 1 0 1

Y 0 1 1 0 1 0 0 1

J1 1 1 0 0 0 0 0 0

K1 0 0 0 0 0 0 1 1

Qn 1 1 1 0 1 0 1 0 0

Diagrama de flujo

Figura 4

2. Mquina de estado Moore

Figura 5

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

Mapa de estados
Tabla 3

EST 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

X1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

X0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

Q2 n 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

Qn 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Y 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

J2 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1

K2 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0

J1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0

K1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1

Q2 n 1 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1

Qn 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0

Diagrama de flujo

Figura 6

MAQUINAS DE ESTADOS FINITOS

LAB. SISTEMAS DIGITALES

VII.

OBSERVACIONES Y CONCLUSIONES Empezamos con una definicin de mquina de estados finitos, aprendiendo que puede ser usada como tcnica de control en un sistema, describiendo los estados o comportamientos de ese sistema, y definiendo reglas o condiciones que gobiernan transiciones del estado actual del sistema a otro estado.

VIII.

BIBLIOGRAFIA 1. Ronald J. Tocci. Sistemas digitales, principios y aplicaciones. Biblioteca UDB. 2. Thomas Floyd. Fundamentos de sistemas digitales. 9 edicin. 3. Morris Mano. Diseo digital. 1 Edicin. Editorial Prentice Hail. Biblioteca UDB.