XML является метаязыком. Метаязык - это язык, который обеспечивает синтаксический механизм для создания других языков без ограничения выражений посредством заранее определенной грамматики. XML определен на языке доктайпов SGML. Соблюдение строгих требований к синтаксису XML называется правильной формой, которая представляет собой практику точной точности к заявленному набору требований в целях обеспечения равномерной обработки документа в различных приложениях и пользовательских агентах.
SGML является мета-языком, подобным XML, и даже является родителем XML. SGML предлагает широкую форму для определения данных с использованием синтаксиса без предоставления соглашения о типизации данных. В отличие от SGML XML обладает жестким и чрезвычайно упрощенным синтаксисом, который не допускает путаницы. XML также имеет определения типов данных, в отличие от SGML. Элементы в XML обеспечивают область пространства имен в лямбда-выражении, тогда как SGML не поддерживает пространства имен.
Doctype - это язык на основе SGML, который использует синтаксис, совершенно не похожий на XML, для определения грамматик языка разметки и общих соглашений о типах данных, чтобы отличать элементы данных от текста.
XML-схема - это письменный язык XML, который позволяет определять грамматику языка с точной структурной формой в дополнение к конкретным соглашениям о типизации данных для элементов, структур и атрибутов. Языки, написанные на Schema, структурно самосознающие, в отличие от словарей SGML, так что они знают свои собственные внутренние требования в любой точке структуры. Языки, определенные схемой, могут быть сразу же открыты для проверки посредством ссылки на документ Схемы благодаря структурному самосознанию, в то время как языки, определенные в Doctype, требуют несвязанного программного обеспечения со статическими определениями для выполнения проверки.
HTML 1.0 был написан на английском языке и не является ни SGML, ни XML.
HTML 2 - 4 написаны на SGML и имеют гибкие возможности SGML, такие как теги верхнего регистра или начальные теги без соответствующего закрывающего тега.
XHTML 1.0 - это определенная SGML форма языка HTML с некоторыми расширенными требованиями к постепенной совместимости с синтаксисом XML.
XHTML 1.1 - это язык HTML, определенный в XML с требованиями правильности XML.
HTML5, как и HTML 1.0, не определен с использованием какого-либо мета-языка. Он написан на английском языке и движется радикально вопреки единым требованиям сериализации XML. HTML5, кажется, создан для удобства использования и доставки мультимедиа без учета структуры или языковых иерархий.
XHTML5 расшифровывается как «XML-сериализация HTML5» и представляет собой синтаксис XML для HTML5, который можно использовать при сериализации дерева DOM обратно в HTML5 (дерево DOM теряет способность различать теги супа тегов и правильные теги) и должно придерживаться более строгих правил XML и пространств имен. Он предназначен для более легкого машинного чтения или обмена данными, а также для сравнения двух документов HTML5. Он указан вместе со стандартом HTML5 и в нем (спасибо hsivonen за указание на это).