Métalangage
Un article de Freepedia.
Cet article est une ébauche à compléter, vous pouvez partager vos connaissances en le modifiant.
Un métalangage est un formalisme conçu pour décie rigoureusement un langage.
Si le langage en question est décrit par une grammaire, la description de la gammaire 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.
