4.2 正则语言的泵浦引理