Nonregular language satisfying the pumping lemma

ID: nonregular-language-satisfying-the-pumping-lemma

Let be undecidable and
Pumping its first symbol always stays in , so it satisfies the pumping lemma with pumping length one. Yet is not regular, because a finite automaton for it would decide .

New to topics? Read the docs here!