Elementi di informatica teorica:linguaggi regolari

Ho:
L={ $ a^(m+n)b^n|n,m>0 $ }
Devo scrivere una grammatica context free, io l’ho svolta in tal modo:
T—->aaXb
X—>aaxb|Vuoto
Che poi posso scrive anche così:
T—>aaTb|vuoto

È giusto?

Direi di no. Nel tuo linguaggio il numero di \(a\) è uguale a due volte il numero di \(b\) che non è quello che è richiesto da tuo esercizio.