TERMIUM Plus^®

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,  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,  Justifications,  Espagnol