Esercizio grammatica linguaggi di programmazione

Dato il linguaggio

L = {aⁿbⁿ | n > 0, n ≠ 7}

definire la grammatica.

G = (X,V,S,P)

X = (0,1)

V = (S,A)

P = {

S -> ab | aabb | aaabbb | aaaabbbb | aaaaabbbbb | aaaaaabbbbbb | aaaaaaaAbbbbbbb
A-> ab | aAb

}

Grammatica libera da contesto (tipo 2)