Académique Documents
Professionnel Documents
Culture Documents
Autómatas finitos
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
Circuito
combinacional
de
entrada
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.
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
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
x=0/s:0
1.,
\
(Y
t \ r
12
I
x=0/s:0 x:1ls=1
\ -^\ x:0/s:0
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
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
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
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
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
-+
Q,O Qa(t+r) J K
0 0 0 X
0 I 1 X
I 0 X I
I 1 X 0
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
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
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)
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
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.
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
Jr : Qoo¡ K r : 1
Jo : Q u,t K o : 1
51 : Qtttl , S 2: Q r t ) Qoo
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 .
/o=00
lr=01
lr:10
lr:11
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
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
1o-00
/1 ---+ 01
Izn l0
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
\
*"9
Y; í=:L
X:X
Y:1
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
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
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
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
/o --------+ 00
/, ------------+01
I, ------------>lo
¡, -------------r
1l
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
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.
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
Io- 00
1l- 01
Iz- l0
1.--.---.-.----._ l l
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
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
ñ 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 .
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 .
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
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
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
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
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.
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
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
000 ------------+
10
001 ---------..----
/r
1z
010--------...--.--
011..----------_1¡
100- 1+
101------------,
/s
110- 1o
lll------------------
It
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
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
000.--.-) 1n /+
100.---------------
001 --=.-' 1r l0l ---.----- 1s
010--.-----' 1z 110--------.-'-/o
1.
011--...----------- lll.-.-.-+ It
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
+..
*.,.,^-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
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 )
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
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
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
X=0
x--:
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
\
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
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
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
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 .
-o
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 .
Jz : Qt' Qo
Kz : Qt' Qo
J r : Q o
Kt : Q.o
J a : l
( o : 1
Salidas
so s,, s,
1
1
1 1
PR a1 J, P^ a,
Jo PR oo J1
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
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
1,10011
X:O
l 3 / 0 11 1
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.
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
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
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
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
9'* oo 01 11 10 Q'x oo 01 11 10
QrA, arQ,
00 00
01 01
d)
11 11
10 10
arQ, 9"x'oo 0 1 11 10
a"Q, -Oo¡
00 01 11
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
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
Salidas
oo
ao
4.,
o,
o.
o.
7 4 n -l 7473
Entrada
de
i m p u l s o sX
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
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
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
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
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 .
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
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
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 ) .
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
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.