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