Vous êtes sur la page 1sur 42

CAPITULO

Autómatas finitos

7.I. CIRCUITOS SECUENCIALES SINCRONOS


Este capítulo está dedicado al diseño de sistemassecuencialessíncronos.
Reciben está denominación aquellos circuitos en los que el ualor de su salida en un instante
determinado no dependede los estadoslógicos de las entradas en dicho instante, sino de la secuencia
con que dichos estados se aplican a las entradas. En este tipo de circuitos, todo el funcionamiento
está sincronizado por una señal de reloj.
Todo sistema secuencialposee:
a) Un conjunto finito de 2n estados de entrada, siendo n el número de variables de entrada.
b) Un conjunto finito de 2^ estados internos, siendo z el número de variables de estado
interno.
c) Un conjunto finito de 2p estadosde salida siendo p el número de variables de salida.
En la práctica, también se denomina a estos circuitos Autómatas finitos.
Para observar la evolución de un autómata frnito, es necesarioacudir a las variables
de salida,
ya que las de estado interno, como su nombre indica, no van a ser accesiblesdesde
el exterior. La
forma de obtener dichas variables va a dar lugar a dos modelos de circuitos secuenciales:
Modelo de
Moore y Modedo de Mealy.

7.2. MODELO DE AUTOMATA DE MOORE


En este tipo de autómatas finitos las salidas dependen solamente de sus estados internos
en el
instante que se considera (un caso particular será cuando las variables de salida coincidan
con las
del estado interno).

Entrada
Circuito Circuito
combinacional combinacional
de de
entrada salida

F i g u r a 7 . ' 1 . D i a g r a m ad e b l o q u e s d e r m o d e r o d e a u t ó m a t a d e M o o r e .
AUTOMATAS
FINITOS 279

Una representaciónde estemodelo apareceen el diagrama de la Figura


7.l,enel que se puede
apreciar cómo el circuito de salida dependesolamentedel estado interno
del elemento de memoria.

7.3. MODELO DE AUTOMATA DE MEALY


En é1,las variacionesde salida están asociadasa las transicionesentre estados
de entrada además
de las de los estadosinternos.
Un diagrama de bloques de este tipo de autómata aparece en la Figura 7.2;
en él se aprecia
cómo la salida dependedel estado interno y de la entrada.

Circuito
combinacional
de
entrada

F i g u ra 7 .2 . D i a g ra m ad e bl oquesdel model ode autómatade Meal y.

Conviene hacer notar que los modelos de Mealy y Moore son dos formas d,e realjzar
el circuito
secuencialy se puede demostrar que, para todo circuito secuencialsíncrono
de Mealy, existeotro
de Moore equivalente,y viceversa.

7.4. ETAPAS DE DISEÑO DE CIRCIJITOS


SECUENCIALESSINCRONOS
Presentamosahora un método general para el diseño de sistemassecuenciales
que podemos
estandarizaren los siguientespasos:

a) Pasar las especificaciones verbalesal diagrama de estados.


b) Reducir estadosequivalentes.
c) Construir la tabla de estados.
d) Asignar códigos a los estados.
e) Seleccionarlos elementosde memoria.
f) Obtener las tablas de excitación.
g) Simplificación de las funcionesde excitación.
h) Implementacióndel circuito.
Para comprendermejor cada uno de estosapartados,aplicaremosel procesoanterior
al diseño
d: tres, teniendo en cuenta tyi tipo de
."1 Lt"lt:^10:I:.:.tcia-por 91te átulto. ,, !! qqnu!1q en 9!
280 E L E C T R O N I CDAI G I T A L

por cada tres impulsos en su entrada, producirá uno


señal de frecuenciatres vecesmenor. Es decir,
de salida.

