Laboratorul nr.1 Varianta 3.

Fie AFD cu st[rile S, A, B, C i D, unde S stare iniial i C stare final.

Tabelul de tranziii a automatului este:

a b

A D
S
A A B
B A C
*C A D
D A B

I. Construim st[rile marcate i nemarcate.

Marcate SC, AC, BC, CD.
Nemarcate SA, SB, SD, AB, AD, BD.
II. Examinm strile nemarcate.
SA : Avem (S, a)=A, (A, a)=A i (S, b)=D, (A, b)=B. Deoarece AA este pereche
echivalent, includem AA n lista lui BD.
SB: Avem (S, a)=A, (B, a)= A i (S, b)=D, (B, b)=C, CD este marcat. Prin
urmare marcm SB.
SD: Avem (S, a)=A, (D, a)= A i (S, b)=D, (D, b)=D. Ambele sunt stari
echivalente i nu pot fi marcate.
AB: Avem (A, a)=A, (B, a)= A i (A, b)=B, (B, b)=C, BC este marcat. Prin
urmare marcm AB.
AD: Avem (A, a)=A, (D, a)= A i (A, b)=B, (D, b)=D. AA este stare echivalent
i o includem n lista lui BD.
BD: Avem (B, a)=A, (D, a)= A i (B, b)=C, (D, b)=D. CD este marcat. Prin
urmare marcm BD.
III. Repetm procesul.
Marcate SC, AC, BC, CD. SB, AB, BD.
Nemarcate SA, SD, AD.
SA: Pereche echivalent
SD: Pereche echivalent.
AD: BD este marcat. Prin urmare, marcm AD.

Perechile marcate sunt prezentate n tabelul de mai jos:

S
A
B x x
C x x x
D x x x
S A B C D

Clasele sunt: {S,A}, {S,D},{D}.

Deci, funcia de tranziie poate fi vzut n urmtorul tabel:

a b
{S,A {S,A {S,D
} } }
{S,D {D} {S,A
} }
{D} {S,A {D}
}

AFD minimizat: