TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

To describe operators and actions, we first have to give them names. In what follows, we use the ternary function symbol M to designate the move operator, we use the binary function symbol U to designate the unstack operator, we use the binary function symbol S to designate the stack operator, and we use the constant Noop to designate the null action. With this vocabulary, we can name individual actions. For example, the term M(C,A,B) designates the action of moving block c from a to b. We call terms of this form action designators.  1, fiche 1, Anglais, - action%20designator

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 OBS

Voir "désignatif" et "indicatif".  1, fiche 1, Français, - d%C3%A9signatif%20d%27action

Fiche 1,  Justifications,  Espagnol