Académique Documents
Professionnel Documents
Culture Documents
7
Autmatas finitos
interno.
Un conjunto finito de 2p estadosde salida siendo p el nmero de variables de salida.
En la prctica, tambin se denomina a estos circuitos Autmatas finitos.
Para observar la evolucin de un autmata 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.
c)
Circuito
combinacional
de
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
280
E L E C T R O N I CDAI G I T A L
a)
diagramas de flujo'
estadosinternos por crculos que contengan
siguiendo el modelo de Moore, se representana los
de salida 0 o 1 dependientedel estado
valor
y
el
en su interior la denonfinacin i.tlu variable
especificadomientras el estado interno
valor
el
interno. De esta forma se indica que la salida tendi
no cambie, sea cual sea el valor de las entradas'
hubiera) se representacon la denominacin
La variable de entrada (variablesde entrada si las
al estado destino'
origen
estado
del
{ y con una flecha se indica la transicin
autmata de Moore del divisor de
un
para
flujos
de
En ra Figura 7.3 se representael diagrama
frecuenciaPor tres.
X:O
t l.,lo\
,
\
{.
. './
{
\
\ , o r
/\
/lo
x=1
X=0
AUTOMATASFINITOS
281
Entrada
Salida
dr
or
ol
J
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
tres
s e g n l a F i g u r a7 . 3 .
ol
x=0/s:0
1.,
(Y
t \
x=0/s:0
r
x:1ls=1
12
-^\
x:0/s:0
Reduccinde estadosequivalentes
Como es natural, del diagrama de estados,que no es otra cosa que una representacingrfica del
nunciado del pj9!&Ia, no tiene por que resuttarsie
e la representacinms nfima sino oue
282
E L E C T R O N I CDAI G I T A L
Entrada
Salida
d)
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
Estadofinal
SalidaMealy
Salida Moore
Io
Io
Ir
Ir
I2
I2
0
1
0
I
0
I
Io
Il
Ir
I2
I2
Io
0
0
0
0
0
1
1
1
0
0
0
0
por ser la m
Hasta este momento, hemos numerado 10s estados internos de forma decimal
habr qu
binarios,
elementos
son
cmoda para nosotros, pero como los elementos de memoria
codificar stos de forma binaria.
es decir' si hay 1
El nmero de bits a emplear ser igual al nmero de elementosde memoria,
2n.
<
<
2n-1
estarlosel_nmeron sgfaQomomnimo el que cumpla:
AUTOMATASFINITOS
283
12 ---+
1r-01
11
Estado final
Salida Mealy
Salida Moore
00
00
01
01
10
10
0
I
0
I
0
I
00
01
01
10
10
00
0
0
0
0
0
1
I
1
0
0
0
0
Tablas de excitacin
0
0
I
I
-+
Qa(t+r)
0
I
0
1
0
1
X
X
I
0
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 sealde reloj. A su vez,en la
de producirse la
final, se han clesignadocon variables Q,,,+r 1estado de dichas salidasdespus
donde se
sistema,
el
sealde rel1. Se han aadido, adems,itrtu. columnascomo biestablestiene
de Q^r,,
la
transicion
realice
indica el r akrr que debentener las entradasde los biestablespara que se
A Qntt- r'
Tabla7.4.
Estado inicial
Qtat
Qoot
0
0
0
0
I
1
0
0
I
I
0
0
g)
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
X
0
I
0
I
0
I
Estado {inal
Jr
Kr
ro
0
0
0
I
t.r
1
0
I
0
0
Ko
Qrt,ntl Qott+t)
0
0
0
I
I
0
0
I
I
0
0
0
Salida Mealy
Salida Moore
0
0
0
0
0
1
1
I
0
0
0
0
de los
A partir de la tabla de excitacinobtenidren la etapa anterior se determinan las entradas
nuestrc
Para
bieitablesen funcin 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 excitacinno 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
I
Quot
0
1
de acuerdc
Esto es debido a que el circuito secuencialque estamosdiseandotiene dos estados'
se r ef lejt
y
111;esto
110,
l
as
combi
naci
ones
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,
cor
rellenarse
pueden
casillas
Dichas
vacas.
en el mapa de Karnaugh quedando varias casillas
1l(
por
estados
los
pasar
va
a
nunca
circuito
que
nuestro
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
0
01
11
10
'-)
iJ
a)
Jt=Oot,t
r(
o r 0r 0
01
0
1
11
10
0
el
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 tambin a las tablas de excitacin;a partir de
ellas podemos obtener un mapa de Karnaugh para la salida de Mealy a\ y otro parala de Moore
).
r(
X
0
o r 0r 0
01
11
-;\
S, :X'
C _t
otrr00
01
f-'l
[,j
10
a)
O11
11
10
0
b)
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
286
DAI G I T A L
ELECTRONIC
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 seal de
Segn lo visto en la Figura 7.10,se puede deducir fcilmenteque la frecuencia
funcionamien'
el
en
sincronizacion
la
reloj Co ha de coincidir con la de la entrada X para conseguir
los impulsos
to del autmata. En consecuencia,podemos iimplificar el autmata introduciendo
la
permanente
1
a
posicionando
Cu
reloj
v
dividir, por la entrada de
i.j:T
::,..**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
51 :
Qtttl
K o : 1
, 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 .
En general, el mtodo reducido o simplificado de diseo de autmatas secuencialesse debe
aplicar en circuitos en los que slo se produzcan cambiosde estado cuandola seal de entrada tenga
tm ttalor determinado-vpermenezcaestable cuando adopten el contrario.
zAa
E L E C T R O N I CDAI G I T A L
/o=00
lr=01
lr:10
lr:11
Fi g u ra 7 ' 1 3 '
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
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
excitacinpara implemen7.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 smbol 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 : . ,
Figura 7.16.
-7
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
01
Izn
l0
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
Tabla 7.6.
Estado actual
Io
Io
Io
0
0
I
0
I
0
I
0
I
0
Io
I1
0
0
I
I
0
0
1
I
I1
Il
Il
I2
I2
I2
I2
Tabla 7.7.
Estado actual
Entradas
Estadofuturo
Salida
Io
0
1
0
0
0
0
I
I
0
0
0
0
I2
Il
Il
Ir
I2
Io
Io
Io
I2
0
I
Io
I2
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
Entradas
Estado futuro
Qtot
Qzt,t
Q\t+t)
Qz6+u
0
0
0
0
0
0
0
0
1
I
I
I
0
0
C
0
1
1
0
0
I
1
0
0
I
I
0
0
I
I
0
I
0
I
0
I
0
I
0
0
1
0
0
0
0
0
I
I
1
0
0
0
0
0
0
0
1
0
0
0
0
0
I
0
0
0
1
0
1
I
Dr
D2
0
1
0
0
0
I
0
0
0
I
0
0
0
1
1
.l
0
0
0
0
0
0
0
Salida
.s
0
I
0
0
0
0
1
1
0
0
0
0
FINITOS
AUTOMATAS
291
*"9
Y; =:L
X:X
Y:1
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 '
Figura 7.17.
l '17'
estadosdel diagrama de flujos de la Figura
Solucin: La Tabla 7.8 es la de transicin 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
Io
Il
T
rO
I,^
I
0
0
I
r l
I1
Il
Il
I2
I2
[.
I2
I1
I\
I\
I3
I1
I1
1
0
0
I
1
0
0
I
1
0
0
I4
I1
I
0
1
0
I2
I2
I3
Il
0
I
0
1
0
I
0
I
0
1
0
I
Il
I3
I1
13
I,
I4
I2
13
I3
I2
I4
I4
13
I2
Io
T L h UI H U N I U A D I G I T A L
1o
100 ------
/o
11
010 -------------*
1,
011 ___-+ 1-,
Por tanto' la tabla de excitacin,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
Qx
Qtu
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
I
1
I
1
1
1
I
I
0
0
0
0
Estado futuro
Qoo
Qz<t+
t) Q(,*t) Qott+t
0
0
I
I
0
0
I
1
0
0
I
I
0
0
1
I
0
0
I
I
0
I
0
I
0
I
0
I
0
I
0
I
0
I
0
I
0
I
0
I
0
0
0
0
0
0
0
0
0
0
I
0
0
0
0
I
I
0
0
0
0
0
0
1
I
0
0
0
I
0
0
0
0
0
0
0
0
0
0
0
0
I
0
0
0
0
I
X
X
0
I
1
0
X
X
X
I
0
I
0
X
X
I
0
0
0
1
I
0
I
0
0
0
0
I
t
0
I
0
0
X
X
X
X
X
X
X
X
X
0
I
0
0
X
X
X
X
0
0
I
I
X
X
i(
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 .
Estado futuro
Salida
Io
0
I
0
1
0
1
0
1
Ir
Ir
I2
Ir
I2
I3
Io
I3
0
0
0
0
1
I
1
1
Io
Il
Ir
I2
I2
I3
I3
T a b fa 7 . 1 1 .
Estado actual
Qto
Qrut
0
0
0
0
1
0
0
1
I
0
0
I
I
I
1
X
0
I
0
1
0
1
0
I
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
Estadofuturo Jr
Qtrt+u Qoo*t
Jo Ko
1
1
n
0
I
0
0
0
I
0
I
I
I
0
I
0
0
1
0
I
0
I
0
I
Kr
X
X
X
Salida
0
0
0
0
1
1
1
1
de bajada,implementar un
7.4. Empleando un biestableJ-Ky un biestableD activos por flanco
110.
100,
010,
000,
circuito que generela siguientesecuencia:
de flujospara
Solucin: 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.
Estado futuro
Io
Io
0
1
0
I
0
I
0
I
Io
Il
Il
[2
I2
I3
I1
Il
Il
I2
I2
Salida
0
0
0
0
I
I3
[3
I
I
Io
0
0
1
I
0
0
I
I
00
01
Izl0
1.--.---.-.----._ l l
Io-
1l-
un biestableD.
AUTOMATASFINITOS
Tabla 7.13.
Estadoactual
Qu,t
Qnut
0
0
0
0
1
I
I
1
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
Estadofuturo
Q.t(t+tt Qn<t+t't
0
0
I
I
0
0
I
I
295
0
1
0
1
0
I
0
1
0
0
0
1
1
1
I
0
0
I
1
0
0
I
I
0
Kr
0
0
x
x
.3.X
1
x
x
x
x
x
0
0
0
l
Salida
,S2 st
0
I
I
0
0
1
I
0
0
0
0
0
I
1
1
I
0
0
I
I
0
0
1
I
ro 00
01
11
c\_
)ooo
10
01
11
10
a)
b)
Cl
K',:X'Ao
J.,=x'Qo
o
oo
o.
0
1
11
01
eD
0
10
o"
oo
01
c)
D = X . O o+ X . O o
D=X@Oo
11
l.r_j
10
'l
d)
Sr=O',
o
.\o.oo
"
0
1
11
01
6-
tL _J
10
0
' i
e)
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
IGITAL
ELECTRONIC
('t,rnt) puede apreciarse,las salidas de los biestablescoinciden con la salida de los autmatas, tal
ct)rrrse ha comentadoanteriormente.El circuito ser,por tanto, el que se muestraen la Figura7.2l.
.f
X
ck
a. 4 .
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
7.5. Implementar con biestablesJ-K el autmata 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 .
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
Estado futuro
Salida
Io
0
I
0
I
0
1
Io
Ir
Ir
I2
I1
Io
0
0
0
0
I
Io
[1
I1
I2
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 excitacin,utilizando biestables-/-K, quedar tal y como se muestra en la 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
Tabla 7.15.
Estado actual
Qrr,
Qot,t
0
0
0
0
I
0
0
1
1
0
0
Estado futuro
Q\t+t)
0
1
0
I
0
1
0
0
0
I
0
0
Q.ott+tl
0
1
I
0
I
0
Jo Ko
0
I
0
1
0
0
0
0
1
Jr
Kr
0
0
0
1
X
1
I
1
I
2ooo
X
0
01
11
10
el
a)
X
J.,:X au
\O,
X \ oooo
0
1
0
1
11
10
C :D
el
c)
J o : X ' O , ,+ X . O . ,
Jo:xe)o,
a
o,
01
oo
0
0
01
0
11
10
(:
\:_
Ko:X
1 l
e)
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.
7.6.
R e s u l t a d od e l P r o b l e m a7 ' 5 .
Solucin: 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 :
Q.r. Qo
-l Qz
por los
Una vez conocrdaslas ecuacionesde entrada se puede deducir la evolucin 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
Tabla 7.16.
Qz<,'t Qt<t
0
0
0
0
I
I
1
I
0
0
1
1
0
0
I
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
Qn<,
J2
K2
0
I
0
I
0
I
0
I
0
0
0
I
I
1
I
0
0
0
1
I
1
I
1
0
1
0
I
0
1
0
1
299
Jo
Ko
0
1
0
I
0
1
0
1
I
1
I
I
0
0
0
0
1
1
1
I
0
0
0
0
0
0
0
1
0
0
0
0
0
I
I
0
0
I
1
0
I
0
I
u
0
I
0
I
10
000 ------------+
/r
001 ---------..---1z
010--------...--.-011..----------_1
1+
100101------------,
/s
1101o
lll-----------------It
Estado futuro
Io
Ir
I2
I.
I1
Is
I6
I1
I1
Ir
I2
I"
I4
Io
I.
I2
J
Finalmente,el diagrama de flujos del circuito de la Figura 7.25 es el que se muestra en la Figura 1.26.
300
E L E C T R O N I CDAI G I T A L
a. 6 .
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
.
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.
x
o.o
Jo
k
Ko
J,
l r T[--]?,,,
I |
Figura 7.27.
4.,
r -1I
J2
Q,
K2
o,
C i r c u i t os e c u e n c i a d
l el ProblemaT.T
301
A U T O M A T A SF I N I T O S
Solucin: 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 evolucin de los estadospor los
que pasa,tal y como se observaen la Tabla 7.18.
a.-I
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
Qx
Qtto
Qovt
J2
0
0
0
0
0
0
0
0
1
1
1
l
1
1
1
t
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
l
0
0
1
1
0
0
1
1
0
0
1
l
0
0
1
l
0
I
0
I
0
I
0
I
0
I
0
I
0
0
0
0
0
0
0
0
I
K2
I
0
0
0
0
0
0
I
I
Jr
Kr
0
0
I
I
0
0
I
0
0
1
I
0
0
I
1
0
0
1
I
0
0
1
1
0
0
1
1
0
0
I
1
ro
Ko
Qz(t+ tl
Qt<t+ tl
Qot,n tt
,s
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
I
1
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
I
0
I
0
1
0
1
I
I
I
I
1
1
I
0
0
0
0
0
0
0
0
1
1
1
0
0
0
0
1
I
I
I
0
0
1n
1r
/+
100.--------------l0l ---.----- 1s
010--.-----'
1z
110--------.-'-/o
1.
011--...-----------
lll.-.-.-+
It
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
Estadofuturo
Io
Io
0
I
0
I
0
1
0
1
0
1
0
I
0
1
0
1
Ir
Ir
I\
Ir
I2
I2
I3
I3
I4
I^
I5
I5
I6
I6
I1
I1
I2
1{'
I3
I3
I4
I4
Io
Io
I2
I2
I2
I2
Io
Io
^s
0
0
0
0
0
0
0
0
0
1
0
I
0
I
0
I
+..
*.,.,^-7./
olxo
"x::o1 |/ t : o
x=oI
/s : 0
x=11 ,
-/ ,p
ry
Figura 7.28.
X :o : 0
/,
X: 1 i
x:0/s:0
x = 1I s : 1
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 transicin, salida y la de
7.8. Analizar el circuito de la Figura 7.29 obteniendola tabla
ascomo S U diagramade flujos.
excitacin,
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
Kz:
J t : K t - X ' ( Q r @ Q ) + Q o
J o : Q t + Q z
S :
Ko:
Qt'Qo
'(Q'' Qr)
0o
X + ( Q z@ 0 r )
0
0
1
I
0
0
1
1
0
0
I
1
0
0
I
I
0
0
0
0
0
0
1
1
0
0
0
0
0
0
I
1
0
0
1
I
1
0
0
0
0
Q.oQ+t
0
0
0
0
0
I
I
0
0
304
E L E C T R O N I CDAI G I T A L
100 __________+
14
101 -.
110 ___-_____,
16
1,
011 ---------------+
1.
111 -
It
Estado futuro
Salida S
Io
Il
,I 0
I1
0
0
I
1
0
0
1
I
0
0
I
I
0
0
0
0
Il
I3
Il
I2
I2
I6
I2
I4
I3
0
I
0
1
0
I
0
I
0
I
I1
I4
I4
I5
I\
I6
I6
I,
I7
I4
I4
I5
I1
I6
I6
I1
I1
Il
Io
X=0
x--:
+__O
tolo
tllo
Figura7.30. Diagrama
de fl uj osdel P r o b l e m a 7 . 8 .
A U T O M A T A SF I N I T O S
305
y empleando
j.g. Disearun circuitoquecuentede 0 a 7 impulsosdandoel resultadoen binario
finitos'
automtas
de
para su realizaciinbiestablesdel tipo J-K. utilizar los conceptos
es
y por comodidad a la hora de la codificacin de las salidas,
Solucin: 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:1
x:1
X:O
l2lolo
\
,//
X:1
Figura 7.31.
7'9'
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
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
Estado futuro
Io
Io
Il
I1
Il
Ir
I2
I2
I2
I1
0
I
0
1
0
I
0
I3
I6
I1
I1
0
1
[1
Io
l2
f
l-l
I3
I^
I1
Is
Is
I6
1.,
I4
I1
I5
Is
I6
I6
Io
Salida
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
l
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
l
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
l
E L E C T R o N t cD
At c t r A L
306
En tercer lugar, se hace la asignacinde 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 autmata.
De acuerdo con lo.dicho, se realiza la asignacinde estadosde la siguientemanera:
1o000
1r .-----.-----.-001
/u 010
1------.-.--.----011
/+ .---.--------100
/s.--_
101
1o...--------.----110
Ij ---------'
lll
Tabla 7.23.
Estado presente
Qru
Qtt't
0
0
0
0
0
0
0
0
0
0
0
0
I
I
1
I
I
I
I
1
1
I
0
0
0
0
I
I
I
1
I
Qout
0
0
I
I
0
0
I
I
0
0
I
I
0
0
I
I
X
0
I
0
I
0
I
0
I
0
I
0
I
0
I
0
I
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 futuro
Salida
0
0
0
0
0
0
0
I
1
1
I
I
I
I
1
0
0
0
I
1
I
I
0
0
0
0
I
I
I
I
0
0
I
1
0
0
I
I
0
0
I
I
0
0
1
I
0
,s2 s'
s'
r2
K2
Jr
0
0
0
0
0
0
0
0
I
0
0
0
0
0
U
0
0
0
I
0
0
0
I
I
I
I
I
I
1
I
0
0
0
0
I
1
I
I
0
0
0
0
I
I
I
I
I
I
0
0
1
I
0
0
I
I
0
0
I
1
X
X
0
0
0
I
0
0
0
0
0
0
0
X
X
X
X
X
Kl
Jo
Ko
0
I
0
I
0
0
0
I
0
1
X
X
0
I
0
I
0
I
0
I
0
0
0
X
X
El quinto paso consisteen obtener los mapas de Karnaugh para reducir la interconexinde 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
oo
(oo
01
11
10
00
01
11
10
r-l
t
IY
a2
00
00i
01
11
01
10
f"l
a)
307
b)
11
IJ
10
Kr:ar'ao'X
Jr:A.'Ao'X
00
01
00
01
11
rl
a. c.
10
00
00
01
11
01
10
x
d)
c)
11
10
11
10
t_,
K',:Ao'X
J':X'ao
oo
ao
01
11
I'
" l
00
QrA
00
01
11
10
"l
00
Qro
10
00
01
11
10
01
v_
Jo:X
Figura 7.32.
11
1
x
[,.
10
0
[ '
e)
r_l
0
_t
Ko=X
d e l o s b i e s t a b l e sJ - K d e l
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 .
308
E L E C T R O N I CDAI G I T A L
-o
xoo
o^Q
00
01
11
10
01
11
10
Q,Q
\0,
x00
01
11
10
Tl
00
01
,|
tt]
101 0
a)
tt_
'l
b)
t l
Sr=O.
t_ j
So=Oo
Y 00
orQ
00
01
11
10
01
11
10
t_
U
c)
j
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 .
Qt' Qo
Kz :
Qt' Qo
J r : Q o
Kt :
Q.o
J a : l
( o : 1
309
A U T O M A T A SF I N I T O S
Salidas
Jo
PR
oo
PL
K.,
P^
a,
PL
)Cr
,Cr
K,
PL
7 76
7 416
476
1
nll
J,
a1
PR
J1
>ck
Ko
s,
s,,
so
lm P u l s o s
a'9'
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
para ello
cdigo Johnson de c,uatrobits, empleando
2.r0. Implementar un circuito que genereun
sncrono'
un sistema
biestablesdel tipo ,/-K que trabajan dentro de
es el que se muestra en la TablaT'24'
Solucin: Un cdigo Johnson de cinco bits
Tabla 7.24.
P r o b l e m7a. 1 0
D C B A
0
I
2
a
J
5
6
1
0
0
0
0
1
1
1
1
0
0
0
1
1
1
1
0
0 0
0 1
1 1
l l
1 1
1 0
0 0
0 0
310
ELECTRONIC
DAI G I T A L
1,10011
X:O
l 3 / 0 11 1
t611100
1511110
X:O
Figura 7.35.
tol1111
X:O
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.
Estado presente
Io
Io
I.
I.
I2
I2
III4
I1
Is
I,
-1
I6
I6
1,.
I1
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 futuro
0
I
0
Io
I1
I2
0
I
0
I
0
I
0
1
0
I
0
I
Il
I2
I"
I"
I1
I1
Is
Is
I6
I6
I1
I1
Io
D C B A
0
0
0
0
0
0
0
0
l
1
I
l
r
l
1
1
0
0
0
0
0
0
l
1
t
1
I
1
1
r
0
0
0 0
0 0
0 1
0 1
1 1
1 1
l 1
1 1
1 1
1 1
l 0
l 0
0 0
0 0
0 0
0 0
A U TOMA TAFIN
S ITOS 311
internos.Como hay ocho
Seguidamentese realiza la asignacinde cdigos binariosa los estados
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.
000
001
010
011
Io+
11+
lr*
1.*
Io-
100
t0l
110
111
1 5 +
16+
I'7+
Tabla 7.26.
Estado presente
Qzt,t
0
0
0
0
0
0
0
0
1
1
1
1
1
r
t
l
Qtr
Qovt
0
0
0
0
1
1
1
1
0
0
0
0
1
1
l
l
0
0
1
1
0
0
1
1
0
0
r
1
0
0
l
l
X
0
1
0
1
0
1
0
I
0
I
0
I
0
1
0
I
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 futuro
Q.zt,*rl Q\,*rl
0
0
0
0
0
0
0
1
1
1
1
1
1
l
1
0
0
0
0
1
1
l
t
0
0
0
0
1
1
r
1
0
Salida
Qntt+tt D C B A
J2
K2
Jr
Kr
ro
Ko
0
0
0
0
0
0
0
0
1
l
I
1
1
1
1
1
0
0
0
0
0
0
0
1
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
0
0
0
0
0
0
0
1
0
0
0
I
0
0
0
I
0
l
x
x
0
l
x
x
0
l
x
x
0
1
x
x
x
x
0
l
x
x
0
1
x
x
0
l
x
x
0
l
0
1
1
0
0
l
l
0
0
1
1
0
0
l
1
0
0
0
0
0
0
0
1
1
1
l
1
1
1
r
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
0
0
X
X
X
X
X
X
0
0
0
1
0
0
0
I
X
X
X
X
X
X
Los mapas de Karnaugh para deducir las ecuacionesde interconexin 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
QrO
9o K 0 0
01
11
00
01
11
10
9X00
10
Q"Q
r)
a)
00
01
9'* oo
10 0
11
Kr:Qr'Ao'X
10
arQ,
Q'x oo
11
10
10
00
01
= o o ' x-'
K, - A o ' X
J',:Qo
11
01
10
-K" =Q,.QO
11
10
d)
a"Q, -Oo
00
01
--,K, =Ao
11
Ko:X -, Kr=1
Jo=X -
Jo:1
01
11
10
y00
00
a,
s)
01
11
11
10
10
oo
a.a
QrA t
01
10
11
f,
i)
Ir
h)
' or.or.oo
S n = O rA
' , + Q . ' A o+
sr:dr'o, + ar'.,
S r= O rOO,,
ao X 0 0
b)
IJ
11
(00
01
r;)
U
01
ara
00
9"x'oo 0 1
10
11 0
00
Jl
arQ,
01
11
QrA,
01
X00
01
11
10
1l
1 )
00
00
01
01
11
10
lL
1
So:4,
J)
11
10
i)
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
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 seal de control de tal
y cuando dicha seal
manera que cuando sta sea 1, realiceuna cuenta binaria ascendente,
sea 0 se genere una cuenta descendente.
Solucin: 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
l51101
t6111o
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 .
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
Estado futuro
Io
Io
I,
I.
I2
I2
III4
I4
Is
I .)
0
I
0
I
0
1
0
I
0
1
0
I
0
I
0
1
I1
I1
I6
I6
I1
1.,
Io
I2
I,
I^
I2
I4
I-
T.
-)
I4
I6
I.
f
I1
I6
Io
C B A
0
0
0
0
0
0
0
0
1
1
1
1
I
1
1
1
0
0
0
0
1
1
r
l
0
0
0
0
l
1
1
1
0
0
1
1
0
0
1
r
0
0
1
1
0
0
1
1
A U T O M A T A SF I N I T O S
315
Seguidamentese realiza la asignacin de cdigos binarios a los estadosinternos. Como hay ocho
estados distintos se necesitan,por lo menos, tres bits para codifrcarlos.
000
10 _---1r 001
010
/2 ----------------'
1-011
/o ------------+100
/, ----------------+
101
16 ----------------+
110
------------I-,
lll
T a b fa 7 . 2 8 .
Estado presente
Qz<,'t
0
0
0
0
0
0
0
0
1
1
1
l
1
1
l
1
Qro
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
Qoo
0
0
r
1
0
0
1
1
0
0
1
l
0
0
l
1
X
0
1
0
I
0
1
0
I
0
I
0
I
0
I
0
I
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 futuro
Qztt+t Qu,*t Qut+tl
l
0
0
0
0
0
0
1
0
1
1
1
1
1
1
0
t
0
0
1
0
1
1
0
1
0
0
1
0
1
1
0
l
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
Salida
C B A
0
0
0
0
0
0
0
0
1
1
l
r
1
1
0
0
0
0
r
1
t
1
0
0
0
0
1
1
0
0
1
1
0
0
I
1
0
0
l
1
0
0
D2
1
0
0
0
0
0
0
1
0
1
I
I
1
I
1
0
Dl
Do
I
I
0
0
I
I
0
0
I
0
0
I
0
I
I
0
I
0
0
I
0
I
I
0
0
I
I
0
0
Los mapas de Karnaugh para deducir las ecuacionesde interconexinde los biestablesD y las
salidas,son los que se muestran en la Figura 7.39.
316
ELECTRONICADIGITAL
oo
a2
",.\"
00
01
oo
01
11
10
o
o
e D Or
0
00
01
11
00
01
arQ
a)
11
10
11
C D t_,
10
Dr=Ar'O.,'o'X+Ar'o,,'Oo+
*or.or'ao+a.,.oo.X+Ar'o.,.oo.x
rl r?)
0
10
l r)
r;)
0
U
f-)
b)
D . , = Q .l ,O. o . x + Q o . X +
* o , . ( o o. X + o o . X )
D,,:e.,OOoOX
a^
00
a,[,'
00
01
-il0 1
1
1
I
11
10
0
c)
11
10
:)
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 mtodo de simplificacin por OR exclusiva para D, se obtiene el mapa de la Figura 7.10.
o_
aro t
x00
t
00
01
10
11
r
t
01
10
11
G-
l
\l_
_t
f)
U
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
C
Figura 7.41.
Salida
B
Salida
A
R e s u l t a d od e l P r o b l e m a7 . 1 1
318
ELECTRONIC
DAI G I T A L
1,1111
lul101
t61110
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 ) .
Estadofuturo
Io
Io
I2
Ir
I2
I-
I4
0
1
0
1
0
I
0
I
0
I4
Is
Is
0
I
0
I
0
1
I6
Ir
Il
I2
I2
I "-t
I.
I.
I6
I6
I1
I1
I4
I.
I1
Is
I6
I1
Io
I1
Io
Ir
A B C
0
0
0
0
0
0
0
0
1
1
1
l
r
I
l
l
0
0
0
0
1
1
l
1
0
0
0
0
l
l
l
l
0
0
1
1
0
0
I
1
0
0
1
r
0
0
r
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 implementacindel sistemay para simplificarel
circuito de salida,se codifican los estadosinternos de manera que coincidan con las salidas,por tanto
1o000
1r 001
1z010
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 cdigos asignados.
Tabfa 7.30.
Estadopresente
Qrtt Qto', Qoct
0
0
0
0
0
0
0
0
1
1
1
1
1
1
l
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
l
1
0
0
1
1
0
0
r
1
0
0
1
1
0
0
l
1
x
0
I
0
I
0
I
0
I
0
1
0
I
0
1
0
1
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
Estadofuturo
J2
Qrot Qtat Qoot
0
0
0
0
1
0
1
1
1
1
1
1
0
l
0
0
1
0
1
1
0
1
0
0
1
0
1
1
0
l
0
0
0
1
0
1
0
1
0
1
0
r
0
1
0
l
0
1
Kz
Jr
Kr
Jo
Ko
0
0
0
l
0
1
1
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
0
0
0
0
l
0
1
1
l
0
1
1
x
x
x
x
l
0
0
l
x
x
x
x
x
x
x
x
l
0
l
l
x
x
x
x
l
0
l
l
0
1
x
x
0
1
x
x
0
l
x
x
0
1
x
x
x
x
l
0
x
x
l
0
x
x
0
0
x
x
l
0
Salidas
B
C
0
0
0
0
0
0
0
0
1
1
1
1
1
1
l
1
0
0
0
0
1
1
l
l
0
0
0
0
1
1
l
1
0
0
1
1
0
0
l
l
0
0
r
1
0
0
l
1
Los mapas de Karnaugh para deducir las ecuacionesde interconexin de los biestables-/-K y las
salidasson las que se muestran en la Figura 7.43.