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 ?).
|
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.
Voir aussi :
- Meta language ou ML : langage de programmation réputé pratique pour décrire d'autres langages de programmation et écrire leurs compilateurs, ainsi que pour programmer des systèmes de preuve formelle.
- NSM (Natural Semantic Metalanguage) permet la description de scripts linguistiques avec peu de mots (< 80).
