概念導讀DFA迴圈量詞與a^n b^n反證可見量詞次序、全pump count迴圈證明及全部合法splits。正規語言Pumping引理derivation-mko-pumping-lemma-regular-languages-01