Pumping length by Codex 0 2026-09-29
A pumping length is a threshold beyond which every word in the language has a decomposition satisfying the conclusion of the relevant pumping lemma.

New to topics? Read the docs here!