HK WS 2018/2019 - Aufgabe 2

Question

Hallo,

ich verstehe nicht warum S4S0 = X1, S3S2 = X1, S4S5 = X1 sind?

Vielen Dank schon mal im Voraus

Answer 1

Hallo ujoby,

schau dir gegebenenfalls nochmal an, wie der Minimierungsalgorithmus funktioniert.

In der x₁-Iteration schauen wir, ob die Zustandspaare jeweils auf ein bereits markiertes Feld, hier also alle mit x₀ gekennzeichneten Felder, zeigen. Betrachten wir beispielsweise dein erstes genanntes Zustandspaar (s₀,s₄): Bei der Eingabe eines a's landen wir im Zustandspaar (s₁,s₃). Das können wir ganz einfach aus der Übergangstabelle ablesen. Nun schauen wir in der Dreieckstabelle, ob dieses Zustandspaar bereits markiert ist. Da wir im entsprechenden Feld (3. Zeile, 1. Spalte) eine x₀ sehen, wissen wir dass wir nun unser Feld zum betrachteten Paar (s₀,s₄) mit x₁ markieren müssen. Analog geht man dann weiter durch die Dreieckstabelle und prüft Feld für Feld / Zustandspaar für Zustandspaar, ob das zugehörige Feld bereits markiert wurde.

Beste Grüße,

Martin (Tutor)

Comments

Vielen Dank Martin!! :)