Algorithme d'unification


Révision datée du 29 janvier 2024 à 10:37 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵↵ » par «   »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Algorithme qui permet de comparer deux littéraux pour déterminer s'il existe un ensemble de substitutions qui les rend identiques.

Français

algorithme d'unification

Anglais

unification algorithm

Sources

Source : Le grand dictionnaire terminologique

Récupérée de « https://datafranca.org/wiki/index.php?title=Algorithme_d%27unification&oldid=94289 »

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki