Na, Sie haben ja zuvor schon die Minimierungstabelle ausgefüllt. Dort steht jede Zelle für ein Zustandspaar.
-
Wenn die Zelle leer ist, sind die Zustände äquivalent zueinander, das heißt $k$-äquivalent für alle $k$.
-
Wenn in der Zelle $\times_i$ steht, dann sind die beiden Zustände nicht $i$-äquivalent, aber $i-1$-äquivalent zueinander.
Das heißt also, Sie fangen mit einer Menge an, die alle Zustände enthält (diese können wir ja mal unformal $-1$-äquivalent nennen, damit die obige Beschreibung auch für den $i=0$-fall passt), und trennen diese immer weiter auf. Zuerst beginnen Sie also mit den Zellen, die $\times_0$ enthalten. Das sind Zustandspaare, die zueinander nicht $0$-äquivalent sind. Die entsprechenden Zustände werden also voneinander getrennt, was zu zwei Mengen führt (in diesem Fall die Menge der Endzustände und die Menge der Nicht-Endzustände, für $i=0$ braucht man die Tabelle also noch gar nicht). So erhalten Sie die erste Zeile der Tabelle Dann nehmen Sie sich genauso die $\times_1$-Zellen vor und trennen die Zustände voneinander, die zwar noch $0$-äquivalent waren, aber nicht mehr $1$-äquivalent sind. Dann die $\times_2$-Zellen usw.
In der letzten Zeile sind die Zellen gerade so aufgeteilt, wie die Zustände äquivalent zueinander sind.
