N'Abend allerseits,
ich hab mal eine Frage zu Aufgabe 29, und zwar was wird wohl mit "Verifizieren Sie dabei ausführlich, dass es sich um eine Bisimulation handelt" gemeint sein.
Bisimulation bedeutet ja, dass die beiden Automaten dieselbe Sprache akzeptieren.
Verifiziere ich dass jetzt dadurch, dass ich jeweils reguläre Ausdrücke für die Automaten bilde und die beiden damit vergleiche.
Oder ist die Verifikation nicht eventuell schon dadurch abgeschlossen, dass alle Paare der Bisimulation Bedingung 3 erfüllen.
Vielleicht hat von Euch ja einer ne Idee, was gemeint sein könnte. Bevor ich mir die Arbeit mit den Ausdrücken mache,... *gg*
Grüße Mostro.
Verfasst am: 25. 11. 2003 [14:04]
Massaquah
Dabei seit: 11.12.2002
Beiträge: 3
Hi,
also ich habe das einfach mal so verstanden, dass man beispielsweise hinter jeder Zeile der Tabelle nochmal schreibt, warum die Bedingung 3 erfüllt ist. Weiterhin habe ich jeden Schritt des Algorithmus nochmal direkt auf diese Aufgabe bezogen formuliert und aufgeschrieben.
Jetzt ne Frage von mir: Hat schon jemand ne Idee für Aufgabe 32 ?
---
<a href='http://www.notcpa.org/'>TCPA</a>
Kontakt
