def Verallgemeintertes Pumping-Lemma für reguläre Sprache
∀L⊆Σ∗ mit L\forall L \subseteq \Sigma^{*} \text{ mit } L∀L⊆Σ∗ mit L regulär:
∃n∈Nforallw∈L, mit w=pys,∣y∣=nexistsu,v,x∈Σ∗ mit y=uvx,v≠εforalli∈N0:\puvixs∈L\exists n \in \N \\forall w \in L, \text { mit } \textcolor{blue}{w = pys, |y| = n} \\exists u, v, x \in \Sigma^{*} \text{ mit } \textcolor{blue}{y} = uvx, v \neq \varepsilon \\forall i \in \N_{0}: \p \textcolor{blue}{uv^{i}x} s \in L∃n∈Nforallw∈L, mit w=pys,∣y∣=nexistsu,v,x∈Σ∗ mit y=uvx,vî€ =εforalli∈N0​:\puvixs∈L