Sunteți pe pagina 1din 11

Ministerul Educației, Culturii și Cercetării

Universitatea Tehnică a Moldovei

Departamentul Inginerie Software și Informatică

RAPORT
Limbaje formale si automate
Lucrarea de laborator nr.3

A efectuat:
st. gr. SI-161 Malai Ion

A verificat:
lect., sup. Duca Ludmila

Chişinau 2017
1
Sarcina lucrării:
De redus Gramatica independentă de context la:
a) Forma Normală Chomsky
b) Forma Normală Greibach
Varianta 16
G=(Vn, Vt, P, S)
Vn = { S, A, B, C, D }
Vt = {a, b}
P = { 1. S → abA B
2. A → aSab
3. A → BS
4. A → aA
5. A → b
6. B → BA
7. B → ababB
8. B → b
9. B → ε
10. C → AS
11. D → BD}
Forma Normală Chomsky:
Reducerea gramaticii independente de context la FNC are loc prin parcurgerea mai
multor etape:
Pas 1: Eliminarea de ε-producții
P={ 1. S → abA B 6. A → aA 11. B → abab
2. S → abA 7. A → b 12. B → b
3. A → aSab 8. B → BA 13. C → AS
4. A → BS 9. B → A 14. D → BD
5. A → S 10. B → ababB 15. D → D}

Pasul 2: Eliminăm redenumirile


2
În gramatica cercetată avem o singură redenumire (A→B)
R A ={A}

R B={B, A}

A →bAB
P={S →a B B→B A
S→Da D →BAD
S→a D →BA
A →a C →BA
A →BD A→b
A →bDAB A→BA }
B→b

Pasul 3: Eliminăm simbolurile inaccesibile


În gramatica independentă de context cercetată avem o singură producție inaccesibilă ( C
→BA).
Ac ={S,a,B,D,b,A}

I ={Vn∪ V t /¿Ac} ={C}

P={S →a B A→b
S→Da

S→a B→b

A →a B→B A

A →BD D →BAD

A →bDAB D →BA

A →bAB A→BA }

Pasul 4: Eliminăm simbolurile neproductive astfel obținem Pr ={S,A,B,D}


După acești pași, dacă toate Producțiile obținute au forma
3
a) A →a sau
b)A→Y1Y2….Yn , Yi∈ Vn
P={S →Y1 B A → Y4AB

Y1→ a Y4→b
S→DY2 A→b
Y1→ a B→b

S→a B→B A

A →a D →BAD

A →BD D →BA

A →Y3DAB A→BA }
Y3→b

Pentru oricare producție tip b introducem terminale noi. Astfel obținem Forma Normală
Chomsky.

P={S →Y1 B A → Y4Z2

Y1→ a Z2→AB
S→DY2 Y4→b
Y1→ a A→b
S→a B→b

A →a B→B A

A →BD D → BZ3

Y3→b Z3→AD
A → Z1Z2 D →BA

Z1→Y3D A→BA }

Forma Normală Greibach


Să se reducă la forma normală Greibach gramatică independentă de context
4
G = (VN, VT, P, S)
VN = {S, A, B, C}
VT = {a, b}
P = { 1. S → AC
2. S → SCB
3. A → CB
4. B → a
5. C → A
6. C → b }.
Pentru a forma FNG trebuie să eliminăm toate producțiile cu recursie stînga, ceea
poate fi obținut prin două metode pe care le aplicăm ulterior:
Metoda I:
Eliminare recusie stânga:
1. S→BCY
2. S→BC
3. Y→A
4. Y→AY
5. B→CA
6. C→BS
7. C→a
8. A→b

Cercetăm dacă producțiile au FNG, dacă nu facem substituțiile de rigoare:


1. S→CACY
2. S→CAC
3. Y→b
4. Y→bY
5. B→BSA
6. B→aA
7. C→CAS
5
8. C→a
9. A→b

Eliminăm recursiile apărute:

1. S→CACY
2. S→CAC
3. Y→b
4. Y→bY
5. Z→SA
6. Z→SAZ
7. B→aA
8. B→aAZ
9. Q→AS
10.Q→ASQ
11.C→a
12.C→aQ
13.A→b

Cercetăm daca se respectă condiția FNG, facem substituțiile de rigoare daca e necesar:
1. S→aACY
2. S→aQACY
3. S→aAC
4. S→aQAC
5. Y→b
6. Y→bY
7. Z→CACA
8. Z→CACYA
9. Z→CACAZ
10.Z→CACAYZ
6
11.B→aA
12.B→aAZ
13.Q→bS
14.Q→bSQ
15.C→a
16.C→aQ
17.A→b

