В теории формальных языков используется лемма о накачке может относиться к:
лемме накачки для обычных языков, тому факту, что все достаточно длинные строки в таком языке имеют подстроку, которая может повторяться произвольно много раз, обычно используется для доказательства того, что некоторые языки не являются обычный
Лемма накачки для контекстно-свободных языков, тот факт, что все достаточно длинные строки в таком языке имеют пару подстрок, которые могут повторяться произвольно много раз, обычно используется для доказательства того, что определенные языки не являются контекстными. free