Zu einer regulären Sprache L gibt es eine Zahl n ∈ N, so dass jedes Wort w der Länge |w| ≥ n zerlegt werden kann in w = xyz mit:

(i) |y| > 0.(ii) |xy| ≤ n.

so dass fur alle Zahlen k ∈ N₀ gilt:

xy^kz = x yy . . . yz ∈ L