Pumping Lemma ialah alat asas dalam bidang teori kerumitan pengiraan yang membolehkan kita menentukan sama ada sesuatu bahasa itu tetap atau tidak. Menurut Pumping Lemma, untuk bahasa menjadi teratur, tiga syarat mesti dipenuhi. Syarat-syarat tersebut adalah seperti berikut: 1. Keadaan Panjang: Syarat pertama menyatakan bahawa