Metaspråk

Metaspråk er et generelt språk som brukes for å beskrive spesifikke språk. Et metaspråk er nødvendig da man ikke kan beskrive spesifikke språk uten å ty til et annet språk (som da er metaspråket). Beskrivelser i et generelt metaspråk forenkler sammenligning mellom forskjellige spesifikke språk, eller samme spesifikke språk på ulike tidspunkt. For å sjekke om et gitt språk er korrekt brukt, må en kontrollere anvendelsen mot metaspråket. Med et metaspråk kan en også lage nye spesifikke språk. Metaspråk er brukt i alle fagfelt og vitenskaper der man uttrykker kunnskap språklig. Mest nærliggende er lingvistikk, der en grammatikk for et gitt språk, være det språkets metaspråk. Innen informatikk finner en metaspråk som danner grunnlag for å sammenligne ulike markeringsspråk og programmeringsspråk (for eksempel SGML).