In urma modificărilor nu mai avem recursii stănga, și prin substituții vom obtine producții
ce satisfac FNG. Rezulta ca am finalizat transformarea, iar rezultatul dinal este:

P’={
1. S→aACY
2. S→aQACY
3. S→aAC
4. S→aQAC
5. Y→b
6. Y→bY
7. Z→aACA
8. Z→aQACA
9. Z→aACYA
10.Z→aQACYA
11.Z→aACAZ
12.Z→aQACAZ
13.Z→aQACAYZ
14.Z→aACAYZ
15.B→aA
16.B→aAZ
17.Q→bS
18.Q→bSQ
7
19.C→a
20.C→aQ
21.A→b}

Metoda II
Pas 1: Identificăm și eliminăm recursiile stînga:
1. S→BCY
2. Y→AY
3. Y→ε
4. B→CA
5. C→BS
6. C→a
7. A→b

Pas 2: Verificăm dacă producțiile satisfac forma normala Greibach, substituim


neterminalele din prima producție cu producțiile respective din pasul anterior:
1. S→CACY
2. Y→bY
3. Y→ε
4. B→BSA
5. B→aA
6. C→CAS
7. C→a
8. A→b

Pas 3: (Repetăm pașii 1-2 atît timp cit avem modificări și pînă toate producțiile ajung la
FNG acceptată). Analizăm producțiile și identificăm recursiile de stânga apărute ulterior și
le eliminăm:
1. S→CACY
2. Y→bY
8
3. Y→ε
4. Z→SAZ
5. Z→ε
6. B→aAZ
7. Q→ASQ
8. C→aQ
9. Q→ε
10.A→b

Verificăm dacă producțiile satisfac condiției pentru Forma Normală Greibach, dacă
nu facem modificările posibile și cercetăm iarăși prezența recursiilor stânga. Dacă acestea
nu mai sunt prezente în rîndul producțiilor, substituim neterminalele din prima poziție prin
producțiile respective.

1.S→aQACY
2.Y→bY
3.Y→ε
4.Z→CACYAZ
5.Z→ε
6.B→aAZ
7.Q→bSQ
8.C→aQ
9.Q→ε
10.A→b

9
Forma Normală Greibach
P’={
1.S→aQACY
2.Y→bY
3.Y→ε
4.Z→aQACYAZ
5.Z→ε
6.B→aAZ
7.Q→bSQ
8.C→aQ
9.Q→ε
10.A→b}
Concluzii:
În urma aplicării datelor teoretice din cadrul cursului LFA, am aplicat algoritmii de
transformare a unei gramatici libere de context în Forma Normală Chomsky și Forma
Normala Greinbach. Astfel am însușit identificarea și eliminarea producțiilor ce conțin
redenumiri, elemente inaccesibile, recurențe, ε-producții din cadrul formelor normale
menționate antrerior.
La aplicarea algoritmului de transformare FNG am utilizat două metode de
eliminare de recurențe stînga, și am putut observa diferențele dintre producții finale
obținute.
A doua metodă permite și existența ε-producțiilor în P finale astfel din 2 producții
inițiale cercetate la recursie se obțin 3 producții finale, deci FNG detine ulterior un număr
mai restrîns de producții decît medoda I fără ε. În prima metodă rezultă dublarea
numărului de producții ce au recursie stînga (ex.la determinarea alfa și beta din 2 producții
transformăm în 4).

10
11

