EDIT: Habe nun nach dem ^ einen Abstand eingefügt, da die automatische Umwandlung von Caret-zeichen hier irgendwie streikt.
Bedeutet ^{+} "beliebiger Länge" ?
Ist L3 denn die Menge der Wörter über dem angegebenen Alphabet mit Quersumme 3 und beliebiger Länge?
12 hat die Quersumme 1+2= 3.
DFA müsste ich erst nachlesen. Das kennst du besser als ich.