Kann ein Kellerautomat diese Sprache nicht verstehen, wenn er
erst jedes a im Keller speichert
für jedes b wieder ein a löscht bis k0 oben im Keller ist,
jedes b ein b im Keller speichert bis c auf dem Eingabeband
für jedes c ein b löscht b
sobald k0 oben im keller ist, in einen Endzustand übergeht?
Wenn ein Kellerautomat diese Sprache akzeptiert, müsste sie doch kontextfrei sein oder?