Hallo,
wenn ich deinen Endlichen Automaten richtig interpretierte habe sieht er wie folgt aus (S0 als Endzustand): In der Aufgabe steht: „L2 ist die Sprache der nichtleeren Wörter, deren Länge ein Vielfaches von drei ist“ Da S0 bei dir ein Endzustand ist, würde dein Endlicher Automat des leere Wort akzeptieren.
Viele Grüße,
Sören (Tutor)