抽吸引理

抽吸引理（pumping lemma），文学-语言文字-计算语言学及语料库语言学-计算语言学-转换语法数学模型，抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的：如果L是有限状态语言，则必定存在着符号串x，y和z，使得对于n≥0，有y≠（空符号），并且。这意味着，如果一种语言是有限状态语言，则可以找到一个符号串y，这个y可以被语言L抽吸。又称巴尔-希列尔引理。