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)Beantworten

Starke und schwache Bisimulation bei LTS

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)Beantworten