\begin{slide}{Beispiele, Kommentar}

  \begin{itemize}
  \item Bisimulation kann Schleifen verschiedener Länge
    nicht voneinander unterscheiden,
    falls alle Schleifenknoten gleich aussehen
    (Beispiel)
  \item man kann in $S$ alle Schleifen \glqq ausrollen\grqq\
    und erhält einen Baum $T$, der bisimilar zu $S$ ist
  \item
    $T$ ist im allgemeinen unendlich,
    deswegen möchte man doch mit endlichem $S$ rechnen.
  \end{itemize}

\end{slide}
