正規言語の反復補題
正規言語の反復補題 / ポンピング補題