Das kann man nicht allgemein beantworten.
Man kann bei Kellerautomaten zum Beispiel verschiedene Zustände benutzen, wenn man in einem Zustand Zeichen in den Keller schreiben und in dem anderen Zustand Zeichen aus dem Keller löschen möchte.
Beispiel: $a^nb^n$ . Man könnte zum Beispiel im Zustand $s_0$ die a's in den Keller schreiben, bis man zum ersten b gelangt. Dann könnte man in den Zustand $s_1$ wechseln, um die a's wieder aus dem Keller zu löschen.
Ansonsten kommt es aber immer auf die Aufgabe an, ob und wann es Sinn macht, einen neune Zustand zu definieren.
Viele Grüße
Julia (Tutorin)