TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
ALGORITHME KNUTH-BENDIX [2 fiches]
Fiche 1 - données d’organisme interne 2024-05-09
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Computer Mathematics
- Computer Programs and Programming
Fiche 1, La vedette principale, Anglais
- Knuth-Bendix completion algorithm
1, fiche 1, Anglais, Knuth%2DBendix%20completion%20algorithm
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- Knuth-Bendix algorithm 2, fiche 1, Anglais, Knuth%2DBendix%20algorithm
correct
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
The Knuth-Bendix completion algorithm attempts to transform a finite set of identities into a finitely terminating, confluent term rewriting system whose reductions preserve identity. This term rewriting system serves [as] a decision procedure for validating identities. 1, fiche 1, Anglais, - Knuth%2DBendix%20completion%20algorithm
Fiche 1, Français
Fiche 1, Domaine(s)
- Mathématiques informatiques
- Programmes et programmation (Informatique)
Fiche 1, La vedette principale, Français
- algorithme de Knuth-Bendix
1, fiche 1, Français, algorithme%20de%20Knuth%2DBendix
correct, nom masculin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
L'algorithme de Knuth-Bendix consiste à transformer un système de réécriture noethérien en un système de réécriture convergent. Il s’agit d’une procédure de complétion, qui pour chaque paire critique, regarde si elle conflue, et dans le cas où elle ne conflue pas, rajoute une règle permettant la confluence. 2, fiche 1, Français, - algorithme%20de%20Knuth%2DBendix
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2020-11-04
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Mathematics
- Computer Programs and Programming
Fiche 2, La vedette principale, Anglais
- completion algorithm
1, fiche 2, Anglais, completion%20algorithm
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
An algorithm designed to complete a set of term-rewriting rules to have the most desired property of being confluent. 2, fiche 2, Anglais, - completion%20algorithm
Record number: 2, Textual support number: 1 CONT
As defined in universal algebra, identities are equalities of two terms: x=y. Presumably, the values of the two terms are equal for all values of variables occurring in them. A reduction order is another input to the completion algorithm provided that every identity is viewed as two candidates for rewrite rules transforming the left-hand side into the right-hand side and vice versa. 3, fiche 2, Anglais, - completion%20algorithm
Fiche 2, Français
Fiche 2, Domaine(s)
- Mathématiques informatiques
- Programmes et programmation (Informatique)
Fiche 2, La vedette principale, Français
- algorithme de complétion
1, fiche 2, Français, algorithme%20de%20compl%C3%A9tion
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 CONT
L'algorithme Knuth-Bendix est un algorithme de complétion. Il prend en entrée un ensemble d’équations qu'il va transformer en règles de réécriture. 2, fiche 2, Français, - algorithme%20de%20compl%C3%A9tion
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :