Diskussion:Bisimulation
Letzter Kommentar: vor 13 Jahren von 85.179.44.221 in Abschnitt Starke und schwache Bisimulation bei LTS
Ich schlage vor den Unterschied zwischen einer Bisimulation und einer symmetrischen Relation im ersten Abschnitt hervorzuheben.
eine bisim ist doch symmetrisch. sogar kongruenz!
Achtung: Eine Bisimulation ist nicht zwangsläufig eine Kongruenz! -- 85.179.44.221 11:34, 16. Jun. 2011 (CEST)
Starke und schwache Bisimulation bei LTS
[Quelltext bearbeiten]Starke und schwache Bisimulation bei LTS!
Die Bisimularitätsrelation ~ ist die größte Bisimulation über einem gegebenen Transitionssystem.
<= macht das überhaupt sinn?!?
Nein, so geschrieben das ist Unfug; es ist nicht einmal definiert, was ~ in diesem Kontext sein soll. -- 85.179.44.221 11:34, 16. Jun. 2011 (CEST)