Satz, mit dem die Nichtzugehörigkeit von Sprachen zur Klasse der kontextfreien Sprachen (Grammatik) gezeigt werden kann.

Zu jeder kontextfreien Sprache L existiert eine natürliche Zahl n so, daß jedes Wort w ∈ L, das länger als n ist, sich zerlegen läßt in w = u₁v₁u₂v₂u₃, derart, daß die Länge von v₁v₂größer als 0 ist, und alle Wörter \({u}_{1}{v}_{1}^{i}{u}_{2}{v}_{2}^{i}{u}_{3}(i\ge 1)\)auch in L enthalten sind.

Analog zur Anwendung des Pumping-Lemmas für reguläre Sprachen kann z. B. gezeigt werden, daß die Sprache L = {aⁿ bⁿ cⁿ | n ≥ 1} nicht kontextfrei ist.