Formální model RELAX NG

formální model RELAX NG vychází z alejových automatů a gramatik (hedge grammar)

jedná se o rozšíření klasických gramatik operujících nad řetězci na stromovou strukturu

alej je sekvence stromů (= strom, který nemusí mít jeden vrchol)

schéma dokumentu XML ∼ alejová gramatika

implementace Relax NG validátoru

aleje jsou v současné době formalismem, který asi nejlépe „pasuje“ na XML