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

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

A rewriting system whose objects are terms, which are expressions with nested sub-expressions.  1, fiche 2, Anglais, - term%20rewriting%20system

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

... the process of deriving or transforming data by means of rules.  4, fiche 3, Anglais, - abstract%20rewriting%20system

Record number: 3, Textual support number: 1 OBS

An abstract reduction system(ARS) is the most general(unidimensional) notion about specifying a set of objects and rules that can be applied to transform them. More recently, authors use the term abstract rewriting system as well.(The preference for the word "reduction" here instead of "rewriting" constitutes a departure from the uniform use of "rewriting" in the names of systems that are particularizations of ARS. Because the word "reduction" does not appear in the names of more specialized systems, in older texts reduction system is a synonym for ARS).  4, fiche 3, Anglais, - abstract%20rewriting%20system

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

When you use the same file over and over again, writing, rewriting, saving, and deleting parts of it on the same disk, the file becomes fragmented. That means that although you can’t tell, your operating system is storing all the data from that file as separate packages of information, distributed on different parts of the disk. Although fragmentation does not lose the information contained in the file, it does eventually slow down access to the file itself, because the OS must search the whole disk to create the sum of the file's parts. Defragmentation collects all those parts into one stream of data again, speeding up your system.  3, fiche 4, Anglais, - defragmentation

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Opération consistant à supprimer la dispersion des fichiers sur plusieurs zones d'un disque dur en tentant de les regrouper.  2, fiche 4, Français, - d%C3%A9fragmentation

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

Procedimiento por el que todos los archivos (ficheros) en un disco duro se vuelven a escribir, de modo que todas las partes de cada archivo estén escritas en sectores contiguos.  1, fiche 4, Espagnol, - desfragmentaci%C3%B3n