Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2012-H-01

Kommentiert: b): Wieso ist hier F= s0,s1,s3,s4,s5 ?

Wed, 05 Feb 2020 17:18:21 +0000

Könnte mir jemand diese Erklärung nochmals in anderen Worten darlegen? Irgendwie werde ich daraus nicht schlau...

Besten Dank im Voraus

Beantwortet: Ausdruck geschweifte Klammer

Sun, 02 Feb 2020 11:22:31 +0000

Hallo,

bei der 1-Äquivalenz hast du innerhalb der {} immer die Zustände die nach dem Vergleichen der "2. Ebene von hinten" noch gleich sein können.

Mengen 1-äquivalenter Zustände: {s0, s3, s4}, {s1}, {s2}, {s5}

Hier bedeutet es dass s0,s3,s4 bei dem rekursiven betrachten von 2 Zuständen ausgehend vom Endzustand immer noch keinen Unterschied aufgezeigt haben, wohingegen s1 zu allen anderen Unterschiedlich ist (s2 und s5 sind auch zu allen anderen unterschiedlich). Vom Prinzip her schaust du immer wo noch keine Einträge sind und schreibst die beiden Zustände die noch keinen X? drin stehen haben in eine Klammer. Sind es mehrere die in einer Zeile/Spalte kein X? drin stehen haben schreibst du diese in eine {}.

Constantin (Tutor)

Kommentiert: Aufgabe 1 a)

Wed, 27 Jan 2016 19:39:51 +0000

Danke! Gibt es hier "Grenzen", wo man beispielsweise sagt ,ab einer n Anzahl an X0/X1/X2/X3 ist sj nicht mehr 0/1/2/3 Äquivalent? (du sagtest ja bspw. "maximal 1 x0" ) .

Kommentiert: Übersicht alternativer Lösungsvorschläge aus dem alten ILIAS-Forum

Fri, 25 Sep 2015 10:22:50 +0000

1. Teil: (11)*0(11)*0, ist soweit richtig.

2. Teil: 0*(10*1)*, hier hast du das Problem, dass du am Ende des Wortes keine einzelne Null mehr schreiben kannst, solltest du davor 1en geschrieben haben. Betrachte Beispielsweise das Wort 00110. Dieses wird vom EA erkannt, kann aber mit deinem Ausrduck nicht dargestellt werden.

Gelöst wird das Problem, indem du die 0 in die Klammer ziehst und durch die Summe verbindest: (0+10*1)*. Somit könnte auch das Wort 00110 dargestellt werden.

Max (Tutor)

Beantwortet: wieso bilden für k=1 s1 und s5 nicht eine eigene Menge?

Fri, 25 Sep 2015 10:19:50 +0000

Hallo,

weil in dem Minimierungstableau das Kästchen "s1/s5" mit einem X1 markiert ist, also nicht 1-äquivalent ist.

Viele Grüße

Christiane (Tutorin)

Beantwortet: Erklärung zu Mengen der k-äquivalenten zustände?

Fri, 25 Sep 2015 10:17:30 +0000

Hallo,

schau dir einmal die in der Aufgabe gegebene Minimierungstabelle an. Die Einträge in dieser Tabelle bedeuten jeweils, dass zwei Zustände nicht k-Äquivalent sind, wenn in dem entsprechenden Kästchen x_k eingetragen ist. Also sind beispielsweise zwei Zustände, bei denen in der Tabelle x_0 vermerkt ist nicht 0-Äquivalent.

Wie du siehst, ist S2 nicht 0-Äquivalent zu allen anderen Zuständen. Deshalb muss es bei der Angabe aller 0-Äquivalenten Zustände in einer eigenen Mengenklammer erfasst werden. Alle anderen Zustände sind 0-Äquivalent und stehen deshalb in der gleichen Mengenklammer.

Im nächsten Schritt betrachtest du nun die 1-Äquivalenz. Da S2 schon nicht 0-Äquivalent zu allen anderen Zuständen war, ist es auch auf keinen Fall 1-Äquivalent zu den anderen Zuständen und muss daher wieder in eine eigene Menge genommen werden. Weiterhin sind S1 und S5 nicht 1-Äquivalent zu den übrigen Zuständen und müssen deshalb auch jeweils eine eigene Mengen bilden... usw...

Viele Grüße

Lukas (Tutor)