Beispiele, Kommentar

• Bisimulation kann Schleifen verschiedener Länge nicht voneinander unterscheiden, falls alle Schleifenknoten gleich aussehen (Beispiel)
• man kann in S alle Schleifen „ausrollen`` und erhält einen Baum T, der bisimilar zu S ist
• T ist im allgemeinen unendlich, deswegen möchte man doch mit endlichem S rechnen.