Systèmes de Réécriture

Règle de réécriture

Couple (l, r) où l est le membre gauche et r le membre droit, spécifiant comment substituer un motif par un autre dans une expression. La réécriture s'applique lorsque le motif l est identifié dans le terme à transformer.

← رجوع