estados
a) Pasar las especificacionesverbales a diagrama de
y de
los estadosinternos de un circuito secuencial
un diagrama de estadoses una representaciónde
grífrca de su funcionamiento'
las transicionesentre euos, es decir, una representación podemos
partiendo de las especificacionesque nos dan en el éjemplo a diseñar, rápidamente
y otra de salida. El número de estados internos
deducir que sólo habrá una variabre áe entrada que se repetirá cada
será un proceso cíclico
parece rógico que sean tres, ya que su funcionamiento
tres impulsos de entrada. también llamados
para representaresto de forma gráficaseemplean los diagramas de estados,
diagramas de flujo'
estadosinternos por círculos que contengan
siguiendo el modelo de Moore, se representana los
y el valor de salida 0 o 1 dependientedel estado
en su interior la denonfinación ¿é ¿i.tlu variable
el valor especificadomientras el estado interno
interno. De esta forma se indica que la salida tendiá
no cambie, sea cual sea el valor de las entradas'
hubiera) se representacon la denominación
La variable de entrada (variablesde entrada si las
del estado origen al estado destino'
{ y con una flecha se indica la transición
de flujos para un autómata de Moore del divisor de
En ra Figura 7.3 se representael diagrama
frecuenciaPor tres.

X:O

t l.,lo\
,
\ , /
{.
. './
{

\
\ , o r x=1
/\
X=0
/lo

por tressegúnel model ode Moo r e'


d e fl u j osdel di vi sorde frecuenci as
F i g u ra 7 .3 . D i a g ra m a
7.3, ra salida es 1 siempre que el circuitt
Según se ve en el diagrama de flujos de la Figura
vez que esto sucedesignificará que ha contadr
secuencialse encuentreen el estado Io, ya que cada I
qu.- en el instante inicial, s1nart111s.del estado /o
tres impulsos. Se podría poner ta objéción á. ya que de u
pero esto carecede importancia,
salida sea 1 sin que se haya contado ning,in impulso,
fiecuencia n veces menor que la de entrada.
divisor sólo interesaque enrregueuna
Figura 7.3, er diagrama de tiempos de la salid
De acuerdo con el diagrama de estadosde la
será el que apareceen la Figura 7'4'
en el estado Io,tal como correspond
Como se puede ver, la salida vale 1 mientras se encuentre
los impulsos de salida no tienen la misma duració:
a un autó-uiu de Moore; asimismo,se ve que
AUTOMATASFINITOS 281

Entrada

Salida
dr

or
ol
Figura7.4. D i a g r a m a d e t i e m p o s c o r r e s p o n d i e n t ea l d i a g r a m a d e f l u j o s d e l d i v i s o r p o r
J¿ tres
s e g ú n l a F i g u r a7 . 3 .

ol

En el modelo de Mealy los estados internos se representan también por un


círculo con la
;enominación de la variabieen su interior, que en estecaso va sola sin indicar el estado
]r
]c de la salida.
Las variablesde entrada se representanpor una X,que con una flecha indica la transición
tc t'rado del
origen al estado final. Sobre esta flecha se representa,además,el valor de la variable
de
'''iid¿t,indicando de estamanera que en el modelo de Mealy la salidadependedel
estadointerno en
,Í .. que se encontrata y del valor de la variable de entrada en cada instante.
^e Se puede ver el modelo de Mealy para el divisor de frecuenciapor tres en la Figura
7.5, en
'-' que se apreciaque la salida es 1 cuando encontrándoseen el estadoIr,sepresenta
en la entrada
\ - l.

x=0/s:0

1.,
\

(Y
t \ r
12
I
x=0/s:0 x:1ls=1
\ -^\ x:0/s:0

F igur a 7 .5 . D i a g ra m ad e fl u j o sd e l d i vi sorde frecuenci a


por tressegúnel model ode Meal y.

Para estecaso,el diagrama de tiempos correspondienteal diagrama de flujos se puede


ver en la
Figura 7.6,donde se apreciaque la duración de los impulsosde salidaes igual a los
de entrada;esto
es debido a que en el modelo de Mealy la señalde salida no dependesolamentedel
estadointerno,
sino también que las variablesde entrada en cada momento.

b) Reducciónde estadosequivalentes
Como es natural, del diagrama de estados,que no es otra cosa que una representacióngráfica del
¡nunciado del pj9!&Ia, no tiene por que resuttarsie e la representaciónmás ónfima sino oue
282 E L E C T R O N I CDAI G I T A L

Entrada

Salida

F i g u ra 7 .6 . D i a g ra m ad e ti e mposcorrespondi ente al di agramade fl uj os del di vi sorpor tre s


s e g ú nl a F i g u r a7 . 5 .

estados equivalentesde
a veceses posible obtener un diagrama de estados reducido, eliminando
I, e l, son equiualentesy pueden reducirseQ un estado
acuerdo con el siguientecriterio: ños ertado.s
único si, y sólo si,ambos estadosI, e l, iniciales eu'olucionan al mismo estado I^ final, tanto para la
: 0, siendo además las salidqs asociadas a los estadosIt e I,
entradaX : I como paro la entrada X
las mismas.
puede apreciarse'
En el ejemplo que estamos siguiendo no se da este caso, tal y como

c\ Construcción de la tabla de estados


estados de una manera más
una tabla de estados es otra forma de expresar el diagrama de
convenientepara afrontar los siguientespasos del diseño.
de la variable o uariablesde
Se representaen una columna el ,rtodo actual, en otra los valores
que se debe pasar y en la última la salida'
entrada, en una tercera columna el estaclofinal a los
estudio paralelo de los dos modelos (Mealy y
En nuestro caso, y como estamoshaciendo un
en los dos tipos de salidas'
Moore), pondremos la última columna desglosada

Tabla 7.1. T a b l a d e e s t a d o d e l d i v i s o r d e f r e c u e n c i ap o r t r e s
para el modelo de MealYY el de Moore

Estado inicial X Estadofinal SalidaMealy Salida Moore

Io 0 Io 0 1
Io 1 Il 0 1
Ir 0 Ir 0 0
Ir I I2 0 0
I2 0 I2 0 0
I2 I Io 1 0

d) Asignación de códigos de estados


por ser la má
Hasta este momento, hemos numerado 10s estados internos de forma decimal
son elementos binarios, habrá qu
cómoda para nosotros, pero como los elementos de memoria
codificar éstos de forma binaria.
es decir' si hay 1
El número de bits a emplear será igual al número de elementosde memoria,
estarlosel_númeron sgfaQomomínimo el que cumpla: 2n-1 < ¡ú < 2n.
AUTOMATASFINITOS 283

Por tanto, en el caso que nos ocupa,donde existentres estados,serán


necesariosal menos 2 bits
para codificarlos y los podremos asignar, por ejemplo, de la siguiente
manera:

1o-00 1r-01 12 ---+ 11

Sustituyendoestoscódigos en la tabla de estadosobtenemosla Tabla 7.2.

T a b l a 7 .2 - T a b l ad e e s tadosen l a que se han susti tui dol asvari abl es


d e l o s e s ta d o si n i ci ares
por er val orbi nari oasi gnado

Estado inicial X Estado final Salida Mealy Salida Moore

00 0 00 0 I
00 I 01 0 1
01 0 01 0 0
01 I 10 0 0
10 0 10 0 0
10 I 00 1 0

e) Selecciónde los elementosde memoria


En esta fase se decide qué elemento de memoria va a ser usado en
el diseño, es decir, relés,
¡iestables,etc.,para lo cual nos basaremosen consideracionesde velocidad,economía,disposición,
¡tcétera.
En el ejemplo que nos ocupa utilizaremos biestablesdel tipo J-K.

J-l Tablas de excitación


L-na vez conocido cuál es el tipo de biestable que vamos a utilizar,
debemos determinar las
:'''nexionesque deben realizarseentre los diferentei biestablespara que
se comporten de acuerdo
it)r el contenido de la Tabla 7.2.Para ello se recurreal empleo áe tablas
de excitacióndel biestable
'/-'(' Estastablas nos indican los valoresque hay que aplicár a las entradas
J y Kpara que la salida
e',t-riucionede uno a otro estado.

T a b l a 7 .3 . Tabl ade exci taci ón


del biestableJ-K

-+
Q,O Qa(t+r) J K

0 0 0 X
0 I 1 X
I 0 X I
I 1 X 0

Teniendoen cuenta la tabla de excitacióndel biestableJ-K,laTabla


de estados7.2 se transfor-
n'i en la tabla de excitación del circuito que se representaen
la Tabla 7.4, dondeen la columna de
se ha designadocon variables Qn,,,al estado en el que se gncuentranlas selidrs de
:t'td"_"ttual
284 E L E C T R O N I CDAI G I T A L

columna de estado
cada uno de los biestablesantes de producirsela señalde reloj. A su vez,en la
de producirse la
final, se han clesignadocon variables Q,,,+r¡ €1estado de dichas salidasdespués
el sistema,donde se
señalde rel¡1. Se han añadido, además,iátrtu. columnascomo biestablestiene
realicela transicionde Q^r,,
indica el r akrr que debentener las entradasde los biestablespara que se
A Qntt- r¡'
por ultimo. las columnas de salidasdel autómata quedan como estaban.

Tabla7.4. T a b l a s d e e x c i t a c i ó n d e l o s a u t ó m a t a s u t i l i z a n d o p a r a s u d i s e ñ o b i e s t a b l e sJ - K

Estado {inal Salida Mealy Salida Moore


Estado inicial Kr ro Ko
Qtat Qoot
X
Qrt,ntl Qott+t)
Jr s s
0 0 0 0 0 X 0 0 1
0
0 I 0 0 X 1 X 0 I
0 I

I 0 0 I 0 X X t.r 0 0
0
I I 0 I X x 1 0 0
0 I
I 0 0 I 0 X 0 0 X 0 0
0 I 0 0 I 0 1 0
1 X

g) Minimización de las funcionesde excitación


de los
A partir de la tabla de excitaciónobtenid¿ren la etapa anterior se determinan las entradas
Para nuestrc
bieitablesen función de los estadosinicialesy de las entradasal circuito secuencial.
c aso s e tra L ad e o b te n e rJ 6 , Ko ,J1, K ¡. en funci ón de Qo, QrY X '
podemos observar que la tabla de excitaciónno poseelas siguientescondicionesinicialesy de
ent ra d a .

Tabla7,5. Combinaciones
n o e x i s t e n t e se n e l e j e m P l o
i ni c i a l

Qta't Quot X

I
I I 0
I 1

de acuerdc
Esto es debido a que el circuito secuencialque estamosdiseñandotiene dos estados'
l as combi naci ones110,y 111;esto se r ef lejt
c on l a c o d i fi c a c i ó nq u e h e m o sd e fi ni do,que no exi sten,
vacías. Dichas casillas pueden rellenarse cor
en el mapa de Karnaugh quedando varias casillas
que nuestro circuito nunca va a pasar por los estados 1l(
condicionesde indifereniia ii suponemos
y 111.
por tanto, se puedenescribirlos mapas de Karnaugh de la Figura 7.7 para definir las funciones
de en-!¡4daa pqda -ffqq de-.19sgiestables'
A U T O M A T A SF I N I T O S 285

¡o'r,r
X\Ooo 0O 01 11 10

0 0 1 '-) X

a)
1 0
iJ t
Jt=Oot,t

r(
X o r ¡0r 0 01 11 10

0 0 X
0

1
el X 0
c)

Jo=X O;,; Ko:1

F i g u r a 7 . 7 . M a p a sd e K a r n a u g h
p a r ad e f i n i rl a s fr-lnciones de entrada de l os bi establ es.

Para obtener las funcionesde las salidasrecurrimos también a las tablas de excitación;a partir de
ellas podemos obtener un mapa de Karnaugh para la salida de Mealy a\ y otro parala de Moore
ó).

r( 1

X o r ¡0r 0 01 11 10 X otrr00 01 11 10

0 0 0
-;\
0
a)
0
f-'l 0 0
b)
1 0 0
C _t 1 [,j n X 0

S, :X' O11¡¡ Sr:O- Oou,

F i g u r a 7 . 8 . M a p a d e K a r n a u g hp a r a d e f i n i r l a s f u n c i o n e s d e s a l i d a :a ) M o d e l o d e M e a l y .
ó) Modelo de Moore.

hl Dibujo y realizacióndel circuito


Partiendo de las ecuacionesobtenidasen el apartado anterior, pasamosa la implementación
del
-r'ircuito, tal v como se mlesf ra en la Figrrr:r 7 e
286 DAI G I T A L
ELECTRONIC

por tres paral os model osde Meal yy Moore'


F i g u ra 7 .g . D i v i s o rd e frecuenci a

7.5. DISEÑO REDUCIDO

de simplificar el método general de


