Ministerul Educatiei a Republicii Moldova

Universitatea Tehnica a Moldovei

Lucrare de laborator

Nr1
La L.F.P.C.

Limbaje regulate.

A elaborat
St Gr C-032 Carbune Viorel

Aprobat
Lector Universitar O . Postica

Chisinau 2005
Scopul lucrarii de laborator № 1

1. Pentru gramatica formală G=(VN, VT, P, S) construiţi 4 şiruri care aparţin limbajului L(G)
generat de această gramatică.
2. Să se construiască arborii de derivare pentru aceste şiruri.
3. Scrieţi expresia regulată pentru şirurile din L(G).
4. Desenaţi automatul finit echivalent.

Varianta-3

Sarcina:

VN{S,D,R};
VT{a,b,c,d,e,f};

S->aS
S->bD
S->fR
R->eR
R->fR
D->cD
D->dR
R->e
R->f
D->d

1) Listingul programului:

predicates

VN(symbol)
VT(symbol)
P(symbol,symbol)
LG(symbol,symbol,symbol,symbol,symbol,symbol,symbol,symbol)
clauses

VN("a").
VN("b").
VN("f").

VT("d").
VT("e").
VT("f").

P("a","a").
P("a","b").
P("a","f").

P("b","c").
P("b","d").

P("c","c").
P("c","d").

P("d","e").
P("d","f").

P("e","e").
P("e","f").

P("f","f").
P("f","e").

LG(X,Y,Z,P,Q,W,S,J):-
VN(X),P(X,Y),P(Y,Z),P(Z,P),P(P,Q),P(Q,W),P(W,S),P(S,J),VT(J).
goal
LG(X,Y,Z,P,Q,W,S,J),Write(X,Y,Z,P,Q,W,S,J),nl,fail.

Rezultatul executiei:

L(G){...
fefeeefe;
fefeefff ;
fefeeffe ;
fefeefee ;
fefeefef ;
fefeffff ;
fefefffe ;
fefeffee ;
fefeffef ;
fefefeee ;
fefefeef ;
fefefeff ; …}

2) Arborii de derivare

S->fR->feR->fefR->fefeR->fefeeR->fefeeeR->fefeeefR-> fefeeefe
S->fR->feR->fefR->fefeR->fefeeR->fefeefR->fefeeffR->fefeefff
S->fR->feR->fefR->fefeR->fefeeR->fefeefR->fefeeffR->fefeeffe
S->fR->feR->fefR->fefeR->fefeeR->fefeefR->fefeefeR->fefeefee
fefeeefe; fefeefff ;
 S S

R
f R
f

R
e R
e

R
f
f
R

e
R
e
R

e
R
e R

e
R
f R

R
f
f
R
R

f
e

fefeeffe ; fefeefee ;
 S S

R
f R
f

R
e R
e

R
f
f
R

e
R
e
R

e
R
e R

f
R
f R

R
f
e
R
R

e
e
 4)Automatul Finit echivalent:

S *

D
 S

a
S

f b

R D

e R D c

f d

R
R

e f

Gramatica data este o gramatica de tipul III (gramatica regulata) conform clasificarii
Chomsky.

Concluzie:

In rezultatul executarii lucrarii date s-a obtinut automatul finit echivalent care verifica
gramatica regulata G conform regulilor (productiilor) indicate si genereaza toate sirurile
posibile din 8 simboluri , care apartin limbajului L generat de aceasta gramatica adica putem
spune ca limbajul generat de gramatica data este echivalent cu automatul finit si automatul
finit verifica (genereaza) pe deplin limbajul L(G) .