Hallo,
ich hab mich das Gleiche gefragt.
Ich bin bisher immer davon ausgegangen, dass Kellerautomaten ein Wort akzeptieren, wenn diese bei Abbruch in einem Endzustand sind und das Wort vollständig abgearbeitet ist. (Stimmt das nicht?)
Gäbe es in diesem Beispiel z.B. die EIngabe $a, so würde der KA ja über die zuvor vorgschlage Überführung sofort in den Endzustand s2 wechseln und das Restwort "a" würde stehen bleiben. Da es von s2 keine Überführung mit a gibt bricht der Automat ab aber das Wort wäre ja noch nicht vollständig abgearbeitet. Akzeptiert der KA dieses dann trotzdem?
Danke und LG!