Métalangage

Un métalangage est un formalisme conçu pour décrire rigoureusement un langage. Un langage est décrit par une grammaire, et la description de sa grammaire est son 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. En terminologie linguistique, la notion de métalangage ou plutôt celle de métalangue renvoie à un usage technique de la langue commune. Un métalangage est donc composé de termes et non plus de mots, cela le rendant idéal pour l'étude des grammaires et de tout type de discours porté sur les langues. De ce fait, une métalangue propose un schéma partagé d'analyse et permet ainsi la généralisation et la transmission des connaissances d'une langue spécifique. L'étude des métalangues relève donc du champ de la terminologie linguistique qui a pour but d'examiner leurs cadres théoriques et méthodologiques. La possibilité de se référer à une seule métalangue pour englober la totalité des phénomènes linguistiques s'avère aujourd'hui être un mirage. Plusieurs linguistes observent que seule une métalangue de calcul (machine de Turing, grammaire formelle etc..) permet de saisir certains objets linguistiques et de parvenir à une position de surplomb, cela n'allant pas sans causer de sérieux problèmes épistémologiques. Meta language ou ML : langage de programmation conçu pour décrire d'autres langages de programmation et écrire leurs compilateurs, pour programmer des systèmes de preuve formelle et plus généralement pour programmer des applications. Extensible Markup Language (XML) qui fonde plusieurs formats de données échangées sur Internet. NSM (Natural Semantic Metalanguage) permet la description de scripts linguistiques avec peu de mots (< 80). Métamodèle. Josette Rey-Debove, Le métalangage : étude linguistique du discours sur le langage (coll. « L'ordre des mots »), Paris, Éd.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (21)

Séances de cours associées (2)

Questions avancées de métaprogrammation: Volume de code et complexité

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.

Meta-metaprogramming: Outils avancés pour l'ingénierie logicielle CS-550: Formal verification

Explore la «meta-metaprogrammation» pour simplifier les outils de programmation avancés et relever les défis de l'ingénierie logicielle.

Langage dédié

Un langage dédié (en anglais, domain-specific language ou DSL) est un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis. Il s'oppose conceptuellement aux langages de programmation classiques (ou généralistes) comme Java ou C, qui tendent à traiter un ensemble de domaines. Néanmoins, aucun consensus ne définit précisément ce qu'est un langage dédié. Ce manque de définition précise sur la nature d'un langage dédié rend délicate la tâche d'établir un historique clair sur l'origine du concept.

Métathéorème

In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory. A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system.

Métalangage