Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2013-N-01

Antwort ausgewählt: Lückenhafte Lösungen

Mon, 12 Feb 2018 08:40:44 +0000

Die Aufgabe 2013-N-01 ist vollständig mirt Lösung enthalten. Wenn Sie an anderen Lösungen der Klausur interessiert sind, so schauen Sie bitte in die entsprechenden Threads der jeweiligen Aufgaben. Die entsprechenden eventuell fehlenden Lösungen müssten dort schon diskutiert worden sein.

Kommentiert: Bestätigung von Übungsleiter

Wed, 10 Feb 2016 17:52:30 +0000

Okay, da haben Sie recht, Herr Schmeck definiert "reduziert" und "minimiert" tatsächlich synonym. Da haben wir uns damals bei der Klausur vertan (allerdings kann man es ja kaum falsch verstehen...) Jedenfalls gibt es also "vereinfachte" end. Automaten, das sind die, bei denen es keine unerreichbaren Zustände gibt, und "minimierte" oder "reduzierte" end. Automaten, die die minimale Zustandsanzahl haben. Die alte Klausur werde ich korrigieren, danke für den Hinweis!

Antwort bearbeitet: Verständnisproblem der Aufgabenstellung

Mon, 08 Feb 2016 17:46:45 +0000

Hallo uedqa,

zunächst einmal zu deiner ersten Frage. Ich vermute, dass bei dieser Aufgabe mit "reduzierter" endlicher Automat eigentlich der vereinfachte Automat gemeint ist, also der Automat bei dem alle nicht erreichbaren (und damit überflüssigen) Zustände entfernt wurden. Hier in dieser Aufgabe können wir Zustand s4 direkt weglassen.

Bei deiner zweiten Frage sehe ich das genauso wie du. Ich hätte hier auch die 1-äquivalenten, 2-äquivalenten und k-äquivalenten Zustände angegeben. Übrigens sind diese Mengen hier alle identisch. Die Angabe der 0-äquivalenten Zustände würde ich in diesem Fall als Zusatz auffassen.

Viele Grüße,

Tim (Tutor)

Beantwortet: b): ausführliche Erklärung?

Wed, 23 Sep 2015 14:07:18 +0000

Hallo,

das lässt sich aus der Dreieckstabelle ablesen. Jeweils die beiden Zustände zu denen ein X0 gehört sind nicht 0-äquivalent, dürfen somit nicht in eine Mengenklammer. Also in der Aufgabe ist nur x1 nicht 0-äquivalent zu allen anderen, kommt also in eine extra Klammer und der Rest in die andere. So geht man dann auch mit übrigen k-äquivalenten Zuständen vor.

Viele Grüße,

Janina(Tutorin)