抽吸引理
(文学 | 语言文字)
抽吸引理(pumping lemma),文学-语言文字-计算语言学及语料库语言学-计算语言学-转换语法数学模型,抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的:如果L是有限状态语言,则必定存在着符号串x,y和z,使得对于n≥0,有y≠(空符号),并且。这意味着,如果一种语言是有限状态语言,则可以找到一个符号串y,这个y可以被语言L抽吸。又称巴尔-希列尔引理。
加载更多
领域
提 交
文字
文化
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》