Règle de réécriture


Révision datée du 28 janvier 2024 à 13:04 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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