TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A rule mapping one tree onto another tree.  3, fiche 1, Anglais, - transformational%20rule

Record number: 1, Textual support number: 1 CONT

A transformation is the transition from one program to another one. A transformation rule thus is a mapping from programs to programs. ... In principle, there are two possibilities of representing a transformation rule. 1) It can be described in the form of an algorithm that takes the given program as input and produces an equivalent one as output ... 2) It can be given as an ordered pair of program schemes, the input template a and the output template b (corresponding to the premise and conclusion of a postproduction rule).  2, fiche 1, Anglais, - transformational%20rule

Record number: 1, Textual support number: 2 CONT

The transformation rules operate on the equations and produce new equations.  2, fiche 1, Anglais, - transformational%20rule

Record number: 1, Textual support number: 3 CONT

... programs are considered as formal objects ("formulas") which can be manipulated by transformation rules ("deduction rules").  2, fiche 1, Anglais, - transformational%20rule

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol