Würden wir nur einen Zustand nutzen, könnten wir nicht unterscheiden, ob bereits $c$'s oder $d$'s aufgetreten sind oder nicht. Wir könnten dann immer von vorne anfangen und würden neue $a$'s und $b$'s akzeptieren, obwohl diese nach Definition nur am Anfang stehen dürfen.