Existe la posibilidad, en ciertos tipos de circuitos secuenciales,
diseño anteriormente exPuesto.
anterior. En
A modo de ejemplo, analicemos el divisor de frecuenciadiseñado en el apartado
llegan los impulsos
dicho divisor poi tr., se puede observar que existeuna entrada X por donde
cuya frecuenciase quiere dividir, y otra de reloj o sincronismo C'
se encontrará
Debido a que et tlpo de biestableempleado es eLJ-K Master-Slaue,el circuito sólo
flancos han de hacerse
activo en los flancos de bajada de la señal de reloj y, por tanto, dichos
de estado en el automatismo'
coincidir con X : l,ya que sólo este nivel de X produce cambios
En la Figura 7.10 se representalo anterior.

Entrada
X

Reloj
co

se entrada.
F i g u r a 7 . 1 0 . S i n c r o n i z a c i ódne l a ss e ñ a l e d

de la señal de
Según lo visto en la Figura 7.10,se puede deducir fácilmenteque la frecuencia
la sincronizacion en el funcionamien'
reloj Co ha de coincidir con la de la entrada X para conseguir
los impulsos
to del autómata. En consecuencia,podemos iimplificar el autómata introduciendo
reloj Cu posicionando a 1 permanente la
dividir, por la entrada de v
::,.¡.**T i.j:T
A U T O M A T A SF I N I T O S 287

Entrada
X

Reloj
ck

se entrada.
F i g u r a 7 . 1 1 . S i n c r o n i z a c i ómno d i f i c a d da e l a ss e ñ a l e d

{plicando lo anterior a las ecuacionesobtenidaspara el autómata Quenos sirve de ejemplo,se


t:lene:

Jr : Qoo¡ K r : 1
Jo : Q u,t K o : 1
51 : Qtttl , S 2: Q r t ) Qoo

La implementación del circuito resultante apareceen la Figura 7.12.

Salida
Mealy

O rr o
E n t r a d aX : C *

o*
Salida
Moore

F i g u r a 7 . 1 2 . D i s e ñ os i m p l i f i c a ddoe l d i v i s o rd e f r e c u e n c ipao r t r e s .

En general, el método reducido o simplificado de diseño de autómatas secuencialesse debe


aplicar en circuitos en los que sólo se produzcan cambiosde estado cuandola señal de entrada tenga
tm ttalor determinado-vpermenezcaestable cuando adopten el contrario.

7.6. FORMAS DE ARRANQUE


\l realizarel diseño del divisor de frecuenciapor tres se ha supuestoque el Estado 11 es un estado
por el que no pasa el circuito secuencialque diseñamos,lo cual nos permite crear unas condiciones
de indiferencia que simplifican considerablementeel circuito.
Al realizarlo dicho anteriormente se crean unas determinadastransicionesentre los estadosque
va teníamosy el Estado erróneo 1l.
L--
zAa E L E C T R O N I CDAI G I T A L

Pcrr tanto' el diagrama de flujos (o estados)se transforma


en el que apareceen la Figura 7.13.
Como puede verseen el diagrama citado, se han representado
solamentelai flechaspara los valores
de -l' : 1, ya que para x : 0 no se produce ninguna transición
de cambio.
Según podemos observaren el diagrama,si se parte de alguno
de los estadosprevistosinicial-
mente: 00' 01' 10' el circuito secuencialva a mantenerse dentro
del bucle formado por dichos
estados,dando lugar a un funcionamiento correcto con respecto
al diseño deseado.

/o=00
lr=01
lr:10
lr:11

Fi g u ra 7 ' 1 3 ' D i a g ra m ad e e s tadosdel di vi sorpor tres,i ncl uyendol a entraday


bl oqueoen el
estado errbneo1".

Si por cualquier causa'como puede ser la conexión del circuito,


entramos al estadoerróneo 11,
el divisor se quedará entoncesbloqueado en este estado erróneo.
La citada situación de bloqueo al entrar en el estado 1., puede
resolversecreando los llamados
sistemasde arranque o autoarranqueque nos lleven de formi automática
al bucle de funcionamien-
to correcto. Estos sistemasde arranque son dos:
o Arranque síncrono.'Consiste en plantear al comen
zar el diseño un diagrama de estados que
considere no sólo los estados que intervienen en el circuito
secuencial,sino todos los estados
posibles,forzando la evolución de aquellos erróneos que
no pertenecena la secuenciacorrecta, a
estados que pertenezcana ella.
En el casodel divisor por tres empleadocomo ejemplo,podemos
diseñarel diagrama de estados
de la Figura 7.14.
Como puede verseen dicha figura, si por cualquiercircunstancia
se entraseen el estado1., en el
siguiente estado de reloj se entraría en estado 1, correspondiente
al bucle de funcionamiento
correcto.

Figura 7.14. D i a g r a m ad e e s t a d o sd e l d i v i s o r p o r t r e s c o n a r r a n q u es í n c r o n o .
ft \ r l u 5 ¿ó3

en el diseño Y, Por tanto,


El inconvenientede estemétodo es la eliminación de las indiferencias
del diseño final.
una mayor complejidad en las conexionesy elementos
estados
. Arranqueasíncro1o.. Teniendo en cuenta que la probabilidad de que el autómata salte a
de la conexión del circuito. debido a que los
erróneos o no permitidos es mayor en el momento
comenzar su alimentación, podremos diseñar el autóma-
biestablesse posicionanaleatoriamenteal
y añadir al diseño una
ta sin sistemade arranque (empleando,por tanto, todas las indiferencias)
el autómata' Esto
puesta a cero asíncroná a todos los biestablesen el momento de encender
lUtigara al autóm ata a comenzar siemprepor el estado 00.
por tres empleadocomo ejemplo'
En la Figura 7.15 podemos ver está solución para el divisor

Mealy

o,(,)
Entrada

o"n

Moore

Figura 7.15. D i v i s o rd e f r e c u e n c i ap o r t r e s c o n s i s t e m ad e a r r a n q u ea s í n c r o n o

P R O B L E M A SR E S UE L T O S
excitaciónpara implemen-
7.1. Dado el diagrama de flujos de la Fi gura 7.16,deducrrsu tabla de
que el valor de la variablc
tar el circuito con biestablestipo D . (N ota: E l símbol o x signilica
e s i n d i f e r e n t e , 0o l . )
X-0,,S:O
Y=0,

"Y:: o1 ,t r : . ,

-7
Figura 7.16. D i a g r a m ad e f l u j o s d e l P r o b l e m a ' 1
29O ELEcTRoNICA
DIGITAL

Sofución: En la Tabla 7.6 aparecela tabla de estados correspondienteal diagrama de flujos de la


Figura 7.16,que correspondea la de un autómata de Mealy.
Seguidamenteasignamosa los estadosun códieo binario.

1o-00
/1 ---+ 01
Izn l0

Sustituyendoestoscódigosen la tabla de estadosy teniendoen cuenta Ia tabla de


transiciónde un
biestableD obtenemosla Tabl a 7.7.

Tabla 7.6. T a b l a d e e s t a d o sd e l p r o b l e m a T . l

Entradas
Estado actual Estadofuturo Salida
X Y

Io 0 0 Io 0
Io 0 I I2 1
Io I 0 Il 0
Io 1
I I Il 0
I1 0 0 Ir 0
I1 0 I I2 0
Il I 0 Io I
Il I 1 Io I
I2 0 0 Io 0
I2 0 1 I2 0
I2 1 0 Io 0
I2 I I I2 0

Tabla 7.7. T a b l a d e e x c i t a c i ó nd e l p r o b l e m a 7 . 1

Estado actual Entradas Estado futuro Salida


X Dr D2
Qtot Qzt,t Y Q\t+t) Qz6+u .s
0 0 0 0 0 0 0 0 0
0 0 0 I 1 0 1 0 I
0 C I 0 0 I 0 1 0
0 0 1 I 0 I 0 1 0
0 1 .l
0 0 0 1 0 0
0 1 0 I 1 0 I 0 0
0 I I 0 0 0 0 0 1
0 1 I I 0 0 0 0 1
1 0 0 0 0 0 0 0 0
I 0 0 1 1 0 I 0 0
I 0 I 0 0 0 0 0 0
I 0 I I 1
I 0 1
I 0 0
FINITOS
AUTOMATAS 291

7,17.determinarsu tabla de excitaciónsi


7.2. Dado el diagrama de flujos del circuito de la Figura
tipo "/-r\'
el circuito t. ttu de implementar con biestablesdel

\
*"9
Y; í=:L
X:X
Y:1

