Metalangage
- Metalangage
-
Métalangage
Un métalangage est un formalisme conçu pour décrire rigoureusement un langage.
Si le langage en question est décrit par une grammaire, la description de la grammaire est le métalangage. Ainsi le langage des expressions rationnelles ou la forme de Backus-Naur en informatique sont des métalangages. Un métalangage ne décrit pas seulement la syntaxe, il sert aussi à décrire la sémantique.
Un langage qui est son propre métalangage pour la syntaxe et la sémantique est dit réflexif. On peut voir le théorème de Gödel comme énonçant le fait que l'arithmétique ne peut pas être son propre métalangage, autrement dit que l'arithmétique ou tout langage qui contient l'arithmétique ne peut pas être réflexif.
Voir aussi
Portail des mathématiques
Portail de la logique
Portail de l’informatique
Catégories : Langage formel | Logique | Terminologie de l'informatique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Metalangage de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
métalangage — [ metalɑ̃gaʒ ] n. m. • 1946; de méta et langage; en polonais, Tarski, 1931 1 ♦ Log. Langage formalisé supérieur qui décide de la vérité des propositions du langage objet. 2 ♦ Ling. Langage (naturel ou formalisé) qui sert à décrire la langue… … Encyclopédie Universelle
Métalangage — Un métalangage est un formalisme conçu pour décrire rigoureusement un langage. Si le langage en question est décrit par une grammaire, la description de la grammaire est le métalangage. Ainsi le langage des expressions rationnelles ou la forme de … Wikipédia en Français
métalangage — ● n. m. ►LANG Langage permettant de définir un autre langage (et souvent lui même en tout premier lieu). Voir Caml, SGML … Dictionnaire d'informatique francophone
MÉTALANGUE ET MÉTALANGAGE — MÉTALANGUE & MÉTALANGAGE Toute science est tentée de se constituer un savoir sur les outils qu’elle emploie: dès lors que l’on parle, dans n’importe quel langage, sur un autre langage, il y a un phénomène de métalangage. Lorsque ce langage second … Encyclopédie Universelle
métalangue — métalangage [ metalɑ̃gaʒ ] n. m. • 1946; de méta et langage; en polonais, Tarski, 1931 1 ♦ Log. Langage formalisé supérieur qui décide de la vérité des propositions du langage objet. 2 ♦ Ling. Langage (naturel ou formalisé) qui sert à décrire la… … Encyclopédie Universelle
métalinguistique — [ metalɛ̃gɥistik ] adj. • 1963; de métalangage, d apr. linguistique, adj. ♦ Ling. Qui relève du métalangage, appartient au métalangage. Mots métalinguistiques : mots autonymes et mots de la terminologie linguistique. Les dictionnaires et les… … Encyclopédie Universelle
IEML — Information Economy Meta Language Information Economy Meta Language (IEML, fr.:métalangage de l économie de l information) est un langage informatique. L’initiative IEML (Information Economy Meta Language) a été lancée en 2006 par Pierre Lévy à… … Wikipédia en Français
Information Economy Meta Language — (IEML, fr.:métalangage de l économie de l information) est un langage informatique. L’initiative IEML (Information Economy Meta Language) a été lancée en 2006 par Pierre Lévy à partir de la Chaire de Recherche du Canada en Intelligence Collective … Wikipédia en Français
Norbert-Bertrand Barbe — Norbert Bertrand Barbe, historien d art, sémiologue, philosophe[1], artiste plastique et poète français, est né en 1968[2]. En janvier 2009, un hommage lui est rendu par le Centro Nicaragüense de Escritores pour l ensemble de son œuvre[3].… … Wikipédia en Français
Norbert Bertrand Barbe — Norbert Bertrand Barbe, historien d art, sémiologue, philosophe[1], artiste plastique et poète français, est né en 1968[2]. En janvier 2009, un hommage lui est rendu par le Centro Nicaragüense de Escritores pour l ensemble de son œuvre[3] … Wikipédia en Français
