Quelltext der Seite Pumping-Lemma

Das '''Pumping-[[Hilfssatz|Lemma]]''' bzw. '''Pumplemma''' (auch '''Schleifensatz''' genannt) beschreibt in der [[Theoretische Informatik|theoretischen Informatik]] eine Eigenschaft bestimmter Klassen [[Formale Sprache|formaler Sprachen]]. In vielen Fällen lässt sich anhand des Lemmas nachweisen, dass eine formale Sprache nicht [[Reguläre Sprache|regulär]] bzw. nicht [[Kontextfreie Sprache|kontextfrei]] ist.

Seinen Namen hat das Lemma vom englischen Begriff ''to pump'', zu deutsch ''aufpumpen''. Es leitet sich davon ab, dass Teile von Wörtern aus Sprachen bestimmter Klassen vervielfacht (aufgepumpt) werden können, so dass die dabei entstehenden Wörter ebenfalls in der Sprache sind.

Man unterscheidet zunächst zwischen dem Pumping-Lemma für reguläre Sprachen und jenem für kontextfreie Sprachen. In der Literatur sind weiterhin Pumping-Lemmata für Erweiterungen der kontextfreien Sprachen anzutreffen. Mächtigere Sprachklassen in der [[Chomsky-Hierarchie]] wie die [[Kontextsensitive Sprache|kontextsensitiven Sprachen]] und auch die [[Wachsend kontextsensitive Sprache|wachsend kontextsensitiven Sprachen]] ermöglichen jedoch kein Pumping-Lemma.

Alternativ wird das Lemma bzw. seine Ausprägungen auch als ''uvw-Theorem'', ''uvwxy-Theorem'', ''Schleifenlemma'', ''Iterationslemma'' oder ''Lemma von Bar-Hillel'' bezeichnet.

== Reguläre Sprachen ==
=== Pumping-Lemma für reguläre Sprachen ===

