Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Facultatea Calculatoare ,Informatica si Microelectronica
Catedra Calculatoare

Raport
Lucrare de laborator Nr.2
La disciplina:”Limbaje formale si proiectarea
compilatorelor”
Tema: ”Automate Finite”

A efectuat: st.gr.TI-142 Chifa Vladislav

A verificat: lect. superior Ludmila Duca

Chisinau 2015
 Lucrarea de laborator № 2

Sarcina lucrarii:

1. Este dat automatul finit AF=(Q, , , q0, F). Reprezentaţi automatul sub formă de graf.
2. Este sau nu automatul dat determinist?
3. Dacă automatul este nedeterminist, construiţi automatul finit determinist echivalent.
4. Construiţi gramatica regulată echivalentă cu AFD
5. Inventaţi un şir peste vocabularul  care nu va fi acceptat de către AFD. Arătaţi acest lucru
scriind secvenţa (secvenţele) de configuraţii respective.
6. Pentru automatul finit AFD=(Q, , , q0, F) construiţi 5 şiruri acceptate de automat. Lungimea
şirurilor să nu fie mai mică decât n+2, unde n este numărul de stări din Q.
7. Scrieţi expresia regulată echivalentă.
8. Pentru fiecare şir x scrieţi secvenţa de configuraţii pentru acceptarea şirului, adică (q0, x) —
(qi1, x1) — (qi2, x2) — … — (qf, ), unde qf  F.
9. Petru toate cele 5 şiruri obţinute construiţi aplicând lema de pompare descompunerea x=uvw.

Varianta 6
AF=(Q, , , q0, F), Q = {q0, q1, q2 , q3},  = { a, b, c}, F = { q3}.
 (q0, a) = {q1}
 (q1, b) ={q2}
 (q2, a) = {q2}
 (q2, a) = {q3}
 (q2, c ) ={q2}
 (q3, a) ={q3}.

1) AF sub forma de graf

2) Automatul dat este nedeterminist deoarece

 (q2, a) = {q2} , {q3}
3) AFD

Q` a b c

q0 q1 - -
q1 - q2 -
q2 q2q3 - q2
q2q3 q2q3 - q2

Notam: q2q3=q3

4) Gramatica regulata echivalenta AFD

q0aq1

q1bq2

q2aq3
q2cq2

q2a
q3aq3

q3cq2

q3a
5) Sirul care nu va fi acceptat de AFD

Sirul este: aabcaca acest sir nu va fi acceptat deoarece nu exista

nicio tranzitie din q1 in a
(q0, a) = {q1}
 (q1, a) = ∅

6) 5 siruri accepatate de automat

 abcacacaa
 abcccacaaa
 abcacacccaa
 abacccacaaa
 abcaca

7) Expresia regulate echivalenta: abc*a(a+cc*a)*

8) Secventa de configuratie pentru acceptarea sirului:

1) abcacacaa
a b c a c a c a a
q0q1q2q2q3q2q3q2q3q3

2) abcccacaaa
a b c c c a c a a a
q0q1q2q2q2q2q3q2q3q3q3

3) abcacacccaa
a b c a c a c c c a a
q0q1q2q2q3q2q3q2q2q2q3q3

4) abacccacaaa
a b a c c c a c a a a
q0q1q2q3q2q2q2q3q2q3q3q3

5) abcaca
a b c a c a
q0q1q2q2q3q2q3
9) Descompunerea x=uvw folosind lema de pompare

1)
a b c a c a c a a
q0q1q2q2q3q2q3q2q3q3

u=ab
v=c
w=acacia
a b a c a c a a
q0q1q2q3q2q3q2q3q3
u=ab
v=ac
w=acaa
a b a c a a
q0q1q2q3q2q3q3
u=ab
v=ac
w=aa
a b a a
q0q1q2 q3q3
u=aba
v=𝑎
w= 𝜀
a b a
q0q1q2 q3

2) abcccacaaa
a b c c c a c a a a
q0q1q2q2q2q2q3q2q3q3q3

u=ab
v=c
w=ccacaaa

3) abcacacccaa
a b c a c a c c c a a
q0q1q2q2q3q2q3q2q2q2q3q3
 u=ab
v=c
w=acacccaa
4) abacccacaaa
a b a c c c a c a a a
q0q1q2q3q2q2q2q3q2q3q3q3
u=ab
v=ac
w=ccacaaa
5) abcaca
a b c a c a
q0q1q2q2q3q2q3
u=ab
v=c
w=aca

JFLAP
1)
AF sub forma de graf
 2) Testam daca este determinist sau nedeterminist

3) Convertim din AFDN in AFD

4) Gramatica regulata echivalenta AFD

5) Sirul neacceptat de catre AFD

6) Cele 5 siruri acceptate de automatul AFD

7) Expresia regulata
Concluzie: Efectuind aceasta lucrare de laborator am capatat
deprinderi de lucru cu Automatele Finite care la rindul lor sunt
deterministe si nedeterministe .Am determinat daca automatul dat
este determinist sau nedeterminist, dindune rezultatula ca este
nedeterminist am construit automatul finit determinist
echivalent.Am reprezentat ambele AF sub forma de graf.Am
inventat un sir neacceptat pentru AFD si 5 siruri acceptate cu
lungimea sirului sa nu fie maim mica de n+2 unde n este numarul de
stari Q.Pentru fiecare sir am scris secventa de configuratie pentru
acceptare a sirului,pentru toate sirurile am descompus in x=uvw
aplicind lema de pompare.Am scris expresia regulate echivalenta.