Обсуждение:Лемма о накачке для регулярных языков