Aus dem Verfahren zur Minimierung endlicher Automaten weiß man, dass in einem Feld genau dann X0 steht, wenn genau einer der beiden Zustände ein Endzustand ist. Wenn ein Feld also leer ist oder Xi mit i>0 darin steht, dann weiß man dadurch, dass entweder beide Zustände Endzustand oder keiner der beiden Endzustand ist. Damit kommt man dann auf alternativen Endzustände.
Hinweis: die Sprache, die der EA akzeptiert, wird im Allgemeinen natürlich von den Endzuständen abhängen, aber um die akzeptierte Sprache geht es in diesem Aufgabenteil nicht...
Tobias (Tutor)