Zusammenfassung

in Wirklichkeit passiert hier folgendes:

• ein XML-Dokument ist ein Baum
• ein XML-Schema definiert eine Menge von Bäumen

vergleiche:

• eine Grammatik definiert eine Sprache = Menge von Zeichenketten

ein XML-Schema ist eine reguläre Baumgrammatik, die eine reguläre Baumsprache definiert.

(alles seit spätestens 1980 gut bekannt, Baumsprachen, algebraische Datentypen)