Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Lucrare de Laborator Nr. 6

La disciplina ”Limbaje Formale și Automate”

Tema : “Forma Normală Greibach”

Varianta 6

A efectuat: Florea Cristina,

st. gr. TI-171 FR

A verificat : Ciubotaru Constantin,

conf.univ.,dr.cum.

Chişinău 2019
Scopul lucrării:

Să se reducă la forma normală Greibach gramatica independentă de context.

Datele inițiale:

G=(VN, VT, P, S,), VN={S, A, B, C}, VT ={a, b},

P={ 1. S → A C
2. C → a
3. B → a A
4. B → B C
5. A → b
6. A → S B }.

Mersul lucrării:
Eliminam recursia stinga:
S → ACC → aB→ a AB' B' → CB ' B' → ε A → b
A → SB

- Redenumim:
S− A 1
A−A 2
B− A 3
B' − A 4
C− A5

- Înlocuim în datele inițiale:

A1 → A 2 A5 A5 → a A3 → aA2 A 4 A 4 → A 5 A 4 A2 →b
A2 → A 1 A3

- Modificăm gramatica
Ai → A j γ , unde j>i

A1 → A 2 A5↓ A1 → A1 A3 A 5

A 4 → A 5 A 4↓ A 4 → a A4
Vom elimina recursia stîngă din gramatică.
Introducem o nouă variabilă B3

A1 → A1 A3 A 5
B3 → A3 A 5 B3
B3 → A3 A 5

Obținem în continuare producțiile:

B3 → A3 A 5 B3
B3 → A3 A 5 A5 → a A3 → aA2 A 4 A 4 → a A4 A2 →b
A2 → A 1 A3
Aplicăm substituirile pentru cele care sunt sunt în CNF:

A2 → A 1 A3
A2 → A 3 A5 A 3
B3 → A3 A 5 B3
B3 → aA 2 A 4 A 5 B3
B3 → A3 A 5
B3 → aA 2 A 4 A 5
A2 → aA2 A 4 A5 A 3

Forma Normală Greibach:

B3 → aA 2 A 4 A 5 B3
B3 → aA 2 A 4 A 5 A5 → a A3 → aA2 A 4 A 4 → a A4 A2 →b
A2 → aA2 A 4 A5 A 3

Concluzie:
Efectuînd această lucrare am studiat pașii pentru a aduce la Forma Normală Greibach o
gramatică independentă de context și am implementat cunoștințele în rezolvarea exercițiului dat.