Hallo,
der Zustand s1 ist hier nur zur Übersichtlichkeit eingefügt, man könnte hier durchaus auch für "lese ein a ein", im Zustand s0 bleiben, und somit alle Überführungen von s1 im Zustand s0 durchführen.
Zu deiner zweiten Frage:
Du kannst einen 2. Zustand definieren und mit diesen immer wieder hin und herswitchen, ohne etwas in den Keller zu schreiben, allerings finde ich macht es das komplizierter und unübersichtlicher, als einfach einmal das c hinein zu schreiben und bei dem nächsten wieder herauszulöschen, aber das ist Geschmackssache. ;)
Ich hoffe ich konnte dir weiterhelfen, falls noch Fragen bestehen, einfach hier drunter posten :)
Viele Grüße,
Marc (Tutor)