Linguaggi di programmazione: esercizio 5 grammatica

Dato il linguaggio

L = {aⁿ bⁿ cⁿ | n >= 1}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,B,C)

P = {

S => aSBC | aBC

B => b

C => c

CB => BC

}

Grammatica context-sensitive (tipo 1)