Règle de réécriture


Révision datée du 25 avril 2021 à 19:57 par Imeziani (discussion | contributions) (Imeziani a déplacé la page Règle de récriture vers Règle de réécriture par-dessus une redirection)

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