TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Un logiciel, spécialiste en transformation d'expressions.  2, fiche 1, Français, - syst%C3%A8me%20de%20r%C3%A9%C3%A9criture

Record number: 1, Textual support number: 2 DEF

Système par lequel on déduit à partir d'assertions de base réputées vraies, d'autres assertions également vraies en appliquant des règles consistant généralement à substituer dans une expression à une sous-expression une autre expression que l'on sait déjà être équivalente à la première.  3, fiche 1, Français, - syst%C3%A8me%20de%20r%C3%A9%C3%A9criture

Record number: 1, Textual support number: 3 DEF

Quand on a obtenu les paires critiques, on utilise le système de réécriture pour mettre chaque composant sous forme normale et si elles ne sont pas syntactiquement identiques on crée une nouvelle règle en orientant la paire selon des critères d'ordre supposés connus.  4, fiche 1, Français, - syst%C3%A8me%20de%20r%C3%A9%C3%A9criture

Fiche 1,  Justifications,  Espagnol