TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Terminologie utilisée à l'intérieur d’un métalangage pour exprimer un contenu lui-même terminologique.  2, fiche 1, Français, - m%C3%A9taterminologie

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

A language that cannot be used as its own metalanguage. Example: FORTRAN. [Definition officially approved by GESC.]  2, fiche 2, Anglais, - stratified%20language

Record number: 2, Textual support number: 1 OBS

stratified language: term standardized by ISO; officially approved by the Government EDP (Electronic Data Processing) Standards Committee (GESC).  3, fiche 2, Anglais, - stratified%20language

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Langage qui ne peut pas servir de métalangage pour lui-même. Exemple : FORTRAN. [Définition uniformisée par le CNGI. ]  2, fiche 2, Français, - langage%20stratifi%C3%A9

Record number: 2, Textual support number: 1 OBS

langage stratifié: terme normalisé par l’ISO; uniformisé par le Comité des normes gouvernementales en informatique (CNGI).  3, fiche 2, Français, - langage%20stratifi%C3%A9

Fiche 2,  Justifications,  Espagnol

Record number: 2, Textual support number: 1 DEF

Lenguaje que no puede usarse como su propio metalenguaje; por ejemplo, FORTRAN.  2, fiche 2, Espagnol, - lenguaje%20estratificado

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A language that can be used as its own metalanguage. Example: Most natural languages. [Definition officially approved by GESC.]  2, fiche 3, Anglais, - unstratified%20language

Record number: 3, Textual support number: 1 OBS

unstratified language: term standardized by ISO; officially approved by the Government EDP (Electronic Data Processing) Standards Committee (GESC).  3, fiche 3, Anglais, - unstratified%20language

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Langage qui peut servir de métalangage pour lui-même. Exemple : La plupart des langages naturels. [Définition uniformisée par le CNGI. ]  2, fiche 3, Français, - langage%20non%20stratifi%C3%A9

Record number: 3, Textual support number: 1 OBS

langage non stratifié : terme normalisé par l’ISO; uniformisé par le Comité des normes gouvernementales en informatique (CNGI).  3, fiche 3, Français, - langage%20non%20stratifi%C3%A9

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A language used to specify some or all aspects of another language and possibly itself.  4, fiche 4, Anglais, - metalanguage

Record number: 4, Textual support number: 1 OBS

metalanguage: term and definition standardized by ISO/IEC and the Institute of Electrical and Electronics Engineers (IEEE); officially approved by the Government EDP (Electronic Data Processing) Standards Committee (GESC).  5, fiche 4, Anglais, - metalanguage

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Langage utilisé pour spécifier tout ou partie des caractéristiques d’un autre langage, et éventuellement des siennes.  3, fiche 4, Français, - m%C3%A9talangage

Record number: 4, Textual support number: 1 CONT

Le langage LISP, capable de spécifier d’autres langages est quelquefois considéré comme un métalangage. Par exemple, il a été utilisé pour générer le langage LOGO pour les systèmes éducatifs, ainsi que des langages permettant d’évaluer des expressions algébriques directement sous la forme utilisée habituellement par un mathématicien.  4, fiche 4, Français, - m%C3%A9talangage

Record number: 4, Textual support number: 1 OBS

métalangage : terme et définition normalisés par l'ISO/CEI.  5, fiche 4, Français, - m%C3%A9talangage

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 DEF

Lenguaje utilizado para describir otro lenguaje.  1, fiche 4, Espagnol, - metalenguaje

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

Control structures are required for managing the simulation process: real-time intervals alternate with the propagation of causal relation whereby components reevaluate their states in cycles until the simulation stabilizes in one global state.  2, fiche 5, Anglais, - control%20structure

Record number: 5, Textual support number: 1 OBS

Control (of expert systems): any procedure, explicit or implicit, that determines the overall order of problem-solving activities; the temporal organisation of subprocesses.  3, fiche 5, Anglais, - control%20structure

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Ensemble de primitives [...] utilisées pour programmer avec instructions séquentielles, étiquettes et branchements.  2, fiche 5, Français, - structure%20de%20contr%C3%B4le

Record number: 5, Textual support number: 1 CONT

La programmation logique suggère de réduire la progmatique d’un langage de représentation de connaissances à un métalangage de contrôle; l'interpréteur du métalangage joue alors le rôle d’une structure de contrôle par rapport au moteur d’inférence du système expert.  3, fiche 5, Français, - structure%20de%20contr%C3%B4le

Fiche 5,  Justifications,  Espagnol

Record number: 5, Textual support number: 1 DEF

Cualquier enunciado que determina el orden en el cual se ejecutarán las instrucciones.  1, fiche 5, Espagnol, - estructura%20de%20control

Record number: 5, Textual support number: 1 OBS

