Hallo unegn, in dieser Allgemeinheit lässt sich diese Frage nicht beantworten... Es ist z.B. immer ein neuer Zustand nötig, falls sich bei einem bestimmten gelesenen Zeichen und oberstem Kellerzeichen der Kellerautomat anders verhalten soll, als er es in allen bisherigen Zuständen tut.
Wenn Du einen bestimmten Automaten überprüfen willst, probiere doch mal den XWizard, und schaue wie sich Dein Automat verhält...
Viele Grüße
Jonas (Tutor)