请输入您要查询的字词:
单词
抽吸引理
释义
抽吸引理
Encyclopedia
文学
转换语法数学模型
释
pumping lemma
抽吸引理
抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的:如果L是有限状态语言,则必定存在着符号串x,y和z,使得对于n≥0,有y≠(空符号),并且。这意味着,如果一种语言是有限状态语言,则可以找到一个符号串y,这个y可以被语言L抽吸。又称巴尔-希列尔引理。
随便看
residual effect
residual elongation
residual energy resources in metallurgical process
residual entropy
residual error
residual feed intake
residual finiteness
residual fringe frequency
residual fringe phase
residual function
residual gas saturation
residual gastritis
residual gauge mode
Residual Grain Garden
residual gravity anomaly
residual group of points
residual hearing
residual heat generationin reactor core
residual heat release of reactor
residual hydrocarbon
residual image
residual intensity
residual interaction
residual interation
residual invariance
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/9/28 23:45:09