Um zu zeigen, dass eine bestimmte Sprache L nicht regulär ist, kann man so vorgehen:
- Wähle n (höher als Anzahl Nichtterminalsymbole)
- Wähle ein Wort z ∈ L, so dass |z| ≥ n
- Teile z auf in z = uvw, |uv| ≤ n, |v| ≥ 1
- Zeige, dass für jedes uvw ein i existiert, so dass uviw ∉ L
- Wenn das klappt, kann L nicht regulär sein.