请输入您要查询的字词:
单词
抽吸引理
释义
抽吸引理
Encyclopedia
文学
转换语法数学模型
释
pumping lemma
抽吸引理
抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的:如果L是有限状态语言,则必定存在着符号串x,y和z,使得对于n≥0,有y≠(空符号),并且。这意味着,如果一种语言是有限状态语言,则可以找到一个符号串y,这个y可以被语言L抽吸。又称巴尔-希列尔引理。
随便看
bridge ancillary facility
bridge axis location
bridge bearing
bridge bond
bridge card game
bridge condition evaluation
bridge construction
bridge construction machinery
bridge corridors were erected across the river by columns
bridged carbocation
bridge deck pavement
bridge design standard
bridge design theory
bridged graph
bridged heterocyclic compound
bridged metallocene catalyst
bridged metallocene catalyst; ansa-metallocene
bridged ring system
bridged-ring system
bridge engineering
bridge engineering geology
bridge engineering survey
bridge erector for track beam
bridge fault
bridge foundation
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/3 8:36:58