Bonjour,

J'ai un exercice sur les langages et systèmes formels ... mais impossible d'avancer, c'est pourquoi je fais appel à votre aide.

1 - Valider une définition récursive de P   des  palindromes sur { i , e }, dont leur miroir est identique à eux-mêmes. en étant un.
Ma solution :
S -> i S i | e S e | e | i |

2 - En déduire le système d'équations algébriques S10 donnant P.

Et je bloque à la question 2 ... je ne vois pas comment faire.

Si quelqu'un aurait un petit coup de pouce à m'apporter ça serait bien sympa.

Cordialement,