Ministerul Educaiei al Republicii Moldova

Universitatea Tehnic a Moldovei

Catedra: Automatica i Tehnologii Informaionale

RAPORT
Lucrare de laborator Nr.1
la L F P C
Tema: Gramatici formale
Varianta 5

A efectuat:
A verificat:

studentul grupei TI
lector universitar Duca Ludmila

Chiinu 2015

Lucrarea practic 1
1. Pentru gramatica formal G= (VN, VT, P, S) construii 5 iruri care aparin
limbajului L(G) generat de aceast gramatic.
2. Construii arborii de derivare pentru aceste iruri.
3. Construii (desenai) automatul finit echivalent.
Variant 5.
VN={S, F,L }, VT={a, b,c,d,e } ,
P= {
1. S bS
2. S aF
3. F cF
4. F dF
5. F eF
6. F aL
7. L cL
8. L c
9. F a }

Notiuni generale :
Orice limbaj regulat este reprezentabil intr-un AFN (AFD) automate Finite Nedeterministe
(Automate Finite Deterministe).Un limbaj regulat este un limbaj formal (adic o mulime posibil
infinit de secvene finite de simboluri dintr-un alfabet finit) care satisface urmtoarele proprieti
echivalente:

poate fi acceptat de un automat finit determinist

poate fi acceptat de un automat finit nedeterminist

poate fi acceptat de un automat finit alternant

poate fi descris de o expresie regulat

poate fi generat de o gramatic regulat

O gramatic formal const dintr-o mulime finit de simboluri terminale (literele cuvntului din
limbajul formal), o mulime finit de simboluri neterminale, o mulime finit de reguli de
producie care au o parte stng i una dreapt, ambele constnd dintr-un cuvnt format din aceste
dou tipuri de simboluri, i un simbol de start.
Un automat finit (AF) sau o "main cu un numr finit de stri" este un model de comportament
compus din stri, tranziii i aciuni.

Rezolvare:
1. S bS baF badF badcF badcaF badcaL badc
ac

2. S bS baF bacF bacdF bacdeF bacdeaL bac

deacL bacdeacc

3. S bS baF badF badcF badcaL badcac

4. S bS baF baeF baecF baeca

5. S bS baF baeF baecF baecdF baecda

Automat Finit:

Concluzie: n aceasta lucrare de laborator am fcut cunotin cu noiuni ca

Gramatica Formal, AF (automat finit), arbori de derivare i funcionalul
programul jflap datorit creia am construit arborii de derivare pentru irurile
primite i desenat automatul finit.