Règle de réécriture
(Redirigé depuis Règle de récriture)
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
Sources
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
