Описание тега pumping-lemma
Лемма в основном используется для доказательства того, что язык не является регулярным / контекстно-независимым.
Из википедии,
В теории формальных языков в теории вычислимости лемма о перекачке или аргумент о перекачке утверждает, что для того, чтобы конкретный язык был членом языкового класса, любая достаточно длинная строка в языке содержит раздел или разделы, которые можно удалить., или повторяется любое количество раз, в результате чего строка остается на этом языке. Доказательства этих лемм обычно требуют подсчета аргументов, таких как принцип ящика.