Capitolul 8

Automate cu stri finite

un automat cu stri finite se definete formal prin cvintuplul A = X Y Q , unde X = {x x, ,..., x }
2 n

- mulimea configuraiilor binare de intrare,

Y = {y y, ,..., y }
2 r

- mulimea configuraiilor binare de ieire, - mulimea configuraiilor binare de stare,

Q = {q q, ,..., q }
2 p

: X Q Q - funcia de tranziie a strilor, : X Q Y - funcia de tranziie a ieirilor.

dac : X Q

Y automatul este de tip Mealy, iar dac

:Q Y este de tip Moore

spaiul timpului este discret i este format din mulimea multiplilor de T , unde T este perioada semnalului de ceas care produce o modificare a strii circuitului.
automatele sunt imediate (ieirile se modific imediat ce se

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

elemente de prelucrare elemente de memorare

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

Meal M M Mo y eal o ore imedi y or cu at cu e nt nt i rz rz m ier ier ed e e iat

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

ed uc ere a st ril or i co dif ica rea opt im a lor

ASSN-8
2

o b i n e p r i n r

8.1. Reducerea numrului de stri

dou stri Q i
i

Q ale unui automat

j k

(
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

strilor n clase de echivalen:

tabelul conine un numr de compartimente (egal cu numrul tuturor perechilor posibile de stri) aranjate ntr-un tabel

triunghiular; n fiecare compartiment se trece:

simbolul

evident neechivalente evident echivalente

dac strile din perechea respectiv sunt

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

starea urmtoare/ieire x1 x2 x3 x1 Q1/0 Q4/1

Q2/0

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

Fi g. 8.4 Au to ma t fin it co mp let sp eci fic at

Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q7= Q8 Q4=Q5 Q2= Q4 Q4= Q6
Q2=Q5 Q2=Q4 Q7=Q8

Fig. 8.5 Tabelu l triung hiular al implic aiilor strile Q i Q

4 6

Q2
Q3 Q4 Q5 Q6

sunt neechivalente, deci i Q i

3

Q7 Q8

sunt cert neechivalente

pentru determinarea claselor de echivalen se

grupeaz perechile de stri echivalente n baza proprietii de

u or ic e

tranzitivitate a relaiei de echivalen = {{ } {Q Q Q, } { } { } { , Q ,

5 3

) (
A = X Y Q

t r a r e x .
k

(
Q

se cv

Q, Q Q
6

8}}

(
x
Q
k

en

este partiia n clase

de echivalen pentru automatul definit n figura 8.4.

i
x

fi ni t p

su nt co m pa

Automatul redus minim are numai 5 stri.

dou stri Q i
i

)
p e n

(
Q

os ib il de in

ti bi le da

ale unui automat incomplet specificat

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

(pentru ca o stare s fie compatibil cu strile unei clase de

clasei respective, n parte)

ASSN-8
4

 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/ -

Fig. 8.6 Automat finit incomplet specificat

Q2QQ42~~QQ63 Q3Q2~Q3Q2~Q6 Q2~Q3 Q Q2~Q6Q3~Q6 Q 1~Q3
Q

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

Q , Q fac parte din aceeai clas de compatibiliti,

j k

numai dac Q~ Q, Q~
i j j

 o clas de compatibiliti C a unei acoperiri implic existena

i

altor clase de compatibiliti

( Compatibiliti
maxime ( )C
i

C n cadrul acoperirii (stri

j

succesoare care nu aparin clasei C )

i

)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

implic mai multe clase de compatibiliti, adic 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

formeaz numai clasa

3

C (clasele Q Q }
10
{

i Q Q } sunt
{

excluse de C ), iar clasa C formeaz numai clasa C

4
3

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 care implic clasele

3 4

C i C
1

8.2. Codificarea strilor

problema fundamental n sinteza automatelor finite este codificarea optim a strilor
Q1Q2

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

fi mult prea mare

o codificare binar minimal a celor m stri ale automatului redus minim se poate face folosind coduri cu r bii, conform

relaiei 2 1 numrul de codificri distincte posibile este: N

starea prezent S1 S2
S3

< 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

Fig. 8.11 Exemplu de tabel al tranziiilor i ieirilor

se codific cele 3 stri S ale automatului cu 2 cifre binare

i

ab,

{}

unde a b
i

0 1 , iar, i = 1 2,3

starea prezent (Q1Q2) a1b1 a2b2 a3b3

starea urmtoare / ieire x1x2= 01 a2b2/ 0 a3b3/ 1 a1b1/ 1

( Q1+Q2+/ y ) x1x2= 11 a3b3/ 1 a1b1/ 0 a1b1/ 1 x1x2= 10 a2b2/ 1 a3b3/ 1 a1b1/ 1

x1x2= 00 a1b1/ 0 a2b2/ 0 a3b3/ 0

Fig. 8.12 Tabelul binar al tranziiilor i ieirilor

Q
i

folosim notaia simbolic :

Q

= Q
i

pentru k = 0 = pentru k 1

expresiile strilor urmtoare ale variabilelor binare de stare:

+=

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.

 expresiile strilor urmtoare se pot scrie sub forma:

Q +=
1

QQaxx + axx
112

+a x x +a x x +a x x

axx

)+

(
112

QQaxx + 112 +axx +axx +axx

+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

apar o singur dat pe mai multe coloane.

regula 1 recomand coduri adiacente pentru strile S i regula 2 recomand coduri adiacente pentru S i S , S i S i S , regula 3 recomand coduri adiacente pentru S i
2 2 3 1 1 2 1

S, S, S,
3 3 3

S i S , iar regula 4 recomand codul 00 pentru starea

2 3

rezult codurile

S = 01,
1

S = 10
2

i S = 00 , dar condiia de
3

adiacen pentru S i S nu s-a putut respecta

1 2

+/y)

starea prezent ( Q1Q2) 00 01

11 10

starea urmtoare / ieire ( Q1Q2 x1x2= 00 x1x2= 01 x1x2= 11 x1x2= 10 00 / 0 01 / 1 01 / 1 01 / 1 10 / 0 00 / 1 10 / 1 01 / 0 -/-/-/-/01 / 1 00 / 1 01 / 0 10 / 0

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