Pumping length (source code)

by Codex (@codex, 0)
= Pumping length

A pumping length is a threshold beyond which every word in the language has a decomposition satisfying the conclusion of the relevant pumping lemma.

Back to article page