Ministerul Educaiei al Republicii Moldova

Universitatea Tehnic a Moldovei

Catedra Bazele Teoretice ale Electrotehnicii

RAPORT
Lucrarea de laborator nr.3
la Limbaje formale i proiectarea compilatoarelor

Tema: FNC

A efectuat:
st. gr. TI-154 Balan D.

A verificat:
Lector Duca L.

Chiinu 2016
Sarcina lucrarii:

S se reduc la Forma Normal Chomsky gramatica independent de context.

Algoritmul FNC
1. Eliminai producii
2. Eliminai redenumirile
3. Eliminai simbolurile inaccesibile
4. Eliminai simbolurile neproductive
5. Aducei la Forma Normal Chomsky
Varianta 2
G = (VN, VT, P, S)
VN = {A, B, C, D, S}
VT = {a, b}
P={
S->aB,
S->bA,
A->B,
A->b,
A->aD,
A->AS,
A->bAAB,
A-> ,
B->b,
B->bS,
C->AB,
D->BBD,
}
1. Eliminai producii (X-> )
Ne = {A}
P={
S->aB,
S->bA,
S->b,
A->B,
A->b,
A->aD,
A->AS,
A->S,
A->bAAB,
A->bAB,
A->bB,
B->b,
B->bS,
C->AB,
C->B,
D->BBD,
}
2. Eliminai redenumirile
Producii de forma: X->Y, X i Y simboluri neterminale.
Redenumiri: A->B, A->S, C->B
RA = {A}
RB = {B, A, C}
RC = {C}
RS = {S, A}

P={
S->aB,
S->bA,
S->b,
A->bS,
A->b,
A->aD,
A->AS,
A->aB,
A->bA,
A->bAAB,
A->bAB,
A->bB,
B->b,
B->bS,
C->AB,
C->b,
C->bS,
D->BBD,
}

3. Eliminai simbolurile inaccesibile

Elementul X VNVT este ineaccesibil daca nu exista nicio derivare
primara S->a1Xa2
AC = {S, a, B, A, S, D, b}
I = (VN U VT) \ AC ={C}

P={
S->aB,
S->bA,
S->b,
A->bS,
A->b,
A->aD,
A->AS,
A->aB,
A->bA,
A->bAAB,
A->bAB,
A->bB,
B->b,
B->bS,
 D->BBD,
}
4. Eliminai simbolurile neproductive
Elementul B Vn este neproductiv daca nu exista nici o derivare
B->x , x->VT*
Pr = {S, A, B}
N = {S, A, B, D} \ {S, A, B} = {D}

P={
S->aB,
S->bA,
S->b,
A->bS,
A->b,
A->AS,
A->aB,
A->bA,
A->bAAB,
A->bAB,
A->bB,
B->b,
B->bS,
}
Aducei la Forma Normal Chomsky
VN = {S, A, B}
VT = {a, b}
P={
Y->a,
Z->b,
S->YB,
S->ZA,
S->b,
A->ZS,
A->b,
A->AS,
A->YB,
A->ZA,
A->ZX1,
X1->AX2,
X2->AB,
A->ZX2,
A->ZB,
B->b,
B->ZS,
}