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