Métalangage
Un métalangage est un formalisme conçu pour décrire rigoureusement un langage.
Définition[modifier | modifier le code]
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.
Exemples[modifier | modifier le code]
Voir aussi[modifier | modifier le code]
- 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.
Bibliographie[modifier | modifier le code]
- Josette Rey-Debove, Le métalangage : étude linguistique du discours sur le langage (coll. « L'ordre des mots »), Paris, Éd. Le Robert, 1978, 318 p. ; nouv. éd. Paris, Armand Colin, collection U, 1997, IX-401 p. (ISBN 9782200017903)
Références[modifier | modifier le code]
- (en) « The Extensible Markup Language » (consulté le 8 août 2017)