Figura 7.17. D i a g r a m ad e f l u j o d e l P r o b l e m a7 ' 2 '


l '17'
estadosdel diagrama de flujos de la Figura
Solución: La Tabla 7.8 es la de transición de
-7
'2
T a b l a 7 . 8 . T a b l a d e e s t a d o sd e l P r o b l e m a

Estado actual
Io Il
Io 0 I I2
T
rO
1 0 I3
I,^ I 1 I1
I
r l 0 0 13
I1 0 1 I2
Il 1 0 I3
Il 1 1 Il
I2 0 0 Il
I2 0 I I,
[. I 0 I4
I2 1 1 I2
I1 0 0 13
I\ 0 I I3
I\ I 0 I2
I3 1 I I4
I1 0 0 I4
I1 0 1 13
I4 1
I 0 I2
I1 1 I Io
¿J¿ T L h UI H U N I U A D I G I T A L

Como ha-r cinctr estadosdistintos,hacen falta tres bits para codificar


los estados.Designamosl o s
s i g u i e n t e s\ a l r ) r e s :
000 __- 1o
001 ___+ 11
010 -------------*
1,
011 ___-+ 1-,
100 ------ /o
Por tanto' la tabla de excitación,utilizando biestablesdel tipo ,r-K, quedará
como se muestraen la
Tabla 7.9.
Tabf a 7.9. T a b l a d e e x c i t a c i ó nd e l p r o b l e m a7 . 2

Estado actual Estado futuro


Qx¡ Qtu¡ Qoo Qz<t+
t) Q¡(,*t) Qott+t¡

0 0 0 0 0 0 X X I X
0 0 0 I 0 0 X X 0 X
0 0 I 0 0 0 X X I X
0 0 I I 0 0 X X 0 X
0 0 0 0 0 0 X X X 0
0 0 0 I 0 0 X X X I
0 0 I 0 0 0 X X X 0
0 0 1 I 0 0 0
X X X 0
0 I 0 0 0 0 X X 1
I I X
0 1 0 I 0 0 0 X X 0 0 X
0 I I 0 0 I
I X X I 0 X
0 1 I I 0 0 0 X X 0 0 X
0 1 0 0 0 1 0 X 0 X 0
0 1 0 I 0 I 0 0
X X X 0
0 I 1 0 0 0 0 X X 0 X I
0 I I I I 0 I I
X X t X I
0 0 0 I 0 X 0 0 X 0 X
0 0 I 0 I X I X I X
0 I 0 0 0 X 1 X 0 i(
0 I I 0 0 X 0 X 0 X

7.3. Dado el diagrama de flujos de la Figura 7.18, obtener su


tabla de excitación si se ha de
implementar el circuito con biestablesdel tipo J-K.

X:1
( E l s í m b o t oe i n d i c aq u e X
p u e d et o m a rt a n t o e l
v a l o r0 c o m oe l 1 . )

Figura 7.18. D i a g r a m ad e f l u j o s d e l p r o b l e m a7 . 3 .
Solución: La Tabla 7.10 es la tabla de estados del autómata.

T a b l a 7 . 1 O . T a b l a d e e s t a d o s d e l P r o b l e m a7 ' 3

Estado actual X Estado futuro Salida

Io 0 Ir 0
Io I Ir 0
Il 0 I2 0
Ir 1 Ir 0
I2 0 I2 1
I2 1 I3 I
I3 0 Io 1
I3 1 I3 1

dos bits para codificarlos' por tanto' se


Como hay cuatro estados distintos, se necesitan,al menos'
codihcan utilizando 1a siguiente asignación:

/o --------+ 00
/, ------------+01
I, ------------>lo
¡, -------------r
1l

la tabla de excitaciónutilizando biestables"/-K'


La Tabla 7.11 será,en consecuencia,

T a b fa 7 . 1 1 . T a b l a d e e x c i t a c i ó nd e l P r o b l e m a7 ' 3

Estado actual Estadofuturo Jr Salida


X Kr Jo Ko
s
Qto Qrut Qtrt+u Qoo*t¡

0 0 0 0 I 0 X 1 X 0
0 0 I 0 I 0 X 1 X 0
0 1 0 I 0 1 X X 1 0
0 I 1 0 I 0 X X 0 0
1 0 0 I 0 X n 0 X 1
1 0 1 1 I X 0 I X 1
I I 0 0 0 X 1 X I 1
1 I I I I X 0 X 0 1

de bajada,implementar un
7.4. Empleando un biestableJ-Ky un biestableD activos por flanco
000,
circuito que generela siguientesecuencia: 010, 100, 110.

de flujospara
Solución: Como el bit menossignificativono cambia,ya que siemprees0, el diagrama
e l mo d e l od e M o o ree se l q u e s emuestraen l a Fi gural .l 9.
X:O

Figura7.19. Diagramd
ae flujos del problema 7.4.

L a T a b l a 7 . 1 2e s l a correspondiente
al diagramade f l u j o s de la Figura 7.19.

T a b fa 7 .12. Tabl ade estadosdel probl ema


7.4
Estado actual X Estado futuro Salida

Io 0 Io 0 0
Io 1 Il 0 0
Il 0 Il 0 1
Il I I2 0 I
[2 0 I2 I 0
I2 I I3 1
I 0
I3 0 [3 I I
I1 I Io I I

como existen cuatro estadosdistintos,


hará falta utllizar dos bits para codificarlos;
hemos empleadoen el diseño el modelo además,como
de Moore, si se hacen coincidir los estados
valoresde salida' el circuito de salida internos con los
será directamentela salida de los biestables.por
mos de la siguientemanera: tanto, codifica-

Io- 00
1l- 01
Iz- l0
1.--.---.-.----._ l l

Por tanto, obtenemosl¿rT a b l a 7 . 1 3


e n l a q u e y a s e tieneen cuentael empleo
un biestableD. de un biestableJ_K v
AUTOMATASFINITOS 295

Tabla 7.13. T a b l a d e e x c i t a c i ó n d e l P r o b l e m a7 . 4

Estadoactual Estadofuturo Salida


X 4 Kr D
Qu,t Qnut Q.t(t+tt Qn<t+t't ,S2 st

0 0 0 0 0 0 x 0 0 0
0 0 1 0 I 0 x I 0 0
0 I 0 0 1 C .3.X I 0 I

0 I 1 1 0 1 x 0 0 I
1 0 0 1 0 x 0 0 I 0
I 0 I 1 I x 0 1 1 0
I I 0 I I x 0 I 1 1
1 I 1 0 0 x l 0 I I

Seguidamente,mediante los mapas de Karnaugh de la Figura 7.20, se deducen las ecuacionesde


entrada de los biestables.

ñ ro 00 01 11 10 X )ooo 01 11 10

0 0 0 X 0 0 0
a) b)
1 0 c-
\_ l X 1 X

Cl 0

J.,=x'Qo K',:X'Ao

o
ño. oo 01 11 10 ño" oo 01 11 10

0 0
eD 0 0 0 0
I 'l
e
c) d)
1
l 0 0 1 0 0 l.r_j
D = X . O o+ X . O o Sr=O',
D=X@Oo

o
.\o.oo 01 11 10
"
0 0 6- ¡
0
e)
1 0 tL _J ' i 0

s.,: oo

F i g u r a 7 . 2 O . M a p a s d e K a r n a u g hp a r a e l c á l c u l o d e l a s f u n c i o n e sd e e n t r a d ay s a l i d ad e l o s
b i e s t a b l e sd e l P r o b l e m a7 . 4 .
296 DA
ELECTRONIC IGITAL

('t,rnt) puede apreciarse,las salidas de los biestablescoinciden con la salida de los autómatas, tal
ct)¡rrrse ha comentadoanteriormente.El circuito será,por tanto, el que se muestraen la Figura7.2l.

.f
X

ck

F i g u r a 7 . 2 1 . R e s u l t a ddoe l P r o b l e m 7
a. 4 .

7.5. Implementar con biestablesJ-K el autómata que representael siguientediagrama de flujos


(Figura 7.22).

x:0/s=0

x=0/s:0

x:1/s:0

x:0/s:1

Figura 7.22. D i a g r a m ad e f l u j o s p a r a e l d i s e ñ o d e l P r o b l e m a7 . 5 .

Solución: La Tabla 7.14 es la tabla de estadoscorrespondienteal diagrama de flujos de la Figu-


