Metataal
Metataal is een taal in de taalkunde die gebruikt wordt om een andere taal te beschrijven. Formele syntactische modellen voor de beschrijving van een grammatica zijn een voorbeel van zo'n metataal. Meer algemeen kan het verwijzen naar elke terminologie of taal die gebruikt wordt om het concept taal zelf te omschrijven.
Zo kunnen bijvoorbeeld algemene taalkundige vaststellingen weergegeven worden als logische stellingen, bijvoorbeeld Jantje rookt kan voorgesteld worden door S(j), waarbij S=rookt en j=Jantje.
[bewerk] Informatica
HTML en XHTML zijn voorbeelden van opmaaktaalen die kunnen gebruikt worden door iedereen die media (zoals video, geluid, grafische beelden en tekst) willen omzetten in een taal die verstaanbaar is door een computer, zodat het gebruikt kan worden voor het internet. Oorspronkelijk was het nodig om manueel het HTML document in te typen, maar tegenwoordig is er software die dat automatisch doet. Ook bestaan er een aantal speciale opmaaktalen voor wiskundige en wetenschappelijke notaties, zoals TeX en LaTeX.
Een ander bekend voorbeeld van metataal in de informatica is XML. Er bestaan nog andere metatalen gebaseerd op de W3C XML 1.0 standaard, zoals :
