Apa yang dimaksud dengan Memompa Lemma?

Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...)

Apa itu lemma?

Dalam makalah dasar Rabin dan Scott, Finite automata dan masalah keputusan mereka , lemma pemompaan muncul sebagai lemma (Lemma 8) untuk hasil berikut (Teorema 9):

Bahasa diterima oleh $n$-State DFA tidak terbatas jika dan hanya jika ia menerima kata yang panjangnya antara $n$ dan $2n$.

Lemma pemompaan menyiratkan $\Longrightarrow$ arah.

Ini juga "memberikan bukti lain" bahwa bahasa $\{0^n 1 0^n : n \geq 0\}$ tidak biasa (bukti asli di koran menggunakan teori Myhill-Nerode).