ra 7.22.

T a b fa 7 . 1 4 . T a b l a d e e s t a d o sd e l P r o b l e m a7 ' 5

Estado actual X Estado futuro Salida

Io 0 Io 0
Io I Ir 0
[1 0 Ir 0
I1 I I2 0
I2 0 I1 I
1 Io 1
I2
A U T O M A T A SF I N I T O S 297

Como hay tres estadosdistintos,necesitamosal menos dos bits para poder codillcarlos.Decidimos
hacerlo de la siguiente manera:

1o------------.--00
1r---------.------01
12---) 10

La tabla de excitación,utilizando biestables-/-K, quedará tal y como se muestra en la Tabla 7.15.

Tabla 7.15. T a b l a d e e x c i t a c i ó nd e l p r o b l e m a7 . 5

Estado actual Estado futuro


Qrr,¡ Qot,t
X
Q\t+t) Q.ott+tl
Jr Kr Jo Ko s
0 0 0 0 0 0 X 0 X 0
0 0 1 0 1 0 X I 0
0 1 0 0 I 0 X X 0 0
0 1 I I 0 1 X X 1 0
I 0 0 0 I X 1 I X 1
I 0 1 0 0 X I 0 X
1
I

Seguidamente,utilizando el método de Karnaugh, se obtienenlas ecuacionesde entrada y salida de


l o s biestables(Fig. 7.23).

o 1

X 2ooo 01 11 10

0 0 0 X X

el
a)
1 0 X

J.,:X au
\O,
X \ oooo 01 11 10
0 0
C :D
el
c)
1 0

J o : X ' O , ,+ X . O . , Ko:X
Jo:xe)o,
a
ño, oo 01 11 10

0 0 0 (: 1 l
I e)
1 0 0
\:_
j
S''= O',
Figura 7.23. M a p a s d e K a r n a u g hp a r a l a o b t e n c i ó n d e l a s e c u a c i o n e sd e e n t r a d ay s a l i d a
de
los biestables.
298 DAI G I T A L
ELECTRONIC

Pt)r tanto, el circuito quedará como se muestra en la FiguraT'24.

Figura 7.24. R e s u l t a d od e l P r o b l e m a7 ' 5 .

7.6. Analizar el circuito de la Figura 7.25 obteniendo la tabla de estados y la de excitación, así
como su diagrama de flujos.

J-K del P robl ema7' 6'


con bi establ es
F i g u ra 7 .2 5 . C i rc u i tosecuenci al

Solución: Las ecuacionesde entrada y salida a la vista del circuito son las siguientes:

Jo - K o : Q z
Jr - K r : Q o
J2 - K2 : -l Qz
Q.r. Qo

por los
Una vez conocrdaslas ecuacionesde entrada se puede deducir la evolución de los estados
que pasa,tal y como se apreciaen la Tabla7.16.
A U T O M A T A SF I N I T O S 299

Tabla 7.16. T a b l a d e e x c i t a c i ó nd e l P r o b l e m a7 . 6

Qz<,'t Qt<¡t Qn<,¡ J2 K2 4 K l Jo Ko Qzt,*rt Qt(t+t¡ Qnv*rt

0 0 0 0 0 0 0 I 1 0 0 I
0 0 I 0 0 1 1 1 1 0 I 0
0 1 0 0 0 0 0 I 1 0 I I
0 1 I I 1 I I I I 1 0 u
I 0 0 I I 0 0 0 0 0 0 0
I 0 I 1 1 1 1 0 0 0 I I
1 I 0 I I 0 0 0 0 0 1 0
I 1 I 1 1 1 1 0 0 0 0 I

Se pueden codificar los estados de acuerdo con la siguiente asignación:

000 ------------+
10
001 ---------..----
/r
1z
010--------...--.--
011..----------_1¡
100- 1+
101------------,
/s
110- 1o
lll------------------
It

Por consiguiente,ya se está en condicionesde escribir una tabla de transición de estadoscomo la


Tabla 7.11.

Tabla 7.17. Tablade estados


d e l P r o b l e m a7 . 6

Estado actual Estado futuro

Io I1
Ir I2
I2 I"
I. I4
I1 Io
Is I.
J

I6 I2
I1 Ir

Finalmente,el diagrama de flujos del circuito de la Figura 7.25 es el que se muestra en la Figu-
ra 1.26.
300 E L E C T R O N I CDAI G I T A L

F i g u r a 7 . 2 6 . D i a g r a m da e f l u j o sd e l P r o b l e m 7
a. 6 .

7.7. Analizar el circuito de la Figura 7.27, obteniendo la tabla de estados y l a de exci taci ón así
.
como su diagrama de flujos.

Jo o.o J, 4., J2 Q,

Ko
l r T[--]?,,, | r -1- o,
I
I | I I K2

Figura 7.27. l el ProblemaT.T


C i r c u i t os e c u e n c i a d
A U T O M A T A SF I N I T O S 301

Solución: Las ecuacionesde entrada y salida a la vista del circuito son las siguientes:

Jo:Qz
J r : Q o
Jr : Qt' Qo
S : X . Q z
K o : l
K l : Q o
K z : 7

IJna vez conocidas las ecuacionesde entrada, se puede deducir la evolución de los estadospor los
que pasa,tal y como se observaen la Tabla 7.18.

T a b fa 7 . 1 8 . T a b l ad e t r a n s i c i o n edse l P r o b l e m 7
a.-I

Qx¡ Qtto Qovt X J2 K2 Jr Kr ro Ko Qz(t+ tl Qt<t+ tl Qot,n tt ,s


0 0 0 0 0 0 0 I 0 0 I 0
0 0 0 I 0 0 0 I 0 0 1 0
0 0 1 0 0 I 1 I 0 I 0 0
0 0 1 I 0 I I I 0 1 0 0
0 1 0 0 0 0 0 I 0 1 1 0
0 1 0 I 0 0 0 1 0 1 1 0
0 1 1 0 I I I 1 1 0 0 0
0 1 1 I I 1 1 I 1 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0
1 0 0 I 0 0 0 0 0 0 0 I
1 0 1 0 0 1 1 0 0 1 0 0
l 0 l I 0 1 I 0 0 I 0 I
1 1 0 0 0 0 0 0 0 I 0 0
1 1 0 I 0 0 0 0 0 I 0 1
1 1 1 0 I I 1 0 0 0 0 0
t l l I I 1 1 0 0 0 0 1

Se pueden codificar los estadosde acuerdo con la siguienteasignactÓn:

000.--.-) 1n /+
100.---------------
001 --=.-' 1r l0l ---.----- 1s
010--.-----' 1z 110--------.-'-/o
1.
011--...----------- lll.-.-.-+ It

Se está ya en conclicionesde escribir una tabla de transición de estadoscomo la Tabla 7.19.


302 E L E C T R O N I CDAI G I T A L

Tabla 7.19. T a b l a d e e s t a d o sd e l P r o b l e m a T . T

Estado actual X Estadofuturo ^s


