Théorie des langage et compilation

slt tt le monde , svp svp quelqu'un a la correction de cette exercice :

Soit A = a + b, ou a et b sont distincts l'un de l'autre.
On considère le langage L ? A? défini par :
L=(u ? L ssi |u|a= |u|b+ 1 et, |v |a? |v |b pour tout v ? f g s(u)quel que soit u ? A?)
et la grammaire G de?nie par la seule règle globale :
S ?? bSS + a.
Montrer que L = L(G, S)

svp svp si j'ai besoin de cette correction avant vendredi 27 janvier si c'est possible !!!
merci d'avance !!