Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Raport
Lucrare de Laborator Nr. 1
LA DISCIPLINA “LIMBAJE FORMALE ȘI AUTOMATE”

Tema : Gramatici Formale

Varianta 45

A efectuat: Zuza Nicolae,

st. Gr. TI-161 FR

A verificat: CIUBOTARU Constantin,

conf.univ., dr., cum.

Chişinău 2018
 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, L }, VT={a, b,c,d,e,f,j } ,

P= {
1. S  aS
2. S  bS
3. S  cS
4. S  dL
5. L  eL
6. L  fL
7. L  jL
8. L  e
9. L  f
10. L  j
11. S  d }

Mersul lucrării

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

1. S  bS  bcS  bcd

2. S  aS  abS  abcS  abcdL  abcde

 3. S  dL  deL  defL  deff

4. S  aS  aeS  aesd

5. S  cS  cdL  cdjL  cdjj

Concluzie

Pe parcursul efectuării acestei lucrări avînd o gramatică formală G= (VN, VT, P, S) am

construit 5 şiruri care aparţin limbajului L(G), apoi am construit arborii de derivare a fiecărui șir.