Io 0 Ir 0
Io I Ir 0
I\ 0 I2 0
Ir I 1{' 0
I2 0 I3 0
I2 1 I3 0
I3 0 I4 0
I3 1 I4 0
I4 0 Io 0
I^ 1 Io 1
I5 0 I2 0
I5 I I2 I
I6 0 I2 0
I6 1 I2 I
I1 0 Io 0
I1 1 Io I

El diagrama de flujos del circuito de la Figura 7.27 es el que se muestra en la Figura7.28.

+..
*.,.,^-7./
olxo

X :o : 0
"x::o1 |/ t : o /,
X: 1 i
x=oI
/s : 0
x=11 , x:0/s:0

-/ ,p x = 1I s : 1

ry

Figura 7.28. D i a g r a m ad e f l u j o s d e l P r o b l e m a7 . 7 .
A U T O M A T A SF I N I T O S 303

de transición, salida y la de
7.8. Analizar el circuito de la Figura 7.29 obteniendola tabla
excitación,asícomo S U diagramade flujos.

Figura 7.29. l e l P r o b l e m a7 . 8 .
C i r c u i t os e c u e n c i a d

son las siguientes:


solución: Las ecuacionesde entrada y salida a la vista del circuito

J z : Q t Kz: Qt'Qo
S : '(Q'' Qr)
J t : K t - X ' ( Q r @ Q ) + Q o 0o
J o : Q t + Q z Ko: X + ( Q z@ 0 r )

la evolución de los estadospor los


Una vez conocidaslas ecuacionesde entrada se puede deducir
en la Tabl a 7.20 de excitación del circuito'
que pasa, tal y como se puede apreciar

T a b f a 7 . 2 O . T a b l a d e e x c i t a c i ó nd e l P r o b l e m a7 ' 8

Qzrt+t¡ Qrt,*tl Q.oQ+t¡

0 0 0
0 0
0
1 0 1
0 I 0
I
0
1 0
0
0 0 0
0
1 0 0
1
1 0 0
1
0 0 I
0
0 I
0
0 0
I
1 0 0
0 0
0 0
I
I
1
I
304 E L E C T R O N I CDAI G I T A L

Sc'pueden codificar los estadosde acuerdo con la siguienteasignación:

000 --------, 1o 100 __________+


14
001 ------------¡, 101 -- ¡.
010 ___+ 1, 110 ___-_____,
16
011 ---------------+
1. 111 - It

Por consiguiente,ya se está en condicionesde escribir una tabla de transición


de estadoscomo la
Tabla 7.21.
T a b l a 7 . 2 1 . T a b l a d e e s t a d o sd e l p r o b l e m a7 . g

Estado actual X Estado futuro Salida S

Io 0 Il 0
,I 0 1 I1 0
Il 0 I3 I
Il 1
I2 1
I2 0 I6 0
I2 I
I4 0
I3 0 I4 1
I1 I I4 I
I4 0 I5 0
I4 1 I1 0
I5 0 I6 I
I\ I I6 I
I6 0 I1 0
I6 I I1 0
I, 0 Il 0
I7 I Io 0

El diagrama de flujos del circuito de la Figura 7.29 es el que se muestra en


la Fieura 7.30.

X=0

x--:

+__O Figura7.30. Diagrama


tolo de fl uj osdel P r o b l e m a 7 . 8 .
tllo
A U T O M A T A SF I N I T O S 305

y empleando
j.g. Diseñarun circuitoquecuentede 0 a 7 impulsosdandoel resultadoen binario
de automátasfinitos'
para su realizaciinbiestablesdel tipo J-K. utilizar los conceptos
es
y por comodidad a la hora de la codificación de las salidas,
Solución: De acuerdo con el enunciado,
aconsejableutilizarelmodelodeMooreparaestedesarrollo. ].3|,
flujos del sistema,como Se muestra en la Figura
En primer lugar' se dibuja el diagrama de

x=o X=O X:O

X:1 x:1 l2lolo

\
i
,//

X:1

7'9'
Figura 7.31. D i a g r a m ad e f l u j o s d e l c o n t a d o r d e l P r o b l e m a

acuerdo con el diagrama de flujos' tal y como


En segundolugar, se realizala tabla de estadosde
puede apreciarseen la Tabl a 7'22'

Tabla 7.22. T a b l a d e e s t a d o sd e l P r o b l e m a7 ' 9

Estado presente X Estado futuro Salida

Io 0 Io 0 0 0
Io
1
t Il 0 0 0
I1 0 Il 0 0 1
Ir I I2 0 0 1
I2 0 I2 0 1 0
f
l2
I I1 0 1 0
f
l-l 0 I3 0 1 1
I3 I I4 0 1 1
I^ 0 I1 1 0 0
I1 1 I5 1 0 0
Is 0 Is 1 0 1
Is I I6 1 0 1
I6 0 I6 1 1 0
I6 I I1 1 1 0
I1 0 [1 1 1 1
1., 1 Io l l l
306 E L E C T R o N t cD
At c t r A L

En tercer lugar, se hace la asignaciónde estados;en el caso que nos ocupa han de coincidir los
estados internos del contador con las salidas para simplificar el circuito de salida, ya que, de esta
manera,las salidasde los biestablescoincidencon los estadosinternos del autómata.
De acuerdo con lo.dicho, se realiza la asignaciónde estadosde la siguientemanera:

1o- 000
1r .-----.-----.--
001
/u - 010
1¡------.-.--.----011
/+ .---.--------100
/s.--_ 101
1o...--------.-----
110
Ij ---------' lll

En cuarto lugar, se sustituyeesta codificaciónen la tabla de estadosy, además,ampliamos esta


tabla con la tabla de excitación teniendo en cuenta que hay que realizar el circuito empleando
biestablesdel tipo J-K (Tabla 1.23).

Tabla 7.23. T a b l a d e e x c i t a c i ó nd e l p r o b l e m a 7 . 9

Estado presente Estado futuro Salida


X r2 K2 Jr Kl Jo Ko
Qru¡ Qtt't Qout Qztt+ t) Qt(t+ t) Qnr,* ,l ,s2 s' s'
0 0 0 0 0 0 0 0 0 0 0 X 0 X 0 X
0 0 0 I 0 0 I 0 0 0 0 X 0 X I X
0 0 I 0 0 0 1
0 0 1 0 X 0 X X 0
0 0 I I 0 I 0 0 0 I U X I X X I
0 I 0 0 0 1 0 0 I 0 0 X X 0 0 X
0 I 0 I 0 I I 0 1 0 0 X X 0 1 X
0 I I 0 0 I I 0 I 1 0 X X 0 X 0
0 I I I I 0 0 0 I I I X X I X I
I 0 0 0 1 0 0 I 0 0 0 0 X 0 X
1 0 0 I 1 0 I 1 0 0 X 0 0 X I X
I 0 I 0 I 0 I I 0 I X 0 0 X X 0
I 0 I I I I 0 I 0 I X 0 I X X I
I I 0 0 I I 0 I I 0 X 0 X 0 0 X
I I
I 0 I I I 1 I I
I 0 X 0 X 0 I X
1 1 I 0 1
I I I I I X 0 X 0 X 0
1 I I I 0 0 0 1
I I 1 X I X I X
I
I

El quinto paso consisteen obtener los mapas de Karnaugh para reducir la interconexiónde los
biestablespara cada una de sus entradas.teniencloen c u e n t al o s e s t a d o si n l e r n o sy la variable así se
{
obtienen los mapas de Karnaugh de la Figura 7.32.
A U T O M A T A SF I N I T O S 307

oo
(oo 11 10 a2 00 01 11 10
a 01 ñ
00i
1 X
00 0 0 0 0

01 0 0
r-l 0
a)
01 X
f"l b)

11 X X
t
IY
l x 11 0 0
IJ 0

10 0 0 0 0
10 X X

Jr:A.'Ao'X
Kr:ar'ao'X

a o
o
11 10 a. c. 00 01 11 10
o 00 01

00 0 0
rl 0

x
00

01
X

0 0
r¡1
x

0
01 X X

c) d)
X 11 0 0 1 0
11 X X

10 0 0
U 0 10
t_, X

J':X'ao K',:Ao'X

ao oo
11 10 Qro 00 01 11 10
00 01
QrA -¡
00 X 0
00 0
I' " l [ '
X 01 X 1 0
01 0 I

e)
11 0 1 X X 11 X x
r_l 0

10 0 l
v_
r
"l 10 X [,. _t 0

Jo:X Ko=X

d e l o s b i e s t a b l e sJ - K d e l
Figura 7.32. M a p a s d e K a r n a u g h c o r r e s p o n d i e n t e sa l a s e n t r a d a s
P r o b l e m a7 ' 9 .

del autómata de Moore se han hecho


como, además, en la designaciónde estados internos
puede comprobar que las salidascoinciden
coincidir dichos estadoscon las salidasde los biestables,se
las funiiones de éstas mediante los mapas de la
con los estados internos de los biestablessacando
Figura 7.33.
308 E L E C T R O N I CDAI G I T A L

-o

o^Q xoo 01 11 10 Q,Q


\0,
x00 01 11 10
00 0 0 0 0 00 0 0
Í
Tl
01 0 0 0 0 01 0 0 1 ,|
a) b)
11
t- 'l
1
¡
tt] 0 0 1 1

10
t_ 1

Sr=O.
1 t l 101 0
I 0
t_ j
So=Oo

orQ Y 00 01 11 10

00 0 0 0 0

01
I 1 1

¡ c)
11
t_ 1 1 j
10 U 0 0 0

S,=O'

Figura 7.33. M a p a s d e K a r n a u g hd e l a s s a l i d a sd e l p r o b l e m a7 . g .

Dado que sólo se van arealizar transicionesde un estadoa otro


