Documente Academic
Documente Profesional
Documente Cultură
Y = {y y, ,..., y }
2 r
Q = {q q, ,..., q }
2 p
modific intrrile sau strile) sau cu ntrziere (ieirile se modific cu o ntrziere de o perioad de ceas fa de modificarea intrrilor sau a strilor)
X Q
CLC REGISTRU
CLK
X Q
X Q
X Q
X Q
CLC
CLC
CLC 1
CLC 1
Y CLK
REGISTRU
CLK
REGISTRU Y
CLK
REGISTRU
CLK
REGISTRU 1
CLC 2 Y
CLC 2
CLK
REGISTRU 2 Y
2 r
ct
ri
fu
a e
n e e
ut o m at
at i ormar e
ea ac i autom m
o atelor i z a r e g l o b a l s e p o t
na e finite n u fin m ite prob ai lema as x x fund u pr q qxxq qx x y y ame a x y ntal m M ul yoy x o care m r 2 se ii q e x yq pune st x la x M y sinte il x e y or za y a y q q , l auto de y mate ci xx lor ef finit ec x te e i est x y x y qy e m x cea p Mealy Mo a or ore opt ta Fig. imi nt z 8.3 e rii; de Transf se m po
1 3 3 1 2 4 1 22 1 2 1 2 2 1 1 3 4
2 3
o b i n e p r i n r
(
A= XYQ i (Q x ) =
k k
)
sunt
echivalente dac (Q x ) =
( )
Q xk
( )
Q xk
pentru orice secven finit posibil de intrare x . metoda tabelului implicaiilor reduce numrul strilor
automatelor complet specificate prin partiionarea mulimii
simbolul dac strile din perechea respectiv sunt implicaiile privind echivalena succesorilor, dac strile din perechea respectiv sunt 1-echivalente (adic
(Q x ) = (Q xk )).
k
exemplu:
starea prezent Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8
Q3/0 Q2/0
Q5/1
Q4/0
Q5/0 Q3/0
Q6/1
Q7/1
Q4/1
Q8/1 Q7/1
Q2/1
Q5/1 Q4/0
Q4/0
Q2/0 Q5/1
Q5/0 Q4/0
Q6/0
Q1/0
Q1/0
Q6/1
Q6/1
Q7/1 Q7/1
Q6/1 Q4/0
Q4/0
Q2
Q3 Q4 Q5 Q6
Q7 Q8
u or ic e
) (
A = X Y Q
t r a r e x .
k
(
Q
se cv
Q, Q Q
6
8}}
(
x
Q
k
en
i
x
fi ni t p
su nt co m pa
)
p e n
(
Q
os ib il de in
ti bi le da
x
k
t r
det er mi nar ea cla sel or de co mp ati bil it i se fac e tot cu tab elu l i m p l
i c a i i l o r , d a r a i c i l i p s e t e p r o p r i e t a t e
exemplu:
starea prezent
starea urmtoare/ieire x1x2x3x1 Q 3/ -/- Q4/ Q2/Q 0 Q2/ 1 Q3/1 Q-/- 1 Q6/- -/Q Q2/ Q6/ -/- Q3/- /0 Q 0 1 Q2/ -/- Q3/ 0 Q3/1 Q Q1/ 1 Q4/- Q5/0 Q 0 Q6/ - /0 -/ Q3/ 0 1 1 Q2/ Q2/ 0 Q4/ -
Q1~Q2QQ32~~QQ64 Q2~Q3
Q Q2 Q
2
Q4~ Q6 Q
3
Q1~Q2 Q4 Q4~Q6 Q5
Q
3
Q6
Fig. 8.7 Tab elul triu ngh iula r al imp lica iil or strile Q i Q sunt incompatibile, deci i strile Q i Q sunt n mod cert incompatibil e
3 6
3
Q i Q ~ Q
k i k
totalitatea claselor de compatibilit i maxime formeaz o acoperire a mulimii strilor automatul ui:
{
Q Q Q, } ,
3
Q Q Q },
5
Q Q Q, }
6
i {Q Q Q}
7
ASSN-8
strile Q ,
i
numai dac Q~ Q, Q~
i j j
)C
)C
)C
)C
Mulimi implicate (
{Q , Q , Q } {Q , Q }
1 2 3 2 6
{Q , Q , Q } { Q , Q , Q } {Q , Q , Q Q} {Q , Q , Q } Q
1 3 5 2 4 6 3 5 7 1 2 3
{,Q}
2 3
{Q , Q }
4 6
{,Q} {Q , Q }
1 2 4 6
Fig. 8.8 Clase de compatibiliti maxime i implicaiile lor o clas de compatibiliti C dintr-o acoperire dat poate fi j C exclus de o alt clas C , dac , iar clasa exclus C
j i i
Ci
I C
clasele de compatibiliti care nu sunt excluse de alte clase de compatibiliti ale aceluiai automat incomplet specificat se numesc clase de compatibiliti prime
( Compatibiliti prime ( Mulimi )C
j
)C
10
11
{Q , Q } {Q , Q }{Q , Q } {Q , Q } {Q , Q } {Q , Q } {Q , Q } {Q , Q } {Q , Q }
1 2 2 3 1 3 1 5 3 5 2 6 3 7 2 3 2 6
implicate ( jQ 4,Q6}
2 3 1
)
3 1 2
{Q , Q }{Q , Q } {Q , Q }
{Q , Q }
4 6
Fig. 8.9 Clase de compatibiliti prime i implicaiile lor prin nlturarea unei stri din clasa C se formeaz clasele C , C i C ; clasa C formeaz clasele noi C i C ; clasa C
1 5 6 7 2 8 9
C (clasele Q Q }
10
{
i Q Q } sunt
{
11
acoperirea minim are numai 3 elemente: clasa C pentru c este singura care l conine pe Q , C care este implicat de
4
1
C i C
1
A
0
dac A = 01 , B = 10 i C = 11: Q = x
1
i Q = x + Q +
2 1
B
0
C
0 1
dac A = 01 , B = 00 i C = 11: Q = x
1
. (Q
+Q )
Q = x + Q+
2 1+ Q2
Fig. 8.10 Dou codificri posibile pentru un automat finit o codificare aleatoare a strilor poate oferi o soluie corect
(numai dac x - sincron), dar complexitatea CLC-ului ar putea
< m 2r
2!
r
starea urmtoare / ieire x1x2= 00 S1/ 0 S2/ 0 S3/ 0 x1x2= 01 S2/ 0 S3/ 1 S1/ 1 x1x2= 11 S3/ 1 S1/ 0 S1/ 1 x1x2= 10 S2/ 1 S3/ 1 S1/ 1
2 m !
r
ab,
{}
unde a b
i
0 1 , iar, i = 1 2,3
= Q
i
pentru k = 0 = pentru k 1
Q
1
aQQx x
b
+
1
+( QQxx QQ
12
2
)
QQxx
b 12
+QQxx
]+
12
aQQx x
12
QQxx
12 12
QQxx
12
2
][
3
a Q Q x x+ Q Q x x
3
+QQxx
12
2 1
+QQxx
2 3
12
] = a E+ a E+ a E
1
12
12
Q +=b E + b E + b E
Regula 1: Strile prezente care au aceeai stare urmtoare, pentru aceleai intrri, primesc coduri adiacente.
QQaxx + axx
112
+a x x +a x x +a x x
axx
)+
(
112
+axx +
QQaxx
Regula 2: Strile urmtoare unei stri prezente, care se afl pe coloane cu intrri adiacente, primesc coduri adiacente. ieirea y se scrie sub forma:
+ Q Q 3 + x x Q Q( 1 1 y = x x Q Q2 2 ab + + Q Q + Q Q) (
a b
(
1 1
a b
+ Q Q3 +
b
xxQQ
ASSN-8
Regula 3: Strile prezente, care au n coresponden ieiri identice pentru aceleai intrri, primesc coduri adiacente. expresiilor strilor urmtoare pentru simplificarea recomand ca strile care apar mai des ca stare urmtoare s primeasc coduri ce conin mai multe zerouri
Regula 4: Codurile cu mai multe zerouri se atribuie strilor care
se
S, S, S,
3 3 3
rezult codurile
S = 01,
1
S = 10
2
i S = 00 , dar condiia de
3
+/y)
Fig. 8.13 Tabelul tranziiilor rezultat n urma codificrii propuse expresiile obinute cu aceste coduri sunt:
Q +=Q x x + Q x x + Q x x Q +=Q x x + Q Q x x + Q Q x x + Q x x yQxx +Qxx +xx
1 2
212
12
Regula 5: Strile circuitului ntre care exist tranziii primesc coduri adiacente.
ASSN-8