grammaire non contextuelle

[e5mm100]

Bonjour,
Je suis étudiante et nous avons commencé un chapitre sur la grammaire contextuel et il y a un exercice que nous avons fait mais je ne comprends pas la correction.
Est-ce-que quelqu'un peut m'aider.
voici l'exercice :

Soit la grammaire non contextuelle S->SS + | SS * | a. Montrer comment la chaine aa+a* peut être produite par cette grammaire.
voici la correction:

SS->SS*->Sa*->SS+a*->Sa+a*->aa+a*

sauf que je comprends pas pourquoi on commence par SS* et par exemple par SS+ et je comprends pas non plus pourquoi les S deviennent des a.
Je vous remercie d'avance pour votre aide

ps: j'espère que je suis dans le bon forum je savais pas si je devais poster mon message ici ou sur le forum informatique
-----

[pm42]

sauf que je comprends pas pourquoi on commence par SS* et par exemple par SS+

Dans le cas présent, on remplace à droite d'abord. Je ne sais pas si c'est une règle absolue, je ne pense pas, ça fait plus de 30 ans que j'ai étudié ça.
Mais ce n'est pas grave : à chaque étape on applique une des règles de transformation de la grammaire.

et je comprends pas non plus pourquoi les S deviennent des a.

De la même façon que S devient SS+ ou SS* : c'est une des règles possibles.

Il y a une erreur dans ce que as écrit sinon : SS->SS* au début devrait être S->SS*. On commence toujours par S qui est l'axiome de la grammaire.