Universitatea Tehnic a Moldovei

Catedra Automatic i Tehnologii Informaionale

RAPORT
Lucrare de laborator nr. 2
La Limbaje Formale i Proiectarea Compilatoarelor

Tema: Automate finite

A efectuat :

st.gr. TI-142 Cuitaru Adrian

A verificat:

lect. sup. Duca Ludmila

Chiinu 2015
Lucrarea de laborator 2

1. Este dat automatul finit AF=(Q, , , q0, F). Reprezentai automatul sub form de graf.
2. Este sau nu automatul dat determinist?
3. Dac automatul este nedeterminist, construii automatul finit determinist echivalent.
4. Construii gramatica regulat echivalent cu AFD
5. Inventai un ir peste vocabularul care nu va fi acceptat de ctre AFD. Artai acest lucru scriind secvena
(secvenele) de configuraii respective.
6. Pentru automatul finit AFD=(Q, , , q0, F) construii 5 iruri acceptate de automat. Lungimea irurilor s
nu fie mai mic dect n+2, unde n este numrul de stri din Q.
7. Scriei expresia regulat echivalent.
8. Pentru fiecare ir x scriei secvena de configuraii pentru acceptarea irului, adic (q0, x) (qi1, x1)
(qi2, x2) (qf, ), unde qf F.
9. Petru toate cele 5 iruri obinute construii aplicnd lema de pompare descompunerea x=uvw.

Varianta 14
AF=(Q, , , q0, F),
Q = { q0, q1, q2 },
= { a, b }, F = { q2}.
(q0, a ) = q1 ,
(q1, c ) = q2,
(q2, c ) = q2,
(q2, c ) = q3 ,
(q3, b ) = q2,
(q3, a ) = q3.
Realizarea lucrrii
1) Reprezentm automatul sub form de graf:

q0

q1

q2

q3
b

2)Este sau nu automatul dat determinist?

Automatul dat este nedeterminist, deoarece din starea q2 prin c se poate trece n 2 stri diferite: q2
sau q3.
(q2,c) ={ q2,q3}.
3)Dac automatul este nedeterminist, construii automatul finit determinist echivalent.
Reprezentai AFD n form de graf.

q1

Q1
q0
q1

q2

q2

q2,q3

q2,q3

q3

q2

q2,q3

q3

q3

q2

q0

q1

q2

q2q3
b

b
AFD:

4)Construii gramatica regulat echivalent cu AFD

a)
b) 1. q2 c
1. q0 a q1
2. q2 ,q3 c
2. q1 c q2
3. q2 ,q3 a
3. q2 c q2 ,q3
4.q3 a
4. q2 q3 bq2
5. q2 q3 c q2, q3
6. q2 q3 a q3
7. q3 a q3
8. q3 b q2

a
q3

5)Inventai un ir peste vocabularul care nu va fi acceptat de ctre AFD. Artai acest lucru
scriind secvena (secvenele) de configuraii respective.
x=accbcab

(q0, accbcab)(q1, ccbcab)(q2,cbcab) (q2 q3 , bcab) (q2,cab) (q2 q3 , ab) (q3, b) (q2, )
euat

6)Pentru automatul finit AFD=(Q, , , q0, F) construii 5 iruri acceptate de automat. Lungimea
irurilor s nu fie mai mic dect n+2, unde n este numrul de stri din Q.

x1 = a c c b c c a
x2 = a c c c b c a
x3 = a c c a b c a
x4 = a c c b c b c
x5 = a c c b c c a a

Q=5

1. (q0, accbcca)(q1, ccbcca)(q2, cbcca)(q2 q3, bcca )(q2, cca)(q2 q3 ,ca)( q2q3, a) (q3, )

acceptare

2.(q0, acccbca)(q1, cccbca)(q2, ccbca)(q2 q3, cbca)(q2 q3, bca)( q2 , ca)( q2q3, a) (q3, )

acceptare

3. (q0, accabca)(q1, ccabca)(q2, cabca)(q2 q3, abca )(q3, bca)(q2 , ca)( q2q3, a) (q3, )
acceptare

4. (q0, accbcbc)(q1, ccbcbc)(q2, cbcbc)(q2 q3, bcbc )(q2, cbc)(q2 q3, bc)( q2,c)(q2q3 , )

acceptare

5. (q0, accbccaa)(q1, ccbccaa)(q2, cbccaa)(q2 q3, bccaa )(q2, ccaa)(q2 q3, caa)( q2q3, aa)

( q3, a) (q3 , )

acceptare

Cele 5 siruri si 1 ne acceptat:

7)Scriei expresia regulat echivalent.

ac(c* cb*)ca*
8)Petru toate cele 5 iruri obinute construii aplicnd lema de pompare descompunerea x=uvw.
1.x=acccbca
q0

q1

q2

q2q3

q2q3

q2

q2q3

q3

u=acc
v=c
w=bca

2.x=accbca
q0

q1

q2

q2q3

q2

q2q3

q3

u=ac
v=cb
w=ca

3.x=accabca

q0

q1

q2

q2q3

q3

q2

q2q3

a
q3

v
w

u=ac
v=cab
w=ca
4.x=accbcbc

q0

q1

q2

q2q3

q2

q2q3

c
q2

q2q3

u=ac
v=cb
w=cbc

5.x=accbccaa

q0

q1

q2

q2q3

q2q3

q2

q2q3

q3

q3

u=ac
v=cb
w=ccaa

q0

q1

q2

q2q3

q2q3

q3

q3

u=acc
v=c
w=aa

Concluzie
n urma efectuari lucrarii de laborator am determinat ca Automatul dat este unul nedeterminist doarece din
starea q2 poate face tranzitii cu simbolul c in mai multe stari , asadar din AFN am transformat in AFD.

Am construit Gramatica regulate echivalenta cu AFD cu regulile:A->b, A->b, si 5 siruri acceptabile pentru
automatul finit AFD=(Q, , , q0, F) si am aplicat descompunerea x=uvw, cu ajutorul lemei de pompare.
Lema de pompare avind proprietatile :1) |v|1
2) |uv| n
i
3) toate sirurile de forma u v w L(AF), i=0,1,2