Verständnisproblem zum Pumping-Lemma

[blackberry]

Du meinst die Sprache, die nur das Wort aabba enthält? Die genügt der Aussage des Pumping-Lemmas; wähle etwa n=6 in deiner Formulierung von oben.

Der Punkt ist, dass All-Quantifizierungen über die leere Menge immer wahr sind. Beispielsweise die Aussage "Alle blauen Giraffen sind grün" ist wahr (vorausgesetzt, dass es keine blauen Giraffen gibt) -- denn die Negation dieser Aussage ("Es gibt eine blaue Giraffe, die nicht grün ist") ist ersichtlich falsch.