Metalinguaggio

Disambiguazione – Se stai cercando il linguaggio di programmazione, vedi ML (linguaggio di programmazione).

Nella logica e nella teoria dei linguaggi formali per metalinguaggio si intende un linguaggio formalmente definito che ha come scopo la definizione di altri linguaggi artificiali, definiti linguaggi obiettivo o linguaggi oggetto (nell'ambito di SGML e di XML si usa anche il termine applicazioni). Tale definizione tende ad essere formalmente rigorosa e completa, tanto da potersi utilizzare per la costruzione o la validazione di strumenti informatici di sostegno per i linguaggi obiettivo.