« Algorithme d'unification » : différence entre les versions
m (Arielle H a déplacé la page Unification algorithm vers Algorithme d'unification) |
m (Remplacement de texte : « ↵↵↵ » par « ») |
||
| (4 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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 == | == Français == | ||
'''algorithme d'unification''' | |||
== Anglais == | == Anglais == | ||
'''unification algorithm''' | '''unification algorithm''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398949 Source : Le grand dictionnaire terminologique ] | |||
[ | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 29 janvier 2024 à 10:37
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
Contributeurs: Arielle Halindintwali, Isaline Hodecent, wiki
