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
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
Règle qui spécifie une équivalence entre deux séquences de symboles.
règle de réécriture
règle de récriture
rewriting rule
rewrite rule
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki