Sunteți pe pagina 1din 10

Universitatea Tehnic a Moldovei

FCIM
Catedra Automatica i Tehnologii Informaionale

RAPORT
la lucrarea de laborator nr. 1
la disciplina: L.F.P.C

Tema: Gramatici Formale

Varianta 3

A efectuat: st. gr. C-132 Chiriliuc Vladislav


A verificat: Duca Ludmila

Chiinu 2014

Sarcina lucrrii:
1. Pentru gramatica formal G = (VN, VT, P, S) construii 5 iruri, care aparin limbajului
L(G) generat de aceast gramatic. Lungimea irului trebuie s fie nu mai mic, dect
numrul de caractere din alfabet VN+2.
2. Pentru fiecare ir s se construiasc arborii de derivare.
3. Desenai automatul finit echivalent acestei gramatici.
4. La ce clas al gramaticilor dup Chomsky aparine gramatica dat?

Varianta 3.
VN={S, D,R },
VT={a, b,c,d,f } ,
P= {
1. S aS
2. S bD
3. S fR
4. D cD
5. D dR
6. R bR
7. R f
8. D d }

Efectuarea lucrrii:

1) Construim 5 iruri ce aparin limbajului L(G) generat de aceast gramatic:

1. S->aS->abD->abcD->abcdR->abcdf;
2. S->aS->aaS->aabD->aabdR->aabdf;
3. S->aS->aaS->aabD->aabcD->aabcdR->aabcdf;
4. S->aS->aaS->aabD->aabcD->aabcd;
5. S->aS->aaS->aafR->aafbR->aafbf.

2) Pentru fiecare ir construim arborii de derivare:


1.

2.

S
/\
a S
/\
b D
/\
c D
/\
d
R
/
f

3.

4.

S
/\
a S
/\
a S
/\
b D
/\
d
R
/
f

S
/\
a

S
/\
a S
/\
b D
/\
c D
/\
d R
/
f

5.

S
/\
a S
/\
a S
/\
b D
/\
c D
/
d

3) Construim AF(automatul finit) echivalent acestei gramatici:


AF=(Q, , , q0, F), unde
Q mulimea de stri
- vocabular
- funcia de tranziie
q0 starea iniial
F mulimea strilor finale
Algoritmul de construire AF:
1. Q = VN{X}={S, D, R, X}
2.
3.
4.
5.

=VT={a, b, c, d, f }
q0=S
F={X}
Pentru toate produciile definim :
Iniial toate mulimile (A, b): = 0

S
/\
a S
/\
a S
/\
f R
/\
b R
/
f

1. S aS

(S, a): = (S, a){S}={S}


2. S bD
(S, b): = (S, b){D}={D}
3. S fR
(S, f): = (S, f){R}={R}
4. D cD
(D, c): = (D, c){D}={D}
5. D dR
(D, d): = (D, d){R}={R}
6. R bR
(R, b): = (R, b){R}={R}
7. R f
(R, f): = (R, f){X}={X}
8. D d
(D, d): = (D, d){X}={X}
Reprezentarea grafic a AF:

Pentru reprezentare grafica a automatului finit folosim softul propus de catre


professor, JFLAP
La executia programului apare urmatorul meniu:

Apasam butonul Grammar :

Dupa accesarea butonului primim o fereastra de dialog pentru a introduce datele:

Datele se introduc in urmatorul cimp:

Dupa introducerea datelore este nevoie de salvat fisierul dindu-i o denumire, spre
exemplu LAB1LPFC :

Urmatorul pas reprezinta revenirea la meniul principal si selectarea butonului


Finite Automaton :

Dupa accesare primim fereastra:

Dupa care trebuie sa accesam fisierul salvat anterior accesind submeniul


FILE>>>OPEN

Si primim

Urmatorul pas e de a converta datele introduse intr-un graf: pentru aceasta e


nevoie de accesat butonul: CONVERT>>CONVERT RIGHT-LINEAR
GRAMMAR to FA

Dupa care primim:

Pentru ca sa fie afisate arcele e nevoie de tastat butonul :SHOW ALL

i in sfirsit primim graful necesar cu toate arcele si virfurile:

Nota: Dupa dorinta noi putem schimba pozitia virfurilor.

d
f

f
R

b
4) Gramatica dat dup Chomsky aparine
tipului 3, deoarece toate produciile date
sunt de forma:
a) Aa
b) AbB
Unde a, b VT i A, B V N

!Concluzie: n urma efecturii acestei lucrarii de laborator am cptat experien in


lucrul cu limbajele si gramatica formala care are un rol important n proiectarea

compilatoarelor. Astfel, am perceput sa construim siruri conform gramaticii formale si arbori


de derivare pentru fiecare sir in parte. La final, prin utilizarea unui soft specializat, am
obtinut automatul finit echivalent acestei gramatici si am clasificat-o dupa cele 4 clase ale
gramaticilor dupa metoda Chomsky..