Las estructuras de control incluyen instrucciones de PARA (FOR) (para repeticiones o ciclos), SI-ENTONCES-SINO (para tomar decisiones de dos vías), e instrucciones de CASO (CASE) (para decisiones de vías múltiples).  1, fiche 5, Espagnol, - estructura%20de%20control

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

When a symbol is used as a name of itself (or, more precisely, for its own symbol-design [Gestalt]) we call it an autonymous symbol (autonym).  1, fiche 7, Anglais, - autonymous%20term

Record number: 7, Textual support number: 1 OBS

For instance, the symbol "(" meaning "opening bracket".  1, fiche 7, Anglais, - autonymous%20term

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Signe de métalangage désignant(signifiant) le signe du langage qui est son homonyme, et qui a une partie de son signifié en commun.  1, fiche 7, Français, - terme%20autonyme

Record number: 7, Textual support number: 1 CONT

Le mot convenable serait métahomonyme pour désigner ce type de métasigne, mais nous ne le proposons pas.  1, fiche 7, Français, - terme%20autonyme

Record number: 7, Textual support number: 1 OBS

Le parallélisme entre le statut du nom commun et celui du nom autonyme n’est pas entièrement satisfait. Sémantiquement l’autonyme est bien un nom commun, mais syntaxiquement il se conduit plutôt comme un nom propre. Les deux n’expriment pas le singulier sans article. L’autonyme est constamment masculin et a des traits propres grapho-phoniques, qui sont le double système facultatif de la liaison ordinaire ou de la non-liaison. (p. ex. «Ces Albert, (le nom) Alberte est charmant.»  1, fiche 7, Français, - terme%20autonyme

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Français

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 DEF

Symbole propre au vocabulaire d’un métalangage, ou notation qui sans appartenir à un langage permet d’introduire les concepts et propriétés de ce langage.  1, fiche 9, Français, - m%C3%A9tasymbole

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 DEF

Grammaire de métalangage.  1, fiche 10, Français, - m%C3%A9tagrammaire

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

Relatif aux principes communs aux différentes logiques.  1, fiche 11, Français, - m%C3%A9talogique

Record number: 11, Textual support number: 1 OBS

En linguistique, J. Rey-Debove définit la métalogique(n. f.) comme métalangage des logiciens.  1, fiche 11, Français, - m%C3%A9talogique

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 DEF

Système de représentation des connaissances qui opère en logique modale, où le choix des connecteurs est fait par déduction naturelle(de Gentzen) et la dérivation naturelle dans le métalangage par la règle du filtrage axiomatique.  1, fiche 12, Français, - syst%C3%A8me%20ARCHES

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

Firm lot price for conversion of 388 source programs, inclusive of their associated metasymbol routines and data files ....  1, fiche 13, Anglais, - metasymbol%20routine

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 OBS

L'exemple de métalangage le plus connu est celui de la forme normale de Backus, qui a été utilisée pour la définition syntaxique formelle d’ALGOL 60. Dans ce cas, le métalangage se présente sous la forme d’une grammaire de type hors contexte. On dit que le vocabulaire est constitué de métavariables et de métasymboles.  2, fiche 13, Français, - sous%2Dprogramme%20de%20m%C3%A9tasymboles

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 DEF

A graphical meta-language to describe the structure of the information entities associated with an man-machine language function.  1, fiche 14, Anglais, - decomposition%20meta%2Dlanguage

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 DEF

Métalangage graphique destiné à décrire la structure des entités d’information associées à une fonction langage homme-machine.  1, fiche 14, Français, - m%C3%A9talangage%20de%20subdivision

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 OBS

A system over and beyond a system of lower logical order, and therefore capable of deciding propositions, discussing criteria, or exercising regulation for systems that are themselves logically incapable of such decisions and discussions or of self-regulation (because the metalogic is inaccessible to the system's logic, or the metalanguage is capable of statements inexpressible in the system's language). Note: a metasystem is of a higher logical order than a system, and not necessarily of higher "seniority" in the sense of command. For example: the school timetable is metasystemic to the timetable of a single class.  1, fiche 15, Anglais, - metasystem

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 OBS

système situé au-dessus d’un système d’ordre logique inférieur. Un métasystème est donc capable de discuter et de juger des propositions, des critères, et d’assurer la régulation d’un système qui en est incapable du point de vue logique(parce que la métalogique est inaccessible à la logique du système, ou parce que le métalangage est capable de formuler des propositions qui ne sont pas exprimables dans le langage du système). Remarque. Un métasystème est d’un ordre logique supérieur à celui d’un système, mais n’ est pas nécessairement "prioritaire" au sens du contrôle. Par exemple, l'emploi du temps d’une école est métasystémique par rapport à l'emploi du temps d’une classe de cette école.  1, fiche 15, Français, - m%C3%A9tasyst%C3%A8me

Fiche 15,  Justifications,  Espagnol