Linguaggi di programmazione: esercizio 8 grammatica

Dato il linguaggio

L = {aⁿ b^m c^z | n, m, z > 0}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,B,C)

P = {

S => ABC

A => a | aA

B => b | bB

C => c | cC

}

Grammatica context-free (tipo 2)