Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] \| Liste Catégories \| Une page au hasard \| Pages liées

Métalangage

Cet article est considéré comme une ébauche à compléter, partagez vos connaissances en le modifiant .

Un métalangage est un langage dont le but est de parler d'un langage.

Il en est ainsi de tout langage permettant de décrire une grammaire, comme par exemple le langage des expressions rationnelles ou bien la Forme de Backus-Naur en informatique.

De même, la logique mathématique est le langage formel qui permet d'écrire les théorèmes mathématiques donc c'est le métalangage des mathématiques.

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.