Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Catedra Automatica si Tehnologii Informationale

RAPORT
Lucrarea de laborator nr.1
Limbaje formale si proiectarea compilatoarelor

A efectuat:

A verificat:

Chisinau 2016
 Lucrarea de laborator Nr.1

Tema: Gramatici formale. Automate finite.

Scopul lucrarii
 Pentru gramatica formala G = (VN, VT, P, S) care consta din 12 productii sa se construiasca 5
cuvinte care apartin limbajului L(G) generat de aceasta gramatica. Lungimea sirului trebuie
să fie nu mai mica decit numarul de caractere din alfabetul VN+2
 Pentru fiecare cuvint sa se construiasca arborele de derivare.
 Desenati automatul finit echivalent acestei gramatici.

Gramatica
G=( , , P, S)

V N = {S,R,T,D,A,C,X};

VT = {a,b,c,d,e,f,r};

S = {S}

P ={
1.S -> aS
2.S -> bD
3.R -> rC
4.R -> aD
5.T -> eR
6.T -> rD
7.D -> cS
8.D -> cA
9.A -> dT
10.A -> e
11.C -> f
12.C -> d }
Cuvintele formate si arborii de derivare
1) S -> aS -> abD -> abcA -> abcdT -> abcdeR -> abcdeaD -> abcdeacA -> abcdeace

2) S -> aS -> abD -> abcS -> abcaS -> abcaaS -> abcaabD -> abcaabcA -> abcaabce
3) S -> aS -> aaS -> aaaS -> aaaaS -> aaaaaS -> aaaaabD -> aaaaabcA -> aaaaabce

4) S -> aS -> aaS -> aabD -> aabcS -> aabcaS -> aabcabD -> aabcabcA -> aabcabce
5) S -> aS -> abD -> abcS -> abcbD -> abcbcS -> abcbcbD -> abcbcbcA -> abcbcbce

Automatul Finit echivalent

Reprezentarea prin tabel

a b c d e f r
S S D - - - - -
R D - - - - - C
T - - - - R - D
D - - S,A - - - -
A - - - T X - -
C - - - X - X -
Concluzie

Gramatica data este o gramatica de tipul III (gramatica regulata) conform clasificarii Chomsky.
In rezultatul executarii lucrarii date s-a obtinut arborii de derivare si automatul finit echivalent care
verifica gramatica regulata G conform productiilor indicate si genereaza toate cuvintele, care apartin
limbajului L generat de aceasta gramatica. Adica putem spune ca limbajul generat de gramatica data
este echivalent cu automatul finit si automatul finit verifica pe deplin limbajul L(G) .