Pumping lemma for regular languages
Every regular language has a positive pumping length such that each sufficiently long member word has a split that remains in the language for every pump count.
atlas-pumping-lemma-regular-languages · canonical_mko