Universitatea Tehnic a Moldovei

Facultatea IM
Catedra de informatica

Lucrare de laborator
Nr1
TEMA: Reprezentarea automatelor finite

A elaborat:
st. gr.TI-151 Ona Vladislav

___________

A verificat:
Lector Universitar Duca Ludmila

____________

Chiinu 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 = {O,N,T}, VT = {v,l,a,d},
P={
1. OvN
2. OaT
3. OdN
4. OlO
5. Na
6. NlT
7. Nv
8. NdO
9. Tv
10.TlO
11.TaN
12.Td
Efectuarea lucrrii:
1) Construim 5 iruri ce aparin limbajului L(G) generat de aceast gramatic:

1. OaTalOalvNalvdOalvdlOalvdlvNalvdlva;
2. OvNvlTvllOvllaTvllaaNvllaadOvllaaddNvllaaddv;
3. OlOldNldlTldlaNldlalTldlald;
4. OdNddOdddNdddlTdddlaNdddlalTdddlalaNdddlalaa;
5. OaTaaNaadOaadlOaadldNaadldlTaadldllOaadldllvNaadl
dllva;

2) Pentru fiecare ir construim arborii de derivare:

1.

2.

O
/\
a T
/\
l O
/\
v N
/\
d O
/\
l O
^
v N
/
a

3.

O
/\
v N
/\
l T
/\
l O
/\
a T
/\
a
N
/\
d
O
^
d
N
/
v

4.

O
/\
l O
/\
d N
/\
l T
/\
a N
/\
l T
/
d

5.

O
/\
d

N
/\
d O
/\
d N
/\
l T
/\
a N
^
l T
^
a N
/
a

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}={O,N,T, X}
2.
3.
4.
5.

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

O
/\
a T
/\
a N
/\
d O
/\
l
O
/\
d N
/\
l T
/\
l O
^
v N
/
a

1. O vN

(O, v): = (O, v){N}={N}

2. O aT
(O, a): = (O, a){T}={T}
3. O dN
(O, d): = (O, d){N}={N}
4. O lO
(O,l) = (O, l){O}={O}
5. N a
(N, a): = (N,a){X}={X}
6. N lT
(N, l): = (N,l){T}={T}
7. N v
(N, v): = (N, v){X}={X}
8. I e
(I, e): = (I, e){X}={ X}
9. K m
(K, m): = (K, m){X}={ X}
Reprezentarea grafic a AF:

I
a

m
J

3) 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: Efectuind aceast lucrare de laborator am fcut cunotin cu gramatia

formala G.Pe baza acesteia am construit 5 siruri care apartin gramaticii G.Pentru fiecare sir
am construit arborii de derivare.Am construit automatul finit al acestei gramatici in urma
carora am observat ca gramatica dupa Chomsky apartine tipului 3 deoarece :
c) Aa
d) AbB
Unde a, b VT i A, B V N