Richtig, die von dir angegebene Menge ist eine endliche Menge von Wörtern. Diese Sprache, die nur aus zwei Wörtern besteht, kann von einem KA erkannt werden, indem man das oben beschriebene Verfahren nutzt.
Die Sprache a^n b^n c^n mit n element N ist aber keine endliche Menge und kann von einem Kellerautomaten nicht erkannt werden (Beweis PPL).
Sven (Tutor)