Antworten:
Beide Pump-Lemmas haben eine intuitive Erklärung in Bezug auf einen Automaten, der eine Sprache erkennen kann.
Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Alle Wörter werden erkannt durch:
Eine kontextfreie Sprache kann von einem Pushdown-Automaten erkannt werden. Alle Wörter werden erkannt durch:
Eine ähnliche Intuition erhalten Sie auch durch die Art und Weise, wie reguläre und kontextfreie Sprachen durch einen regulären Ausdruck bzw. eine kontextfreie Grammatik angegeben werden können.
Wenn ein Wort durch einen regulären Ausdruck erkannt wird, gilt Folgendes:
Wenn ein Wort von einer kontextfreien Grammatik erkannt wird, dann:
Das liegt an der "Struktur" der Sprachen, die von den jeweiligen Pump-Lemmas beobachtet wird. Schauen Sie sich die Proofs der jeweiligen Pumpenergebnisse an.
Für reguläre Sprachen ist die Struktur linear, und für jedes lange Wort gibt es einen Zustand, der bei der akzeptierenden Berechnung eines Automaten mit endlichen Zuständen zweimal wiederholt wird. Die zwischen diesen Zuständen gelesene Zeichenfolge kann wiederholt werden.
Die Struktur kontextfreier Sprachen ist verschachtelt und baumartig. Wiederum hat ein langes Wort einen Ableitungsbaum, der ein Nichtterminal auf einem der Pfade im Baum wiederholt. Diese Struktur kann auch wiederholt werden, generiert jedoch zwei Zeichenfolgen, sowohl links als auch rechts.
Das Pump-Lemma für kontextfreie Sprachen ist im Kern eine Anwendung des Pigeonhole-Prinzips. Wenn wir ein ausreichend langes Wort in der Sprache nehmen und einen seiner Analysebäume betrachten, gibt es einen Pfad, auf dem sich eines der Nichtterminals wiederholt. Auf diese Weise können wir einen Teil des Wortes durch Ausschneiden und Einfügen "pumpen".
Betrachten Sie als Beispiel den folgenden Analysebaum:
Die sich wiederholenden nicht terminale ist . Wir können die Wiederholung beseitigen, um den Analysebaum zu erhalten:
Wir können auch die Wiederholung "pumpen", um den Analysebaum zu erhalten:
In Bezug auf die Wörter selbst haben wir mit dem Wort und zuerst das Wort erhalten und dann das Wort .
Das Pumpen entspricht dem Variieren der Anzahl der Anwendungen der Ableitung . Sie können sehen, dass zwei verschiedene Teile gleichzeitig gepumpt werden. Dies ist notwendig für Sprachen wie: das und Teile müssen separat gepumpt werden.
Überlegen Sie nun, was passiert, wenn wir dieselben Argumente auf eine linke reguläre Grammatik anwenden :
Da die Grammatik regelmäßig belassen wird, erfolgt die gepumpte Ableitung enthält nur ein gepumptes Teil. Dies ist aufgrund der Form der Analysebäume bei linken regulären Grammatiken immer der Fall.
In Bezug auf die Zersetzung Dies impliziert, dass , und so Dies ist genau die Form des Pump-Lemmas für reguläre Sprachen (unter Berücksichtigung als ein einziges Wort). Die besondere Form der Analysebäume in der linken regulären Grammatik ermöglicht es uns, ein stärkeres Pump-Lemma zu erhalten.
Gutschrift: Alle mit dem Syntax Tree Generator gezeichneten Analysebäume .