\begin{slide}{Anwendungen von Baum-Automaten}

\begin{itemize}
\item
  Automaten beschreiben
  Muster für (erwünschte, verbotene) Bäume und Teilbäume

  (entspr. reguläre Ausdrücke für Wörter)
\item
  Diese Muster (Automaten) könne auf eine effiziente (deterministische)
  Form gebracht werden

  (entspr. sog. \emph{Kompilieren} von regulären Ausdrücken)
\item
  Damit können Anfragen an XML-Dokumente effizient bearbeitet werden
\end{itemize}


\end{slide}