cuando la variableXsea 1 y nunca
cuando x sea 0, el circuito funcionará como contador si se pone
siempre a I laentrada x, y laentrada
de impulsos a contar se realiza a través de la señar de reloj.
Las ecuacionesde entrada de los biestablesquedan cleia
siguienteforma:

Jz : Qt' Qo
Kz : Qt' Qo
J r : Q o
Kt : Q.o
J a : l
( o : 1

Finalmente,el circuito queda como se muestra en la Figura


7.34
A U T O M A T A SF I N I T O S 309

Salidas
so s,, s,
1
1
1 1

PR a1 J, P^ a,
Jo PR oo J1

>ck ,Cr )Cr

PL a K., PL a K, PL a
Ko
7 416 7 76
476

I 1
1
nll d

lm P u l s o s
F i g u r a 7 . 3 4 ' R e s u l t a ddoe l P r o b l e m 7
a'9'

para ello
código Johnson de c,uatrobits, empleando
2.r0. Implementar un circuito que genereun
un sistemasíncrono'
biestablesdel tipo ,/-K que trabajan dentro de

es el que se muestra en la TablaT'24'


Solución: Un código Johnson de cinco bits

Tabla 7.24.
P r o b l e m7a. 1 0

D C B A

0 0 0 0 0
I 0 0 0 1
2 0 0 1 1
a
J 0 1 l l
+
^ 1 1 1 1
5 1 1 1 0
6 1 1 0 0
1 1 0 0 0

es el que se muestra en la Figura 7 '35'


El diagrama de flujos de este generador de códigos
310 ELECTRONIC
DAI G I T A L

1,10011

X:O

l 3 / 0 11 1

t611100 1511110 tol1111

X:O
X:O

Figura 7.35. D i a g r a m ad e f l u j o s d e u n c o n t a d o r J o h n s o n d e c u a t r o b i t sd e l P r o b l e m 7
a.10.

Solución: La Tabla 7.25 se correspondecon la de estadosdel diagrama de flujos de la


Figura7.35.

Tabf a 7.25. T a b l a d e e s t a d o sd e l c o n t a d o r
d e l P r o b l e m a7 . 1 0

Estado presente X Estado futuro D C B A

Io 0 Io 0 0 0 0
Io I Il 0 0 0 0
I. 0 I1 0 0 0 1
I.¡ 1 I2 0 0 0 1
I2 0 I2 0 0 1 1
I2 I I" 0 0 1 1
I- 0 I" 0 l l 1
I-
-1
I I1 0 1 1 1
I4 0 I1 l t 1 1
I1 I Is 1 1 1 1
Is 0 Is I I l 0
I, 1 I6 l 1 l 0
I6 0 I6 r 1 0 0
I6 I I1 l r 0 0
1,. 0 I1 1 0 0 0
I1 I Io 1 0 0 0
S ITOS 311
A U TOMA TAFIN

Seguidamentese realiza la asignaciónde códigos binariosa los estados internos.Como hay ocho
e s t a d o sd i s t i n t o s .s e n e c e s i t a npor lo menos tres bits para codihcarlos.

Io+ 000
11+ 001
lr* 010
1.* 011
Io- 100
1 5 + t0l
16+ 110
I'7+ 111

Sustituyendolos estadosde codificación en la tabla de estados y ampliando ésta con la tabla de


excitación de los biestables./-K. se obtiene la Tabla 7.26.

Tabla 7.26. T a b l a d e e x c i t a c i ó nd e l P r o b l e m a7 . 1 0

Estado presente Estado futuro Salida


X J2 K2 Jr Kr ro Ko
Qzt,t Qtr¡ Qovt Q.zt,*rl Q\,*rl Qntt+tt D C B A

0 0 0 0 0 0 0 0 0 0 0 0 x 0 X 0 x
0 0 0 1 0 0 1 0 0 0 0 0 x 0 X l x
0 0 1 0 0 0 1 0 0 0 1 0 x 0 X x 0
0 0 1 1 0 1 0 0 0 0 1 0 x I X x l
0 1 0 0 0 1 0 0 0 1 1 0 x X 0 0 x
0 1 0 1 0 l l 0 0 1 1 0 x X 0 l x
0 1 1 0 0 t l 0 1 1 1 0 x X 0 x 0
0 1 1 I 1 0 0 0 1 1 1 1 x X I x 1
1 0 0 0 1 0 0 1 1 1 1 x 0 0 X 0 x
1 0 0 I 1 0 1 l l 1 1 x 0 0 X l x
1 0 r 0 1 0 1 I 1 1 0 x 0 0 X x 0
1 0 1 I 1 1 0 1 1 1 0 x 0 1 X x l
1 1 0 0 1 1 0 1 1 0 0 x 0 X 0 0 x
r 1 0 1 l r l 1 r 0 0 x 0 X 0 1 x
t l l 0 1 1 1 1 0 0 0 x 0 X 0 x 0
l l l I 0 0 0 1 0 0 0 x 1 X I x l

Los mapas de Karnaugh para deducir las ecuacionesde interconexión de los biestables"/-K y las
salidasson los que se muestranen la Figura 7.36
312 E L E c r R o N l cD
Al G l r A L

9o K 0 0 01 11 10 9X00 01 11 10
QrO Q"Q
00 0 0 0 0 00 X X X

01 0 0 rí) 0
a)
01 x X
r;) x
b)
11 X X
IJ X 11 0 0 U 0

10 X X X 10 0 0 0 0

J r = Q r ' O o ' X -- Jr=O,,'Qo Kr:Qr'Ao'X -K" =Q,.QO

9'* oo 01 11 10 Q'x oo 01 11 10
QrA, arQ,
00 00

01 01
d)
11 11

10 10

Jl = o o ' x-' J',:Qo K, - A o ' X --,K, =Ao

arQ, 9"x'oo 0 1 11 10
a"Q, -Oo¡
00 01 11

Jo=X - Jo:1 Ko:X -, Kr=1

o
(00 01 11 10 o
y00 01 11 10
ara a,
00 0 0 0 0 00 0 0 f, i)
01 ( 1 1 D s)
01 ( 1 Ir ü h)
11 0 0 0 0 11 0 0 0 0

10 C 1 1 D 10 c D 0 0

sr:dr'o, + ar'Ó., ' , + Q . ' A o+


S n = O rA ' or.or.oo
S r= O rOO,,

ao X 0 0 oo
0 X00 01 11 10
QrA t a.a 1

00 0 0 0 0 00 0 0 0 0

01 0 0 0 0 01 0 0 ( D i)
11 Í- 1 1 I 11 f 1l 0 0

10 lL 1 1 J) 10 C 1 ) 1 l
So:4, S A r ' Ór + Or ' Ó o *O r Or A o
"=

p a r a e l c á l c u l o d e l c i r c u i t o d e e n t r a d a a l o s b i e s t a b l e sd e l
F i g u r a 7 . 3 6 . M a p a sd e K a r n a u g h
P r o b l e m a7 . 1 O .
A U T O M A T A SF I N I T O S 313

Por tanto, el circuito queda como se muestra en la Figura 7'31.

Salidas

oo
ao
4.,

o,
o.
o.

7 4 n -l 7473

Entrada
de
i m p u l s o sX

Figura 7.37. R e s u l t a d od e l P r o b l e m a7 . 1 0 '

7.11. Implementar un contador de ocho estadosque disponga de una señal de control de tal
y cuando dicha señal
manera que cuando ésta sea 1, realiceuna cuenta binaria ascendente,
sea 0 se genere una cuenta descendente.

Solución: De acuerdo con el enunciado del problema, el diagrama de flujos del sistema es el que se
muestra en la Fisura 7.38.
314 ELECTRONIC
DAI G I T A L

t1lool l,l010

t\\o

o
(t

t6111o l51101

Figura 7.38. pilotado por


D i a g r a m ad e f l u j o s d e u n c o n t a d o r a s c e n d e n t e / d e s c e n d e n t e
u n a s e ñ a l d e c o n t r o l . P r o b l e m a7 . 1 1 .

La Tabla 7.27 es la de estadosque correspondecon el diagrama de flujos de la Figura 7.38

Tabla 7.27. T a b l a d e e s t a d o sd e l P r o b l e m a7 . 1 1

Estado presente X Estado futuro C B A

Io 0 I1 0 0 0
Io I I1 0 0 0
I, 0 Io 0 0 1
I.I
I I2 0 0 1
I2 0 I, 0 1 0
I2 1 I^ 0 1 0
I- 0 I2 0 r 1
I- I I4 0 l r
I4 0 I- 1 0 0
I4 1 T.
-) 1 0 0
Is 0 I4 1 0 1
I .) I I6 1 0 1
I6 0 I.
f
I l 0
I6 I I1 1 1 0
I1 0 I6 1 1 1
1., 1 Io 1 1 1
A U T O M A T A SF I N I T O S 315

