ESCUELA POLITECNICA NACIONAL

Nombre. David Mena

Curso: Gr1COM

7. Find context-free grammars for the following languages (with n ≥ 0, m ≥ 0).

(a) L = {anbm : n ≤ m + 3}.

S→ A A A B
A → aEl |ε
B → a B bEl |B bEl |ε

(b) L = {anbm : n ≠ m − 1}.

S → aSb|A|B,

A → aA|λ,

B → bbC,

C → bC|λ.

(c) L = {anbm : n ≠ 2m}.

S → aaSb|A|B,

A → aA|a,

B → bB|b.

(d) L = {a n b m : 2 ≤ m ≤ 3n}

S → aSbb|aSbbb|λ.
(e) L = {w ∈ {a, b} ∗ : na(w) 6= nb(w)}

L = La ∪ Lb

donde

La = {w ∈ {a, b} ∗ : na(w) > nb(w)}, and Lb = {w ∈ {a, b} ∗ : na(w) < nb(w)},

La es generado por

A → a|aA|bAA|AAb|AbA

Y Lb por

B → b|bB|aBB|BBa|BaB.

por lo tanto

S → A|B.

(g) L = {w ∈ {a,b}* : na (w) = 2nb(w) + 1}.

S → aaSb|aSab|abSa|aSba|bSaa|baSa|SS|aSbSa|e