« Règle de réécriture » : différence entre les versions
Aucun résumé des modifications |
m (Arielle H a déplacé la page Règle de réécriture vers Règle de récriture) |
(Aucune différence)
| |
Version du 7 avril 2021 à 15:43
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
