抽吸引理
(文学 | 语言文字)
抽吸引理(pumping lemma),文学-语言文字-计算语言学及语料库语言学-计算语言学-转换语法数学模型,抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的:如果L是有限状态语言,则必定存在着符号串x,y和z,使得对于n≥0,有y≠(空符号),并且。这意味着,如果一种语言是有限状态语言,则可以找到一个符号串y,这个y可以被语言L抽吸。又称巴尔-希列尔引理。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】