Eine wirklich gute Faustregel kenne ich nicht, allerdings ist es ratsam, im Zweifel lieber einen neuen Zustand zu definieren, als einen "alten" wieder zubenutzen, da es keinen Abzug für zu viele Zustände gibt, solange die akzeptierte Sprache stimmt, andererseits zu wenige Zustände ziemlich katastrophale Folgen haben können.
HINWEIS: die Kellerautomaten in den Musterlösungen sind meist so gebaut, dass er möglichst wenig Zustände hat. Automaten mit mehr Zuständen sind nicht immer falsch.
Tobias (Tutor)