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

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