\begin{slide}{Typen für Bäume}

\begin{itemize}
\item
  \dots wohlgeformt heißt noch nicht \emph{sinnvoll}, deswegen:
\item
  \emph{XML-Schema} deklariert erwartete \emph{Struktur} von Elementen
  (Name, Anzahl der Kind-Elemente)
\item
  ein wohlgeformtes Dokument $D$,
  das zu einem Schema $S$ paßt,
  heißt \emph{gültig} (valid) bzg. $S$.

  (Das Feststellen der Gültigkeit heißt Validieren.)
\end{itemize}

\end{slide}
