Sunteți pe pagina 1din 4

Ministerul Educaiei al Republicii Moldova

Universitatea Tehnic a Moldovei

Raport
Lucrare de laborator Nr.1
la Limbaje formale i
proiectarea compilatoarelor
Tema: Gramatici formale
Varianta 04

A efectuat:

st. gr. TI-141


Carp Ion

A verificat:

L. Duca
M. Iacob

Sarcina lucrrii:

Chiinu 2015

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.
Pentru fiecare ir s se construiasc arborii de derivare.
Desenai automatul finit echivalent acestei gramatici.
La ce clas al gramaticilor dup Chomsky aparine gramatica dat?
VN={S, L}, VT={a, b,c,d,e,f ,j} ,
P= {
S aS
S bS
S cS
S dL
L eL
L fL
L jL
L e
L f
L j
S d }

1)
2)
3)
4)
5)

Efectuarea lucrrii:
Construim 5 iruri ce aparin limbajului L(G) generat de aceast
gramatic:
S -> dL -> ;
S -> aS -> adL -> adeL -> adee;
S -> bS -> bcS -> bcdL -> bcdfL -> bcdfj;
S -> aS -> abS -> abcS -> abcdL -> abcdeL -> abcdefL -> abcdeff ;
S -> cS -> cdL -> cdfL -> cdff ;

1.

S
/\
d L
/
e

Pentru fiecare ir construim arborii de derivare:


2.

S
/\

a S
/\
d L
/\
e L
/
e

3.

S
/\
b S
/\
c S
/\
d L
/\
f L
/
j

4.

S
/\
a S
/\
b S
/\
c S
/\
d L
/\
eL
/\
f L

/\
f

5.

S
/\
c S
/\
d L
/\
f L
/
f

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:

Q = VN{X,Y} = {S, L}
= VT = {a,b ,c, d, e, f, j}
q0 = S
F = {X, Y}
Pentru toate produciile definim :
Iniial toate mulimile (A, b): = 0
S aS
S bS
S cS
S dL
L eL
L fL
L jL
L e
L f
L j
S d

1.S aS
(S, a): = (S, a){S} = {F}
2.S bS
(S, b): = (S, b){S} = {S}
3.S cS
(S, c): = (S, c){S} = {S}
4.S dL
(S, d): = (S, d){L} = {L}

5.L eL
(L, e): = (L, e){L} = {L}
6.L fL
(L, f): = (L, f){L} = {L}
7.L jL
(L, j): = (L, j){L} = {L}
8.L e
(L, e): = (L, e){e} = {e}
9.L f
(L, f): = (L, f){f} = {f}
10.L j
(L, j): = (L, j){j} = {j}
11.L d
(L, d): = (L, d){d} = {d}
Reprezentarea grafic a AF:

Gramatica dat dup Chomsky aparine tipului 3, deoarece toate


produciile
date sunt de forma:
Aa
AbB
Concluzie:
n urma realizrii laboratorului dat, am nsuit tema Gramatici
formale, cu ajutorul crerii automatului finit, prin intermediul
programei Jflap. La realizarea laboratorului, am determinat tipul
clasificrii Chomsky, care este de tip 3.