Métalangage
Un article de Wikipédia, l'encyclopédie libre.
    |
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.
|
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 :
- 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.
