[[SGML]]을 종종 MetaLanguage라고 지칭하는데, 그 이유는 그것이 "언어를 어떻게 묘사할 것인가에 관한 언어"이기 때문이다. [[SGML]]의 특유한 용례를 [[DTD]]라고 부른다. [[DTD]]는 허용 가능한 언어가 무엇인지 한 자 한 자 정확히 읽어나간다. 그러므로 [[DTD]]는 어떤 형태의 문서를 위한 MetaLanguage이다 ([[HTML]]은 실제로, [[DTD]]의 한 예이다. [[HTML]]은 웹페이지가 포함할 수 있는 일련의 [[HTML]] 태그들을 정의한다). ---- CategoryLanguage