入力されたワードを説明してください。
正規言語の反復補題
正規言語の反復補題（英: pumping lemma for regular languages）とは、全ての正規言語が持つ属性を与える補題である。反復補題一般の具体例の一つである。その主たる用法は、ある言語が正規言語でないことを証明することである。
この反復補題は1961年に Y. Bar-Hillel、M. Perles、E. Shamir によって最初に示された。