Grüßt euch,
müsste hier ab k=1 nicht auch noch die Menge {e,f} aufgeführt werden, sodass {a,b,c,d), {e, f} in der Zeile steht? Wenn ich von e ein Wort der Länge 1 eingebe, so komme ich auf einen Endzustand. Wenn ich von f kommend ein Wort der Länge 1 eingebe, komme ich sowieso auf einen Endzustand.
Entsprechendes dann auch für die folgenden k-Äquivalenzen?
Über eine kleine Gedankenhilfe wäre ich sehr dankbar.
Liebe Grüße