Linguaggi di programmazione: esercizio 1 grammatica

Dato il seguente linguaggio:

L = {a^m bⁿ cⁱ | m > n + i}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,B)

P = {

S => aSc | B

B => aBb | C

C => aC | a

}

Grammatica context-free (libero da contesto – tipo 2)