Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Lucrare de Laborator Nr. 2

La disciplina ”Limbaje Formale și Automate”

Tema : Automate Finite

Varianta 6

A efectuat: Florea Cristina,

st. gr. TI-171 FR

A verificat : Ciubotaru Constantin,

conf.univ.,dr.cum.

Chişinău 2019
Scopul lucrării:

Este dat automatul finit AF=(Q, , , q0, F).

1. Construiţi diagrama de tranziţii (reprezentarea grafică);
2. Scrieţi expresia regulată echivalentă.
3. Construiţi un şir xL(AF), x > n, n - numărul de stări ale automatului AF.
4. Aplicând lema de pompare construiţi descompunerea x=uvw.
5. Construiţi gramatica regulată echivalentă cu AF1.
6. Construiţi arborele de derivare pentru şirul x.
7. Construiţi automatul determinist echivalent cu AF.

Datele inițiale:

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

 (q0, a) = {q1},
 (q1, b) ={q2},
 (q2, a) = {q2, q3},
 (q2, c ) ={q2},
 (q3, a) ={q3} .

1. AF sub formă de graf

2. Expresia regulată echivalentă

ab(a+c)*aa*
3. Construirea unui șir

q0 → aq1 →abq2 →abaq2 → abacq2 →abacaq3 →abacaa

4. Descompunerea x = uvw

1° z=uvw
2° |z| ≥ n
3° |uv| ≤ n
4° uvw є L

2° 6 > 4
3° 4 = 4
 (q0,x) = (q0,abacaa) —(q1,bacaa) —(q2,acaa) —(q2,caa) —(q2,aa) —(q3,a) —(q3, ),
q3 є F ⇒ acceptare

a b a c a a
q0 q1 q2q2q2q3q3

u = aa , v = aca , w = a

5. Gramatica regulată echivalenă cu AF

q0 →aq1
q1 →bq2
q2→aq2
q2→aq3
q2→cq2
q3→ aq3
q3→ ε

6. Arborele de derivare pentru șirul x

 7. Automatul determinist echivalent cu AF

AFD=(Q ' , Σ , δ' , q0 , F ')

Σ=(a , b , c)
Q' ={ [ q0 ] , [ q1 ] , [ q2 ] , [ q2 q3 ] ,[q3 ]}

δ ( { q 0 , a } )= { q1 }

δ ( { q 1 , b } ) ={q2 }

δ ( { q 2 , a } )={q2 q3 }
δ ( { q 2 , c } ) ={q 2 }

δ ( { q 2 q 3 } , a )={q3 }
δ ( { q 2 q 3 } ,b )={q 2 }
δ ( { q 2 q 3 } , c ) ={q2 q3 }

δ ( { q 3 , a } )={q3 }

Construim gramatica regulată echivalentă cu AF1:

q0 →aq1
q1→ bq2
q2→cq2
q2→aq2q3
q2q3→aq3
q2q3→aq2q3
q2q2→cq2
q3→aq3
q2q3→ ε
q3→ ε

Concluzie:
În urma efectuari lucrarii de laborator am determinat ca Automatul dat este unul
nedeterminist doarece din starea q2 poate face tranzitii cu simbolul “b” 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 un sir
acceptabil pentru automatul finit AFD=(Q, , , q0, F) si am aplicat descompunerea x=uvw, cu
ajutorul lemei de pompare.
Lema de pompare avînd proprietatile :1) |v|≥1
2) |uv| ≤ n
3) toate sirurile de forma u vi w ϵL(AF), i=0,1,2…