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

Sources

Source : TermiumPlus