Metasprache Formal system Sistema formal Metajęzyk

Langage formel

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).