metalinguaggio

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 che diciamo 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.