\begin{slide}{Zusammenfassung}

in Wirklichkeit passiert hier folgendes:
\begin{itemize}
\item
  ein XML-Dokument ist ein Baum
\item
  ein XML-Schema definiert eine Menge von Bäumen
\end{itemize}

vergleiche:
\begin{itemize}
\item
  eine Grammatik definiert eine Sprache $=$ Menge von Zeichenketten
\end{itemize}

ein XML-Schema ist eine reguläre Baumgrammatik,
die eine \emph{reguläre Baumsprache} definiert.

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

\end{slide}
