Linguaggi di programmazione: esercizio 14 grammatica

Dato il linguaggio

L = {w ∈ (a,b,c)* | |w| / n_a (w) = 3}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,B)

P = {

S -> SaSBSBS | SBSBSaS | SBSaSBS | ϵ

B -> b | c

}

Grammatica libera da contesto (tipo 2)