Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Lucrare de Laborator Nr. 1

La disciplina ”Limbaje Formale și Automate”

Tema : Gramatici Formale

Varianta 6

A efectuat: Florea Cristina,

st. gr. TI-171 FR

A verificat : Ciubotaru Constantin,

conf.univ.,dr.cum.

Chişinău 2019
Scopul lucrării:

1. Pentru gramatica formală G=(VN, VT, P, S) construiţi 5 şiruri care aparţin limbajului
L(G) generat de această gramatică.
2. Construiţi arborii de derivare pentru aceste şiruri.
3. Construiţi (desenaţi) automatul finit echivalent.

Datele inițiale:

VN={S, I,B,K,Q }, VT={a,b,c,e,n,f,m} и

P= {
1. S  aI
2. I  bB
3. B  cS
4. I  eK
5. K  nK
6. Q  fQ
7. K  m }

Mersul lucrării:

5 şiruri care aparţin limbajului L(G) generat de această gramatică și arborii de derivare:

1) S  aI  abB  abcS  abcaI  abcaeK  abcaem

2) S  aI  aeK  aenK  aenm

3) S  aI  abB  abcS  abcaI  abcaeK  abcaenK  abcaenm

4) S  aI  aeK  aenK  aennK  aennm

5) S  aI  abB  abcS  abcaI  abcaeK  abcaenK  abcaenK  abcaennm

Automatul finit echivalent

Concluzie

După realizarea acestei lucrări de laborator, am acumulat experiență în lucrul cu

limbajele regulate ce au un rol specific și majoritar în proiectarea compilatoarelor.
Pe parcursul efectuării acestei lucrări, am construit 5 șiruri ce aparțin limbajului
L(G) , apoi am construit arborii de derivare a fiecărui șir, și la final am reprezentat grafic
automatul finit care generează aceste șiruri.