« Algorithme d'unification » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵↵↵ » par « ») |
||
| (2 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''unification algorithm''' | '''unification algorithm''' | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398949 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8398949 Source : Le grand dictionnaire terminologique ] | ||
[[Catégorie: | [[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