S-ar putea să vă placă și

  • Lab 4 APA
    Lab 4 APA
    Document20 pagini
    Lab 4 APA
    Cristi Poselețchi
    Încă nu există evaluări
  • Laborator 1 Prelucrarea Semnalelor
    Laborator 1 Prelucrarea Semnalelor
    Document19 pagini
    Laborator 1 Prelucrarea Semnalelor
    Ion Cornea
    Încă nu există evaluări
  • Lab 4 MMC
    Lab 4 MMC
    Document3 pagini
    Lab 4 MMC
    Adrian Bodorin
    Încă nu există evaluări
  • AMOO Lab 4
    AMOO Lab 4
    Document6 pagini
    AMOO Lab 4
    Anya Mr
    Încă nu există evaluări
  • Lab 4 CDE Axenti
    Lab 4 CDE Axenti
    Document6 pagini
    Lab 4 CDE Axenti
    Alina Axenti
    Încă nu există evaluări
  • Laborator Nr.3 Arhitectura Calculatoarelor
    Laborator Nr.3 Arhitectura Calculatoarelor
    Document8 pagini
    Laborator Nr.3 Arhitectura Calculatoarelor
    Cristik95
    0% (1)
  • Asdn Lab 2
    Asdn Lab 2
    Document6 pagini
    Asdn Lab 2
    DmitriiGreen
    Încă nu există evaluări
  • CDE Lab 3
    CDE Lab 3
    Document6 pagini
    CDE Lab 3
    RoscaFlorin
    Încă nu există evaluări
  • Ll1 Mmc1 Mereuta Ana Ti-192
    Ll1 Mmc1 Mereuta Ana Ti-192
    Document11 pagini
    Ll1 Mmc1 Mereuta Ana Ti-192
    Anya Mr
    Încă nu există evaluări
  • Laboratorul 1 ASDN
    Laboratorul 1 ASDN
    Document6 pagini
    Laboratorul 1 ASDN
    Euegniu
    Încă nu există evaluări
  • Lab 6 Somipp
    Lab 6 Somipp
    Document5 pagini
    Lab 6 Somipp
    Augusta Bucataru
    Încă nu există evaluări
  • Lab6 AMOO - Diagrame de Stari Si Activitati
    Lab6 AMOO - Diagrame de Stari Si Activitati
    Document10 pagini
    Lab6 AMOO - Diagrame de Stari Si Activitati
    Dan
    Încă nu există evaluări
  • Lab4 ASDN
    Lab4 ASDN
    Document3 pagini
    Lab4 ASDN
    Dinu Dogaru
    Încă nu există evaluări
  • Asdn Lab 1
    Asdn Lab 1
    Document6 pagini
    Asdn Lab 1
    DmitriiGreen
    Încă nu există evaluări
  • Metode Numerice2
    Metode Numerice2
    Document9 pagini
    Metode Numerice2
    verginarojnita
    Încă nu există evaluări
  • Laborator 3 APA
    Laborator 3 APA
    Document22 pagini
    Laborator 3 APA
    RoscaFlorin
    Încă nu există evaluări
  • LFA Lab - 2
    LFA Lab - 2
    Document15 pagini
    LFA Lab - 2
    RoscaFlorin
    100% (1)
  • MMC Lab3 Rap
    MMC Lab3 Rap
    Document4 pagini
    MMC Lab3 Rap
    I LOVE ME
    Încă nu există evaluări
  • LFA Lab - 1
    LFA Lab - 1
    Document10 pagini
    LFA Lab - 1
    RoscaFlorin
    100% (1)
  • Laborator-4 MMC1 Balan Ion
    Laborator-4 MMC1 Balan Ion
    Document6 pagini
    Laborator-4 MMC1 Balan Ion
    Ion Bn
    Încă nu există evaluări
  • Lab NR 4 MMC2 Duca Dumitru TI 194
    Lab NR 4 MMC2 Duca Dumitru TI 194
    Document11 pagini
    Lab NR 4 MMC2 Duca Dumitru TI 194
    Santa Claus
    Încă nu există evaluări
  • Lab 1 LFA
    Lab 1 LFA
    Document10 pagini
    Lab 1 LFA
    Eric Semeniuc
    Încă nu există evaluări
  • Lab 2 LFA Doc
    Lab 2 LFA Doc
    Document7 pagini
    Lab 2 LFA Doc
    Jenya Matevosean
    Încă nu există evaluări
  • ASDN - Lab3 OnicaD grTI 113
    ASDN - Lab3 OnicaD grTI 113
    Document6 pagini
    ASDN - Lab3 OnicaD grTI 113
    Dinu RaceClan
    Încă nu există evaluări
  • LFA Lab 1
    LFA Lab 1
    Document8 pagini
    LFA Lab 1
    Valeria Cebanu
    Încă nu există evaluări
  • Lab 6 MMC
    Lab 6 MMC
    Document5 pagini
    Lab 6 MMC
    Adrian Bodorin
    Încă nu există evaluări
  • CDE (Lab 2)
    CDE (Lab 2)
    Document5 pagini
    CDE (Lab 2)
    BlandjLdhui
    Încă nu există evaluări
  • Lab3 CDE
    Lab3 CDE
    Document8 pagini
    Lab3 CDE
    Dinu Dogaru
    Încă nu există evaluări
  • Lab3 ASDN
    Lab3 ASDN
    Document9 pagini
    Lab3 ASDN
    Dinu Dogaru
    Încă nu există evaluări
  • Laborator 1 MMC
    Laborator 1 MMC
    Document9 pagini
    Laborator 1 MMC
    Cristian Popa
    Încă nu există evaluări
  • LAB 3 Apa
    LAB 3 Apa
    Document14 pagini
    LAB 3 Apa
    Cristi Poselețchi
    Încă nu există evaluări
  • Lab 4 Apa
    Lab 4 Apa
    Document21 pagini
    Lab 4 Apa
    crismaruion
    Încă nu există evaluări
  • ASDN2
    ASDN2
    Document6 pagini
    ASDN2
    Viktor Dobrovolschi
    Încă nu există evaluări
  • LAb 3 CDE
    LAb 3 CDE
    Document4 pagini
    LAb 3 CDE
    cristian
    Încă nu există evaluări
  • MMC Laborator 1 UTM
    MMC Laborator 1 UTM
    Document12 pagini
    MMC Laborator 1 UTM
    StasLuchianciuc
    Încă nu există evaluări
  • PPE Lab4-5
    PPE Lab4-5
    Document8 pagini
    PPE Lab4-5
    danielploaia
    Încă nu există evaluări
  • Raport ASDN Lab 1
    Raport ASDN Lab 1
    Document5 pagini
    Raport ASDN Lab 1
    Olea Zubcova
    Încă nu există evaluări
  • CDE Lab 1
    CDE Lab 1
    Document6 pagini
    CDE Lab 1
    ViorelRotari
    Încă nu există evaluări
  • Metode Și Modele de Calcul 2
    Metode Și Modele de Calcul 2
    Document6 pagini
    Metode Și Modele de Calcul 2
    I LOVE ME
    Încă nu există evaluări
  • Lab4 MMC Taucci Afanasi AI-191
    Lab4 MMC Taucci Afanasi AI-191
    Document3 pagini
    Lab4 MMC Taucci Afanasi AI-191
    Carolin
    Încă nu există evaluări
  • Lab 2 CDE
    Lab 2 CDE
    Document2 pagini
    Lab 2 CDE
    CLAY
    Încă nu există evaluări
  • Atestarea 1 AC Rezolvat
    Atestarea 1 AC Rezolvat
    Document10 pagini
    Atestarea 1 AC Rezolvat
    Ion Damaschin
    Încă nu există evaluări
  • CDE (Lab 1)
    CDE (Lab 1)
    Document5 pagini
    CDE (Lab 1)
    BlandjLdhui
    Încă nu există evaluări
  • (ASDN) Laborator n#2
    (ASDN) Laborator n#2
    Document5 pagini
    (ASDN) Laborator n#2
    Dionis Bolun
    Încă nu există evaluări
  • Amoo 1
    Amoo 1
    Document8 pagini
    Amoo 1
    AlionaCrigan
    Încă nu există evaluări
  • Lab APA 4
    Lab APA 4
    Document12 pagini
    Lab APA 4
    AlionaCrigan
    Încă nu există evaluări
  • MMC2 Modulul2
    MMC2 Modulul2
    Document16 pagini
    MMC2 Modulul2
    ViorelRotari
    Încă nu există evaluări
  • Cde 3 Lab
    Cde 3 Lab
    Document5 pagini
    Cde 3 Lab
    DanuIepuras
    Încă nu există evaluări
  • Amoo 1
    Amoo 1
    Document8 pagini
    Amoo 1
    Gheorghe Felicia
    Încă nu există evaluări
  • Lab 4 MN
    Lab 4 MN
    Document3 pagini
    Lab 4 MN
    nn nnn
    Încă nu există evaluări
  • Lab 1 BTD
    Lab 1 BTD
    Document9 pagini
    Lab 1 BTD
    megadanyx
    Încă nu există evaluări
  • Laborator-2mmc Balan Ion
    Laborator-2mmc Balan Ion
    Document12 pagini
    Laborator-2mmc Balan Ion
    Ion Bn
    Încă nu există evaluări
  • Lab 5 BTD Axenti
    Lab 5 BTD Axenti
    Document6 pagini
    Lab 5 BTD Axenti
    Alina Axenti
    100% (1)
  • Lucrare de Laborator Nr.2 CDE
    Lucrare de Laborator Nr.2 CDE
    Document4 pagini
    Lucrare de Laborator Nr.2 CDE
    Dan
    Încă nu există evaluări
  • PPE Lab7
    PPE Lab7
    Document14 pagini
    PPE Lab7
    danielploaia
    Încă nu există evaluări
  • Alcdin 7
    Alcdin 7
    Document8 pagini
    Alcdin 7
    debilizm
    Încă nu există evaluări
  • ALL in ONE Licenta
    ALL in ONE Licenta
    Document100 pagini
    ALL in ONE Licenta
    ursachem
    Încă nu există evaluări
  • Lucrare de Curs LFPC
    Lucrare de Curs LFPC
    Document17 pagini
    Lucrare de Curs LFPC
    mikeylino
    Încă nu există evaluări
  • Licenta Algebra
    Licenta Algebra
    Document8 pagini
    Licenta Algebra
    Gabriela Dinca
    Încă nu există evaluări
  • Laboratorul 8 LFA
    Laboratorul 8 LFA
    Document4 pagini
    Laboratorul 8 LFA
    AlexandruBotnaru
    Încă nu există evaluări