Règle de réécriture


Révision datée du 7 avril 2021 à 16:43 par Arielle H (discussion | contributions) (Arielle H a déplacé la page Règle de réécriture vers 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


Source : TermiumPlus