Hallo Sören, vielen Dank für deine Antwort. Jedoch verstehe ich nicht, warum das Wort abccabcc in meinem Fall akzeptiert wird:
(s0, abccabcc, k0) ⊢ (s1, bccabcc, ak0) ⊢ (s1, ccabcc, bak0) ⊢ (s1, cabcc, ak0) ⊢ (s1, abcc, k0) ⊢ (jetzt folgt doch der λ-Übergang, wobei der LK beim Eingabewort immer noch auf a zeigt, oder?) ⊢ (se, abcc, k0). Da nun (se, a, k0) nicht existiert, hält der KA an und befindet sich zwar im Endzustand se, aber das Wort ist ja noch nicht komplett abgearbeitet, also wird das Wort nicht akzeptiert.
Oder habe ich grundlegende Verständnisprobleme am KA? Danke dir im Voraus!