正規語言Pumping引理每個正規語言都有p，使每個長度至少p的成員word存在可反覆pumping且仍留在語言的分解。atlas-pumping-lemma-regular-languages · canonical_mko正規語言Pumping引理前置節點正規語言確定有限自動機數學證明鴿籠原理量詞與明示論域數學歸納法