300px|thumb|Język znaczników oparty na SGML-uWykorzystywany podczas redagowania elektronicznej wersji Oxford English Dictionary. Umożliwia on wykonywanie złożonych zapytań przy wyszukiwaniu danych oraz łatwą transformację dokumentu do formatu HTML
Język znaczników () – format dokumentu zawierający obok tekstu także dodatkowe informacje, które go opisują. Te informacje, na przykład na temat wyglądu czy znaczenia fragmentu dokumentu, są wyrażane poprzez wplecione w tekst znaczniki.
Jednym z najpopularniejszych obecnie języków znaczników jest HTML, jedna z technologii leżących u podstaw WWW. Pierwotnie jednak języki znaczników były (i są do dziś) wykorzystywane przede wszystkim w przemyśle wydawniczym.
Odmiany języków znaczników Języki znaczników zwyczajowo dzielone są na trzy klasy: prezentacyjne, proceduralne oraz opisowe. W praktyce jednak różne odmiany znakowania są stosowane w danym systemie jednocześnie.
Przykładowo język HTML zawiera elementy czysto proceduralne (np. B określający, że tekst ma być wytłuszczony) oraz czysto opisowe (np. STRONG oznaczający ważny fragment tekstu).