Der Startzustand ist der Startpunkt des Zustandsautomaten. Von ihm aus wird der erste Zustand (Startzustand) erreicht, es ist daher nicht erlaubt mehrere abgehende Transition dem Startzustand zuzuordnen.