Linguaggi di programmazione: esercizio 4 grammatica

Data il linguaggio

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

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,B)

P = {

S => AB

A => abc | aSc | aBbc

B => b | bB

cb => bc

}

Grammatica context-sensitive (tipo 1)