文献引用
复制
首页
[{"ID":42420,"Name":"文学"},{"ID":44583,"Name":"语言文字"},{"ID":44652,"Name":"计算语言学及语料库语言学"},{"ID":44653,"Name":"计算语言学"},{"ID":44677,"Name":"转换语法数学模型"}]
抽吸引理
/pumping lemma/
最后更新 2025-04-04
浏览 207次
抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的：如果L是有限状态语言，则必定存在着符号串x、y和z，使得对于n≥0，有y≠
（空符号），并且
。这意味着，如果一种语言是有限状态语言，则可以找到一个符号串y，这个y可以被语言L抽吸。又称巴尔-希列尔引理。
- 英文名称
- pumping lemma
- 创制人
- Y.巴尔-希列尔
- 出现时间
- 1961
- 所属学科
- 语言文字
- 又称
- 巴尔-希列尔引理
京公网安备 11010202008139号
