Ministerul Educatiei Republicii Moldova

Universitatea Tehnica a Moldovei

Facultatea de Calculatoare Informatica si Microelectronica
Catedra Automatica si Tehnologii Informationale

RAPORT
Lucrare de laborator Nr.1

A efectuat :

A verificat:

studenta grupei TI-151

Toma Ana

lector sup. Duca Ludmila

Chisinau 2016

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?
VN = {A, F, L, D}, VT = {a, b, c,d},
P={
1. A bA
2. A aF
3. A d
4. F cF
5. F dF
6. F aL
7. L c
8. D dA
9. L aD
10.D bD
11.D Cd
12.F b
}
Efectuarea lucrrii:
1) Construim 5 iruri ce aparin limbajului L(G) generat de aceast gramatic:

1. A->bA->baF->bacF->bacaL->bacaaD->bacaadA->bacaadd;
2. A->bA->baF->baaL->baaaD->baaadA->baaadd;
3. A->bA->baF->bacF->bacdF->bacdaL->bacdac;
4. A->bA->baF->baaL->baaaD-> baaabD ->baaabcD->baaabcdA->baaabcdd;
5. A->bA->baF->badF->badaL>badaaD->badaadA->badaadd.

2) Pentru fiecare ir construim arborii de derivare:

1.

2.

A
/\
b A
/\
a F
/\
c F
/\
a L
/\
aD
/\
d A
/
d

3.

A
/\
b A
/\
a F
/\
a L
/\
a
D
/\
d A
/
d

4.

A
/\
b A
/\
a F
/\
c F
/\
d F
/\
a L
/
c

A
/\
b A
/\
a F
/\
a L
/\
a D
/\
b D
/\
c D
/\
d A
/
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.
2.
3.
4.
5.

Q = VN{X}={A, F, L, D , X}
=VT={a, b, c , d}
q0=A
F={X}
Pentru toate produciile definim :

5.

A
/\
b A
/\
a F
/\
d F
/\
a L
/\
a D
/\
d A
/
d

1.(A, b): = {A}

2.(A,a): = {F}
3.(A,d): = {X}
4.(F,c): = {F}
5.(F, d): = {F}
6.(F, a): = {L}
7.(L, c): = {X}
8. (F,b): = {X}
9.(D, d): = {A}
10.(L, a): = {D}
11.(D, b): = {D}
12. (D, c): = {D}

Reprezentarea prin graf AF:

d ,c

a
a

b
A

L
b

d
n

m
K

b,c

A
F
L
D
X

Reprezentarea prin tabel:

a
F
L
D
-

b
A
X
D
-

c
F
X
D
-

d
X
F
A
-

3) Gramatica dat dup Chomsky aparine tipului 3, deoarece toate produciile

date sunt de forma:
a) Aa
b) AbB
Unde

a, b VT

A, B V N

Concluzie:
n urma efecturii lucrarii de laborator nr.1 am studiat clasificarea Chomsky,am analizat automatul finit.
Am invatat algoritmul de construire a automatului finit .
Astfel am inteles n practic construirea irurilor, a arborelor de derivare precum i desenarea automatelor finite echivalente, etc.