UNIVERSITATEA DE STAT DIN MOLDOVA

FACULTATEA MATEMATICĂ ŞI INFORMATICĂ

DEPARTAMENTUL INFORMATICĂ

ȚÎNȚARU VALERIA

Lucrarea individuală nr. 3.

la disciplina Limbaje formale și automate

Coordonator: Sturza Greta, lector universitar

Chişinău, 2021
 Pentru gramatica cu producțiile prezentate mai jos:

1)     Să se elimine ε-producțiile;

2)     Să se elimine regulile singulare;

3)     Să se elimine simbolurile inutile;

4)     Să se genereze două cuvinte și să se construiască arborele de derivare;

22. 1) A→{B | [B; 2) B→Ba} | Ea] | a | T | F | k; 3) F→{F} | Eb;   4) T→[T]; 5) E→ ε.

G = (VT, VN, P, A) 1. N = { E } V’’N = { A, B, F, T, E }

VT = { a, b, k,{,},[,] } 2. N = { E } V’’T = { a, b, k,{,},[,] }
VN = { A, B, F, T, E }
P’ = { 1. RA = { A }; RB = { B };
P={ RF = { F }; RT = { T };
1. A → {B 2. B → T RT = RT  RB = {T, B}
1. A → {B B → F RF = RF  RB = {F, B}
2. A → [B
2. A → [B 3. B → Ba} 3. B → T RT = RT  RB = {T, B}
3. B → Ba} 4. B → Ea] B → F RF = RF  RB = {F, B}
4. B → Ea] 5. B → a] Stop.
5. B → a 6. B → a P’’ = {
6. B → T 1. A → {B
7. B → T
7. B → F 2. A → [B
8. B → F
8. B → k 3. B → Ba}
9. B → k
9. F → {F} 4. B → Ea]
10. F → {F}
10. F → Eb 5. B → a]
11. F → Eb
11. T → [T] 6. B → a
12. F → b
12. E → ε. 7. B → k
13. T → [T]
8. F → {F}
} 9. F → Eb
}
10. F → b
11. T → [T]
12. B → {F}
13. B → Eb
14. B → b
15. B → [T]

}
V’’N = { A, B, F, T, E } Pr1 = { B, F } Ac1 = { A }
V’’T = { a, b, k,{,},[,] } Pr2 = { B, F, A } Ac2 = { A, {, B, [ }
Pr3 = { B, F, A} Ac3 = { A, {, B, [, a, }, ], k, F, b}
1. RA = { A }; RB = { B }; NP = { T , E } Ac4 = { A, {, B, [, a, }, ], k , F, b}
RF = { F }; RT = { T };
P3 = { In = 
2. B →  T RT = RT  RB = {T, 1. A → {B P3 = P4
B} 2. A → [B
B → F RF = RF  RB = {F, B} 3. B → Ba} VN = { A, B, F }
3. B →  T RT = RT  RB = {T, B} VT = { {, },[,],a, k, b}
4. B → a]
B → F RF = RF  RB = {F, B} 5. B → a
Stop. 6. B → k
7. F → {F}
P2 = {
8. F → b
1. A → {B 9. B → {F}
2. A → [B 10. B → b
3. B → Ba}
4. B → Ea]
5. B → a]
6. B → a
7. B → k
8. F → {F}
9. F → Eb
10. F → b
11. T → [T]
12. B → {F}
13. B → Eb
14. B → b
15. B → [T]

}
VN = { A, B, F }
VT = { {, },[,],a, k, b}

P4 = {
1. A → {B
2. A → [B
3. B → Ba}
4. B → a]
5. B → a
6. B → k
7. F → {F}
8. F → b
9. B → {F}
10. B → b

3 9 8
A ⇒ Ba} ⇒ {F}a} ⇒{b}a}
A

a }
B

{ F }

2 9 7 8
A ⇒ [B ⇒ [{F} ⇒9[{{F}} ⇒ [{{b}}

[ B

{ F }

}
{ F