Récursion de chaînes de caractères.

[mindexerino]

h

[aviateur]

Bonjour
Pour l'étape 1, r1 ne s'applique pas à AB (car il n'est pas de la forme xA).
r2 appliqué à AB implique ABB appartient à S.
....

[mindexerino]

Toujours perdu.

r0 nous donne la chaîne AB,
r1 ne fonctionne pas, parce qu'on a soit la chaîne vide ou AB et les deux ne se terminent pas par A.
r2 fonctionne, pcq on remplace Ax par AB alors on obtient ABB
r3 ça bloque encore.