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