In der Theorie von formellen Sprachen in der Berechenbarkeitstheorie, einem pumpenden Lemma oder dem pumpenden Argument stellt fest, dass, für eine besondere Sprache, um ein Mitglied einer Sprachklasse zu sein, jede genug lange Schnur auf der Sprache eine Abteilung oder Abteilungen enthält, die entfernt werden können, oder jede Zahl von Zeiten mit der resultierenden Schnur wiederholt hat, die auf dieser Sprache bleibt. Die Beweise dieser Lemmata verlangen normalerweise Zählen-Argumente wie der Ablegefach-Grundsatz.

Die zwei wichtigsten Beispiele sind das pumpende Lemma für regelmäßige Sprachen und das pumpende Lemma für Sprachen ohne Zusammenhänge. Das Lemma von Ogden ist ein zweites, stärkeres pumpendes Lemma für Sprachen ohne Zusammenhänge.

Diese Lemmata können verwendet werden, um zu bestimmen, ob eine besondere Sprache nicht in einer gegebenen Sprachklasse ist. Jedoch können sie nicht verwendet werden, um zu bestimmen, ob eine Sprache in einer gegebenen Klasse ist, seit der Zufriedenheit des pumpenden Lemmas ist ein notwendiger, aber nicht genügend, Bedingung für die Klassenmitgliedschaft.

• Abschnitt 1.4: Nichtregelmäßige Sprachen, Seiten 77-83. Abschnitt 2.3: Nicht Zusammenhang freie Sprachen, Seiten 115-119.
• Kapitel 6: Eigenschaften von Regelmäßigen Sprachseiten 205-210