Sunteți pe pagina 1din 8

Ministerul Educaiei al Republicii Moldova

Universitatea Tehnic a Moldovei

Catedra Automate i Tehnologii Informaionale

RAPORT
Lucrarea de laborator nr. 2
la Limbaje Formale i Proiectarea Compilatoarelor

A efectuat:

A verificat:
lect. sup., magistru Duca Ludmila

Chiinu -2017
Tema: Automate finite

q0
1. Este dat automatul finit AF = (Q, , , , F). Reprezentai automatul sub form
de graf.

AF = (Q, , (reprezentarea analitica), q 0 (starea initiala), F(multime nevida


numita multimea starilor finale)
Q = { q0, q1, q 2 , q3
} //este o multime finita si nevida de elemente numite
stari
= {a, b, c} //este o multime finita si nevida numita alfabet de intrare
F = { q3 }
( q 0 , c ) = q1
( q1 , a ) = q 2
( q 2 , b ) = q 2
( q 2 , a ) = q3
( q 2 , a ) = q 2
( q 2 , c ) = q1
( q3 , c ) = q3
2. Construii gramatica regulat echivalent cu automatul dat.

G = ( V N , V T , P, S)

V N = { q0, q1, q 2 , q3 }

VT = {a, b, c}
S = { q0 }
P={
1. q 0 c q1
2. q1 a q 2
3. q 2 b q 2
4. q 2 a q3
5. q 2 a q 2
6. q 2 c q1
7. q3 c q3
8. q 2 a
9. q3 c
}

3. Este sau nu automatul dat determinist? De ce?


Automatul dat este nedeterminist pentru c exist o stare cu mai multe ci cu
aceiai pondere.
( q 2 , a )= {q2}, {q3}

4. Dac automatul este nedeterminist, construii automatul finit determinist


echivalent. Reprezentai AFD n form de graf. (se modifica Q, ,F)

a b c
q0 - - q1
q1 q2 - -
q2 q2q3 q2 q1
q2q3 q2q3 q2 q1 q 3
q1 q 3 q2 - q3
q3 - q3
-

= { [ q0 , q1 , q2 , q2 q3 , q1 q 3 , q 3 }
'
Q

q
F' = F Q' ={ [ 2 q3] , [ q1 q 3 ] ,[q 3 ] }}

5. Construii gramatica regulat echivalent cu automatul finit determinist.


G = ( V N , V T , P, S)

V N = { q0 , q1 , q2 , q2q3 , q1 q 3 , q 3 }

VT = {a, b, c}
S = { q0 }
P={
1. q 0 c q1
2. q1 a q 2
3. q 2 c q1
4. q 2 b q 2
5. q 2 a q 2 q 3
6. q 2 q 3 b q 2
7. q 2 q 3 a q 2 q 3
8. q 2 q 3 c q1 q 3
9. q1 q 3 c q3
10. q3 c
11. q 2 q 3 c
12. q 2 q 3 a
13. q1 q 3 c
14. q 2 a

6. Inventai un cuvnt neacceptat.


Fie cabaca :

( q 0 , cabaca) ( q1 , abaca) ( q 2 , baca) ( q 2 , aca) ( q 2 q 3 , ca) (


q1 q 3 ,
a) ( q 2 , ) impas

7. Pentru AF = (Q, , , q 0 , F). Construii 5 iruri acceptate. Lungimea irului


trebuie s fie nu mai mic, dect numrul de caractere din alfabet V N +2.
1. cababacc
2. cabbaacc
3. cacabbac
4. cacababa
5. caacabaa

8. Pentru fiecare ir x scriei secvena de configuraii pentru acceptarea irului.

1. Fie cababacc:

( q 0 , cababacc ) ( q1 , ababacc ) ( q 2 , babacc ) ( q 2 , abacc ) ( q 2 q 3 , bacc )


( q 2 , acc ) ( q 2 q 3 , cc ) ( q1 q 3 , c ) ( q3 , ) acceptat

2. Fie cabbaacc:
( q 0 , cabbaacc ) ( q1 , abbaacc ) ( q 2 , bbaacc ) ( q 2 , baacc ) ( q 2 , aacc)
( q 2 q 3 , acc) ( q 2 q 3 , cc ) ( q1 q 3 , c ) ( q3 , ) acceptat

3. Fie cacabbac:
( q 0 , c acabbac ) ( q1 acabbac ) ( q 2 , c abbac ) ( q1 , a bbac ) ( q 2 , bbac)
( q 2 bac) ( q 2 q 3 , ac ) ( q1 q 3 , c ) ( q3 , ) acceptat

4. Fie cacababa:
( q 0 , cacababa ) ( q1 , acababa ) ( q 2 , cababa ) ( q1 , ababa ) ( q 2 , baba)
( q 2, aba) ( q 2 q 3 , ba ) ( q 2 , a ) ( q 2 q 3 , ) acceptat

5. Fie caacabaa:
( q 0 , caacabaa ) ( q1 , aacabaa ) ( q 2 , acabaa ) ( q 2 q 3 , cabaa ) ( q1 q 3 ,
abaa) ( q 2 , baa) ( q 2 , aa ) ( q 2 q 3 , a ) ( q 2 q 3 , ) acceptat

9. Pentru toate cele 5 iruri obinute construii descompunerea x = uvw aplicnd


lema de pompare.

1. q 0 q1 q 2 q 2 q2 q 2 q3 q 2 q2 q3 q1 q3 q3
u v w

u = ca v =bbab w = acc

2. q 0 q1 q 2 q 1 q2 q 2 q 2 q 3 q2 q3 q1 q3 q3

u v w

u=c v = ac w = abaacc

3. q 0 q1 q2 q 1 q2 q2 q 2 q2 q3 q1 q3 q3

u v w
u = ca v = cabb w = acc

4. q 0 q1 q 2 q 1 q2 q 2 q 2 q 3 q2 q2 q 2 q 3

u v w

u=c v = ac w =ababa

5. q 0 q1 q 2 q 1 q2 q 2 q 2 q 3 q2 q2 q3 q 2 q3

u v w

u=c v = ac w = ababaa

10. Scriei expresia regulate echivalent.


Concluzie:
n urma efecturii lucrrii de laborator nr. 2 am transformat automatul nedeterminist n determinist. De
asemenea am controlat 5 iruri pentru a verifica dac automatul este valid. Am aplicat lema de pompare i
am scris expresia de regulat.

Bibliografie:
1. Conspectul prelegerilor cursului Limbaje formale i programarea compilatoarelor pentru st.
grupelor TI 151, TI 152, TI 153, TI 154. lect. sup., magistru Ludmila Duca. 2016