Ministerul Educaţiei al Republicii Moldova

Universitatea Tehnică a Moldovei

Departamentul Ingineria Software şi Automatică

Lucrare de Laborator Nr. 4

La disciplina ”Limbaje Formale și Automate”

Tema : Forma Normală Chomsky

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ă 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→ aAA
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→ aAA
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→ XAA
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 Z1
Z1 → X Z 2
Z2 →YB
Y →b
B → A Z1
A → X Z2
B → X Z2
A → A Z3
Z3 → XY
B → A Z3
B → YS
B → X Z4
Z4→ A Z5
Z5 → BA
B → X Z5
B→ X Z 6
Z6 → AA
B → X Z7
Z7 → AB

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.