Hallo,
da hier nach einem deterministischen endlichen Automaten gefragt wurde, muss für jede Eingabe in jedem Zustand ein Übergang existieren. Würden wir den Zustand S3 entfernen, und damit auch alle Übergänge die in diesen Zustand führen dann währe der Automat nicht mehr deterministisch.
Grüße, Sören (Tutor)