Bonjour. J'ai un sujet d'un projet dont je comprends pas le passage sur lequel je bloque.
 
En gros il s'agit de récriture de termes. Un terme c'est par exemple x + (y + 2), un peu comme une expression. Mais pas d'égalité. On nous demande quelques questions préliminaires pas bien compliqué, puis on nous introduit les règles.  
 
Une règle est un couple (l,r) noté l->r qui représente "on a le droit de remplacer l par r". Maintenant si l fait partie de t, alors on a le droit de faire la substitution l->r DANS t.
 
Problème : comme exemple on nous donne, x+0->x comme règle, et notre terme (x+(y+2)) devient x+y... Et c'est la que je comprends pas le tour de passe passe, comment en remplaçant x+0 par x on passe de x+(y+2) à x+y ?

Bon je vais partir de l'hypothèse que c'est une faute de frappe. Si quelqu'un a une autre idée qu'il me fasse signe

Ca doit plutot etre (x+(y+0)) qui devient (x+y) avec une reecriture qui suppose deux regles:
x+0->x
et
(x)->x
A+,

Ouaip je pensais à un truc du genre x+2->x transforme x+(y+2) en x+y ce qui revient au même. Du coup faut que je transpose tout ça en code.