Métalangage

Cet article est une ébauche concernant la linguistique, les mathématiques, la logique et l’informatique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Cet article ou cette section doit être recyclé. Une réorganisation et une clarification du contenu sont nécessaires. Discutez des points à améliorer en page de discussion.

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.

Voir aussi

• 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.
• NSM (Natural Semantic Metalanguage) permet la description de scripts linguistiques avec peu de mots (< 80).
• Métamodèle.