Algorithme d'unification


Révision datée du 27 janvier 2024 à 15:50 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵<small> » par « ==Sources== »)

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=86999 »

Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki