« Algorithme d'unification » : différence entre les versions


Aucun résumé des modifications
Aucun résumé des modifications
(Une version intermédiaire par un autre utilisateur non affichée)
Ligne 7 : Ligne 7 :
== Anglais ==
== Anglais ==
'''unification algorithm'''
'''unification algorithm'''


<small>
<small>
Ligne 12 : Ligne 13 :
[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:Révision]]
 
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Version du 21 avril 2021 à 16:50

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


Source : Le grand dictionnaire terminologique