In the theory of formal languages, the pumping lemma for regular languages describes an essential property of all regular languages.
Лемма о накачке для регулярных языков — лемма в теории формальных языков, описывающая существенное свойство всех регулярных языков.