Linguaggi di programmazione: esercizio 15 grammatica

Dato il linguaggio

L = {w ∈ {a,b}* | |w| = wcw}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,B)

P = {

S -> BcB | ϵ

B -> aB | bB | a | b

}

Grammatica libera da contesto (tipo 2)