« Règle de réécriture » : différence entre les versions
m (Arielle H a déplacé la page Règle de réécriture vers Règle de récriture) |
m (Imeziani a déplacé la page Règle de récriture vers Règle de réécriture par-dessus une redirection) |
(Aucune différence)
| |
Version du 25 avril 2021 à 19:57
Définition
Règle qui spécifie une équivalence entre deux séquences de symboles.
Français
règle de récriture
règle de réécriture
Anglais
rewriting rule
rewrite rule
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