Für jede [[reguläre Sprache]] <math>L</math> gibt es eine [[natürliche Zahl]] <math>n</math>, sodass gilt:
Jedes Wort <math>z</math> in <math>L</math> mit Mindestlänge <math>n</math> hat eine Zerlegung <math>z=uvw</math> mit den
folgenden drei Eigenschaften:
# Die beiden Wörter <math>u</math> und <math>v</math> haben zusammen höchstens die Länge <math>n</math>.
# Das Wort <math>v</math> ist nicht leer.
# Für jede natürliche Zahl (mit 0) <math>i</math> ist das Wort <math>uv^iw</math> in der Sprache <math>L</math>, d.&nbsp;h. die Wörter <math>uw</math>, <math>uvw</math>, <math>uvvw</math>, <math>uvvvw</math> usw. sind alle in der Sprache <math>L</math>.
Das kleinste <math>n</math>, das diese Eigenschaften erfüllt, wird '''Pumping-Zahl''' der Sprache <math>L</math> genannt.<ref>[https://www.informatik.hu-berlin.de/forschung/gebiete/algorithmenII/Lehre/ws13/einftheo/einftheo-skript.pdf Skript] (PDF; 1,1&nbsp;MB) Humboldt-Universität Berlin</ref>

Neben den regulären Sprachen gibt es auch nicht-reguläre Sprachen, die dieses Lemma erfüllen. Eine [[notwendige und hinreichende Bedingung]] für reguläre Sprachen liefern der [[Satz von Myhill-Nerode]] oder [[#Jaffes Pumping-Lemma|Jaffes Pumping-Lemma]].

Das Pumping-Lemma enthält mehrere Wechsel zwischen universeller und existentieller Quantifizierung.
Diese kann man gut anhand der folgenden formalen Formulierung des Lemmas erkennen. Darin bezeichnet
<math>\mathcal{L}_3</math> die Menge aller regulärer Sprachen.
:<math>\begin{align}
\forall L \in \mathcal{L}_3.\, \exist n \in \mathbb{N}.\,
\forall z \in L.\, |z|\ge n \implies \exist u, v, w.\ \  & z=u\circ v\circ w\ \land\\
&|uv| \leq n\ \land\\
&|v| > 0\ \land \\
&\forall i\in \mathbb{N}_0.\, u\circ v^i\circ w \in L
\end{align}
</math>

=== Beweis ===
Die Gültigkeit des Lemmas basiert darauf, dass es zu jeder regulären Sprache einen [[Deterministischer endlicher Automat|deterministischen endlichen Automaten]] gibt, der die Sprache akzeptiert. Über einem endlichen Alphabet enthält eine reguläre Sprache mit unendlich vielen Wörtern auch solche Wörter, die mehr Zeichen enthalten als der Automat Zustände hat. Zum Akzeptieren solcher Wörter muss der Automat also einen Zyklus enthalten, der dann in beliebiger Häufigkeit durchlaufen werden kann. Die Buchstabenfolge, die beim Durchlaufen des Zyklus gelesen wird, kann also entsprechend beliebig oft in Wörtern der Sprache vorkommen.

[[Datei:Pumping-Lemma.svg|mini|300px|Die Idee des Pumping-Lemmas ist, dass ein Wortteil durch einen Zyklus im deterministischen endlichen Automaten beliebig oft wiederholt werden kann.]]

Der folgende Beweis setzt die Mindestlänge <math>n</math> aus dem Lemma mit der Anzahl der Zustände des Automaten gleich und zeigt, dass wegen der Existenz eines Zyklus jedes Wort mit dieser Mindestlänge die geforderte Zerlegung besitzt.

Sei <math>L</math> eine reguläre Sprache. Ist <math>L</math> endlich, dann gibt es ein Wort mit maximaler Länge <math>k</math>. Sei <math>n=k+1</math>, so ist für alle <math>z\in L</math> die Prämisse <math>|z|\ge n </math> falsch und die [[Implikation]] damit wahr.

Ist <math>L</math> unendlich, dann sei <math>M</math> ein deterministischer [[endlicher Automat]], der <math>L</math> akzeptiert. Da <math>L</math> regulär ist, existiert ein solcher Automat <math>M</math> immer. Sei <math>n</math> die Anzahl der Zustände dieses Automaten, und sei <math>z</math> ein beliebiges Wort aus <math>L</math> mit mindestens <math>n</math> Zeichen.
Bezeichne nun mit <math>q_1 \to \dots \to q_k</math> die Zustandsfolge, die <math>M</math> beim Lesen von <math>z</math> beginnend mit dem Startzustand <math>q_1</math> durchläuft. Da <math>z</math> in <math>L</math> ist, muss <math>z</math> von <math>M</math> akzeptiert werden, d.&nbsp;h. <math>q_k</math> muss ein akzeptierender Zustand sein. Da der Automat <math>M</math> gerade <math>n</math> Zustände hat, muss spätestens nach dem Lesen von <math>n</math> Zeichen eine Zustandswiederholung eintreten. Das heißt, es existieren <math>i, j \in \{1, \dots, n+1\}</math> mit <math>i \neq j</math> und <math>q_i = q_j</math>. Der Automat <math>M</math> durchläuft beim Lesen von <math>z</math> also einen Zyklus.

Sei <math>v</math> der Teil von <math>z</math>, der beim Durchlaufen des Zyklus <math>q_i \to \dots \to q_j</math> gelesen wird. Ferner sei <math>u</math> der Teil von <math>z</math>, der beim Durchlaufen der davor liegenden Zustandsfolge <math>q_1 \to \dots \to q_i</math> gelesen wird, und <math>w</math> sei der Teil von <math>z</math>, der beim Durchlaufen der dahinter liegenden Zustandsfolge <math>q_j \to \dots \to q_k</math> gelesen wird. Mit dieser Wahl gilt <math>z = uvw</math>.

Mit dieser Wahl von <math>u</math>, <math>v</math> und <math>w</math> gelten die Aussagen aus dem Pumping-Lemma:
# Die Länge von <math>uv</math> ist <math>j-1</math> und somit nicht größer als <math>n</math>.
# Das Wort <math>v</math> ist nicht leer, da <math>i\neq j</math> gilt, so dass beim Durchlauf des Zyklus mindestens ein Zeichen gelesen wird.
# Für beliebiges <math>m \geq 0</math> durchläuft der Automat beim Lesen des Worts <math>uv^{m}w</math> zunächst die Zustandsfolge <math>q_1 \to \dots \to q_i</math>, dann <math>m</math>-mal den Zyklus <math>q_i \to \dots \to q_j</math> und schließlich die Zustandsfolge <math>q_j \to \dots \to q_k</math>. Am Ende befindet sich der Automat im akzeptierenden Zustand <math>q_k</math>. Somit gilt <math>uv^{m}w \in L</math> für alle <math>m\geq 0</math>.

=== Beispiel ===

Ist die Sprache <math>L = \left\{a^mb^m \mid m \ge 1\right\}</math> regulär?

Angenommen, <math>L</math> sei eine reguläre Sprache. Dann gibt es gemäß Pumping-Lemma eine Zahl <math>n</math>, so dass sich alle Wörter <math>z \in L</math> mit <math>\left|z\right| \ge n</math> wie beschrieben zerlegen lassen.

Insbesondere gibt es eine Zerlegung <math>uvw</math> mit den beschriebenen Eigenschaften für das Wort <math>a^nb^n \in L</math>. Da <math>uv</math> ein Präfix dieses Wortes ist und gemäß Eigenschaft&nbsp;1 höchstens Länge <math>n</math> hat, besteht <math>uv</math> und damit <math>v</math> ausschließlich aus Buchstaben <math>a</math>. Gemäß Eigenschaft&nbsp;3 (für <math>i=2</math>) muss auch das Wort <math>uv^2w = a^{n+ \left|v\right|}b^n</math> in <math>L</math> liegen. Da aber <math>\left|v\right| > 0</math> (Eigenschaft&nbsp;2), enthält dieses Wort mehr <math>a</math> als <math>b</math>, liegt also nicht in <math>L</math>.

Also führt die Annahme, <math>L</math> sei eine reguläre Sprache, zum Widerspruch und ist damit falsch.

=== Eine nicht-reguläre Sprache, die den Bedingungen des Pumping-Lemmas genügt ===

Die Sprache <math>L = \left\{a^mb^nc^n \mid m,n \ge 1\right\} \cup \{b^mc^n \mid m,n \ge 0 \}</math> ist nicht regulär. Allerdings erfüllt <math>L</math> die Eigenschaften des Pumping-Lemmas mit Mindestlänge <math>n=1</math>, denn jedes Wort <math>z \in L, |z|\ge 1</math> lässt sich so in <math>z = uvw</math> zerlegen, dass auch für alle <math>i\ge0</math> <math>uv^iw \in L</math>. Dazu kann <math>u</math> leer und <math>v</math> als erster Buchstabe gewählt werden. Dieser ist entweder ein <math>a</math>, die Anzahl von führenden <math>a</math>s ist beliebig. Oder er ist ein <math>b</math> oder <math>c</math>, ohne führende <math>a</math>s ist aber die Anzahl von führenden <math>b</math>s oder <math>c</math>s beliebig.

=== Jaffes Pumping-Lemma ===
Jeffrey Jaffe hat ein verallgemeinertes Pumping-Lemma entwickelt,<ref>Jeffrey Jaffe: ''A necessary and sufficient pumping lemma for regular languages''. [[doi:10.1145/990524.990528]]</ref> das äquivalent zur Definition der [[Reguläre Sprache|regulären Sprachen]] ist. Es ist also eine notwendige und hinreichende Bedingung zum Nachweis der Regularität einer Sprache.

Die Sprache <math>L \subseteq \Sigma ^{*}</math> ist regulär genau dann, wenn eine Konstante <math>n > 0, n \in \mathbb{N}</math> existiert, so dass es für alle <math>z \in \Sigma^{*}</math>, <math>|z| = n</math> eine Zerteilung <math>z = uvw</math> mit <math>u, w \in \Sigma^{*}, v \in \Sigma^{+}</math> gibt, so dass für alle <math>i \ge 0</math> und Suffixe <math>x \in \Sigma^{*}</math> gilt:
: <math>zx \in L \iff uv^{i}wx \in L</math>.
<!--
:<math>\begin{align}
L \in \mathcal{L}_3 \iff \exist n \in \mathbb{N}^{+}:&&L \subseteq \Sigma^{*}\\
z := u\cdot v\cdot w, |z| &\geq n\;&\forall z \in \Sigma^{*}\\
v \neq \varepsilon \iff \left|v\right| &\ge 1 > 0,&u, v, w \in \Sigma ^{*}\\
zx \in L \iff uv^{i}wx \in L\;&\forall i \ge 0,& x \in \Sigma ^{*}
\end{align}</math>-->

== Kontextfreie Sprachen ==

=== Pumping-Lemma für kontextfreie Sprachen ===

Für jede [[kontextfreie Sprache]] <math>L</math> gibt es eine natürliche Zahl <math>n</math>, sodass gilt: Jedes Wort <math>z</math> in <math>L</math> mit Mindestlänge <math>n</math> hat eine Zerlegung <math>z = uvwxy</math> mit den folgenden drei Eigenschaften:

# Die Wörter <math>v</math>, <math>w</math> und <math>x</math> haben zusammen höchstens die Länge <math>n</math>, d.&nbsp;h. <math>|vwx| \leq n</math>.
# Eines der Wörter <math>v</math>, <math>x</math> ist nicht leer. Also <math>|vx| \geq 1</math>.
# Für jede natürliche Zahl (mit 0) <math>i</math> ist das Wort <math> uv^iwx^iy</math> in der Sprache <math>L</math>, d.&nbsp;h. die Wörter <math>uwy</math>, <math>uvwxy</math>, <math>uvvwxxy</math> usw. liegen alle in <math>L</math>.

Neben den kontextfreien Sprachen gibt es auch nicht kontextfreie Sprachen, die dieses Pumping-Lemma erfüllen. Die Umkehrung des Lemmas gilt im Allgemeinen also nicht. Eine Verallgemeinerung des Pumping-Lemmas für kontextfreie Sprachen ist [[Ogdens Lemma]].

=== Beweis ===
Gegeben sei eine [[kontextfreie Grammatik]] G in [[Chomsky-Normalform]] mit <math>N</math> Variablen, für die gilt, dass sie gerade die gewünschte Sprache beschreibt. Sei nun ein Wort <math>x</math> aus dieser Sprache gegeben, für das gilt: <math>\left|x\right| \geq 2^{\left|N\right|} = n</math>.

[[Datei:Pumping Lemma für kontextfreie Sprachen.svg|mini|Die Idee des Pumping-Lemmas für kontextfreie Sprachen ist, dass ein Wortteil durch mehrfaches Ableiten derselben Variablen beliebig oft wiederholt werden kann.]] Betrachten wir nun einen [[Ableitungsbaum]]&nbsp;T für <math>x</math> mit Höhe&nbsp;h. Da unsere Sprache in [[Chomsky-Normalform|CNF]] angegeben wurde, hat T die Form eines [[Binärbaum]]es. Daraus folgt für die Höhe von T <math>h \geq \log(n) = \left|N\right|</math>. Es gibt also einen Pfad <math>v_0 \ldots v_h</math> in T von der Wurzel zu einem Blatt, für den gilt, dass er Länge <math>h+1 > \left|N\right|</math> hat. Es existieren also zwei Knoten <math>v_j, v_k</math> auf diesem Pfad mit <math>0 \leq j < k \leq h</math>, welche die gleichen Variablen von G <math>A_j, A_k</math> repräsentieren.

Betrachtet man den Teilbaum <math>T_k</math>, welcher von <math>v_k</math> aus aufgespannt wird, so bilden dessen Blätter den Teilstring <math>w</math>. Der Teilbaum <math>T_j</math>, welcher von <math>v_j</math> aufgespannt wird, besitzt als Teilbaum den Baum <math>T_k</math>. Man kann also die Blätter von <math>T_j</math> aufteilen in Blätter links von <math>T_k</math> und Blätter rechts von <math>T_k</math> und erhält somit eine Aufteilung der Blätter von <math>T_j</math> der Form <math>vwx</math>. Ebenso unterteilt der Teilbaum <math>T_j</math> den gesamten Ableitungsbaum in drei Teile <math>u, vwx, y</math>. Wir erhalten also als Aufteilung die Teilstrings <math>u,  y</math>, welche im Ableitungsbaum links bzw. rechts von dem von <math>v_j</math> aufgespannten Teilbaum liegen, die Teilstrings <math>v, x</math>, welche in dem Teilbaum <math>T_j</math> liegen nicht jedoch in <math>T_k</math>, und zu guter Letzt den Teilstring <math>w</math>, welcher in <math>T_k</math> liegt. Da <math>v_j</math> und <math>v_k</math> die gleichen Variablen unserer Grammatik repräsentieren, folgt daraus, dass der Pfad von <math>v_j</math> nach <math>v_k</math> beliebig oft wiederholt werden kann. Durch eine Wiederholung des Pfades würden wir Worte der Form <math>uv^iwx^iy</math> erzeugen, ohne unsere Sprache zu verlassen. Womit wir das Pumping-Lemma für kontextfreie Sprachen bewiesen hätten.

=== Beispiel ===
[[Datei:Example pumping lemma.png|mini|173px|Das Wort <math>vwx</math> enthält höchstens zwei verschiedene Buchstaben.]]
Ist die Sprache <math>L = \left\{ a^mb^mc^m \mid m \ge 1\right\}</math> kontextfrei?

Wir nehmen an, <math>L</math> sei kontextfrei. Sei dann <math>n</math> die zugehörige Konstante aus dem Pumping-Lemma.

Wir betrachten das Wort <math>z = a^nb^nc^n</math>. Es muss dann eine Zerlegung <math>z = uvwxy</math> geben, so dass <math>\left| vx \right| \ge 1</math>, <math>\left| vwx \right| \le n</math>, <math>uv^iwx^iy \in L</math> für alle <math>i \ge 0</math> ist. Da <math>\left| vwx \right| \le n</math>, enthält das Wort <math>vwx</math> höchstens zwei verschiedene Buchstaben. Deshalb, und da <math>\left| vx \right| \ge 1</math> gilt, enthält <math>uv^2wx^2y</math> nicht von allen drei Buchstaben gleich viele, ist also nicht in <math>L</math> enthalten. Das ist ein Widerspruch; die Annahme, <math>L</math> sei kontextfrei, ist also falsch.

=== Eine nicht-kontextfreie Sprache, die dem Pumping-Lemma genügt ===

Die Sprachen <math>L_1=\{\$^+(a^nb^n)^n|n\in \mathbb{N}\}</math> und  <math>L_2 = \left\{a^kb^lc^md^n\mid k,l,m,n\in\mathbb N : k = 0\text{ oder } l = m = n\right\}</math> sind nicht kontextfrei. Allerdings erfüllen <math>L_1</math> und <math>L_2</math> die Eigenschaften des Pumping-Lemmas: Enthält ein Wort <math>z\in L_2</math> ''nicht'' den Buchstaben <math>a</math>, so gilt dies auch für alle Wörter <math>uv^iwx^iy</math>. Ist der Buchstabe <math>a</math> hingegen enthalten, gibt es eine Zerlegung mit <math>u=v=w=\varepsilon</math> (<math>\varepsilon</math> bezeichne das leere Wort), <math>x=a</math> und einem Suffix <math>y</math>, sodass abermals alle Wörter <math>uv^iwx^iy</math> in <math>L_2</math> enthalten sind. Für <math>L_1</math>lässt sich <math>v=\$</math> und <math>x=\varepsilon</math> wählen, und damit ist <math>uv^iwx^iy </math> in <math>L_1</math> enthalten.

== Einzelnachweise ==
<references />

{{SORTIERUNG:Pumpinglemma}}
[[Kategorie:Theorie formaler Sprachen]]
[[Kategorie:Compilerbau]]