Seguidamentese realiza la asignación de códigos binarios a los estadosinternos. Como hay ocho
estados distintos se necesitan,por lo menos, tres bits para codifrcarlos.

10 _---- 000
1r - 001
/2 ----------------'
010
1¡-011
/o ------------+100
/, ----------------+
101
16 ----------------+
110
I-, -------------lll

En estecaso de decideimplementarel circuito con biestabletipo D, por tanto, se puede realizarla


Tabla.7.28donde ya se han sustituidolos estadosinternos por los códigos asignados.

T a b fa 7 . 2 8 . T a b l a d e t r a n s i c i o n e sd e l P r o b l e m a7 . 1 1

Estado presente Estado futuro Salida


X D2 Dl Do
Qz<,'t Qro Qoo Qztt+t¡ Qu,*t¡ Qut+tl C B A

0 0 0 0 l t l 0 0 0 1 I I
0 0 0 1 0 0 1 0 0 0 0 0 I
0 0 r 0 0 0 0 0 0 1 0 0 0
0 0 1 I 0 1 0 0 0 1 0 I 0
0 1 0 0 0 0 1 0 r 0 0 0 I
0 1 0 1 0 1 1 0 1 0 0 I I
0 1 1 0 0 1 0 0 t I 0 I 0
0 1 1 I 1 0 0 0 1 1 1 0 0
1 0 0 0 0 1 1 1 0 0 0 I I
1 0 0 I 1 0 1 1 0 0 1 0 1

1 0 1 0 1 0 0 l 0 l I 0 0
l 0 l I 1 1 0 r 0 1 I I 0
1 1 0 0 1 0 1 1 1 0 1 0 I
1 1 0 I 1 1 1 1 1 0 I I I
l 1 l 0 1 1 0 l 1 l 1 I 0
1 1 1 I 0 0 0 r l l 0 0 0

Los mapas de Karnaugh para deducir las ecuacionesde interconexiónde los biestablesD y las
salidas,son los que se muestran en la Figura 7.39.
316 ELECTRONICADIGITAL

oo
a2 oo 01 11 10 arQ 00 01 11 10
",.\"
00
o 0 0 0 00
U 0
U 0

01 0
o 0 0 01 0
rl r?) 0

e D Or
a) b)
11 0 11 0
t
l r)
l
0
U
10 0
C D t_,
Dr=Ar'O.,'Óo'X+Ar'o,,'Oo+
10
r;) 0
f-) 0

D . , = Q .l ,O. o . x + Q o . X ¡ +
*or.or'ao+a.,.oo.X+Ar'o.,.oo.x * o , . ( o o. X + o o . X )
D,,:e.,OOoOX

a^
a,[,' 00
-il0 1 11 10

00
I 0 0

01 1
I 1 0 0
c)
11 1 1 0 0

10
I :)
0 0

Do=Óo

Figura 7.39. M a p a s d e K a r n a u g h p a r a l a d e d u c c i ó n d e l a s e c u a c i o n e sd e e n t r a d a d e l o s
b i e s t a b l e sd e l P r o b l e m a7 . 1 1 .

Empleando el método de simplificación por OR exclusiva para D, se obtiene el mapa de la Figu-


ra 7.10.
o_
aro t \ x00 01 10 11
t l
00
U 0 0 0

01 0 0 0
f)
10 0 G- ¡ U
11 r¡
t l \l_ _t 0

D , : ( Q o @ X ) - O ,(+O . o O , ) . A o . X + O o . X(. a 2 @ o )

F i g u r a 7 . 4 O . M a p a d e O R e x c l u s i v ap a r a l a s i m p l i f i c a c i ó nd e D . e n e l p r o b l e m a 7 . 1 1 .
A U T O M A T A SF I N I T O S 317

Por tanto, el circuito queda como se muestra en la FigutaT'41'

Entradade
rmpulsos
CK
x
Entrada
de control ascendente/descendente
Salida Salida Salida
C B A

Figura 7.41. R e s u l t a d od e l P r o b l e m a7 . 1 1

7.12. Implementar un contador síncronoque medianteuna señalde control genere,a la frecuencia


de la señalde reloj, los números paresdel 0 al 6 cuando la señalde control estáa nivel bajo,
y los números impares entre el 1 y 7 cuando la señal de control está a nivel alto.

Solución: De acuerdocon el enunciadodel problema,si el circuitoseimplementade acuerdocon la


teoriade autómatasfinitostendráochoestadossobrelos quepuedenevolucionarsegúnel diagramade
flujosde la Figura7.42.
318 ELECTRONIC
DAI G I T A L

1,1111

t61110 lul101

X:O

Figura 7.42. D i a g r a m ad e f l u j o s d e u n g e n e r a d o rd e n ú m e r o s p a r e s / i m p a r e sc o n t r o l a d o s p o r
u n a s e n a l d e c o n t r o l ( P r o b l e m a1 . 1 2 ) .

La Tabla 7.29 es la de estados,que correspondecon el diagrama de flujos de la Figura 7.42.

T a b l a 7.29. Tabl ade estadosdel P robl ema7.12

Estado presente X Estadofuturo A B C

Io 0 I2 0 0 0
Io 1 Ir 0 0 0
Ir 0 I2 0 0 1
Il 1 I-
J
0 0 1
I2 0 I4 0 1 0
I2 I I. 0 1 0
I "-t 0 I1 0 l I
I. I Is 0 1 1
I4 0 I6 1 0 0
I4 1 Is 1 0 0
Is 0 I6 1 0 1
I. I I1 l 0 r
I6 0 Io r l 0
I6 I I1 I l 0
I1 0 Io l l r
I1 1 Ir l l l
A U T O M A T A SF I N I T O S 319

Por haber sido elegidoel modelo de Moore para la implementacióndel sistemay para simplificarel
circuito de salida,se codifican los estadosinternos de manera que coincidan con las salidas,por tanto

1o- 000
1r - 001
1z- 010
1¡-----------011
1¿.* 100
1s ----------------'
101
/6 ----------------'
I l0
11 ---+ lll

En estecaso se decide implementar el circuito con biestable tipo J-K, por tanto, se puede realizarla
Tabla 7.30,donde ya se han sustituido los estadosinternos por los códigos asignados.

Tabfa 7.30. T a b l a d e t r a n s i c i o n e sd e l P r o b l e m a7 . 1 2

Estadopresente Estadofuturo Salidas


x J2 Kz Jr Kr Jo Ko
A B C
Qrtt Qto', Qoct Qrot Qtat Qoot

0 0 0 0 0 1 0 U X l x 0 x 0 0 0
0 0 0 I 0 0 1 0 x 0 x 1 x 0 0 0
0 0 1 0 0 1 0 0 x 1 x x l 0 0 1
0 0 1 I 0 1 1 0 x 1 x x 0 0 0 1
0 1 0 0 1 0 0 l x x l 0 x 0 1 0
0 1 0 I 0 1 1 0 x x 0 1 x 0 1 0
0 1 r 0 1 0 0 1 x x l x l 0 l l
0 1 1 I 1 0 1 1 x x l x 0 0 l l
1 0 0 0 1 1 0 x 0 l x 0 x 1 0 0
1 0 0 1 1 0 r x 0 0 x l x 1 0 0
1 0 1 0 1 1 0 x 0 0 x x 0 1 0 r
1 0 1 I 1 1 1 x 0 l x x 0 1 0 1
1 1 0 0 0 0 0 x l x l 0 x 1 1 0
1 1 0 1 l l l x 0 x 0 1 x 1 1 0
l l l 0 0 0 0 x 1 x l x l l l l
1 1 1 1 0 0 1 x 1 x l x 0 1 1 1

Los mapas de Karnaugh para deducir las ecuacionesde interconexión de los biestables-/-K y las
salidasson las que se muestran en la Figura 7.43.

Vous aimerez peut-être aussi