Linguaggi di programmazione: esercizio 12 grammatica

Dato il linguaggio:

L = {aⁿ b²ⁿ c^k | n, k >= 0}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,C)

P = {

S => aAbbC | cC

A => abb | aAbb | λ

C => c | cC | λ

}

Grammatica libera da contesto (tipo 2)