Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Raport
Lucrare de Laborator Nr. 4
LA DISCIPLINA “LIMBAJE FORMALE ȘI AUTOMATE”

Varianta 5
Tema : Forma Normală Chomsky

A efectuat :

A verificat: Ciubotaru Constantin,

conf.univ., dr., cum.

Chişinău 2018
Scopul lucrării:
Să se reducă la Forma Normală Chomsky gramatica independentă de context

Datele inițiale:
G = (VN , VT , P, S), VN= {S,A,B}, VT = {a,b}
P= {
1. S→ a B
2. S→ B A
3. A→ a
4. A→ B
5. A→ A a b B
6. B→ ε
7. B→ b S
8. B→ a A B A }.
Mersul lucrării:
1. Eliminăm ε producţii
Nε = {B, A} ∪ {S′}
S′ → S
S → aB
S→a
S → BA
S→B
S→A
A→a
A→B
A → AabB
A → abB
A → Aab
B → bS
B → aABA
B → aBA
B → 𝑎𝐴𝐴
B → aAB

2. Eliminăm redenumirile
O producţie de forma XY, X şi Y neterminale, se numeşte redenumire.
R S = {S, A, B}
R A = {A, B}
R B = {B}

S → aB
A → aB
B → aB
S→a
A→ a
B→ a
S → BA
A → BA
B → BA
S→B
A→B
B→B
S→A
A→A
B→A
A → AabB
B → AabB
A → abB
B → abB
A → Aab
B → Aab
B → bS
B → aABA
B → aBA
B → 𝑎𝐴𝐴
B → aAB

3. Aducem la Forma Normală Chomsky prin stratificări:

O gramatică în forma normală Chomsky este o gramatică cu reguli de forma A BC, Di,
unde A,B,C,D  VN şi i  VT

S → XB
X→a
A → XB
B → XB
S→a
A→ a
B→ a
S → BA
A → BA
B → BA
S→B
A→B
B→B
S→A
A→A
B→A
A → AXYB
Y→b
B → AXYB
A → XYB
B → XYB
A → AXY
B → AXY
B → YS
B → XABA
B → XBA
B → 𝑋𝐴𝐴
B → XAB

Forma Normală Chomsky:

S → XB
X→a
A → XB
B → XB
S→a
A→ a
B→ a
S → BA
A → BA
B → BA
S→B
A→B
B→B
S→A
A→A
B→A
A → A𝑍1
𝑍1 → 𝑋𝑍2
𝑍2 → 𝑌𝐵
Y→b
B → A𝑍1
A → X𝑍2
B → X𝑍2
A → A𝑍3
𝑍3 → 𝑋𝑌
B → A𝑍3
B → YS
B → X𝑍4
𝑍4 → 𝐴𝑍5
𝑍5 → 𝐵𝐴
B → X𝑍5
B → 𝑋𝑍6
𝑍6 → 𝐴𝐴
B → X𝑍7
𝑍7 → 𝐴𝐵

Concluzie:
La efectuarea acestei lucrări de laborator am redus la Forma Normală Chomsky
gramatica indepententă de context. La realizarea acestei sarcini am eliminat ε producţiile,
redenumirile și am efectuat stratificarea.