“抽吸引理”的概念、定义、翻译、参考文献-科学参考

单词	抽吸引理
释义	抽吸引理 Encyclopedia 文学转换语法数学模型释 pumping lemma抽吸引理抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的：如果L是有限状态语言，则必定存在着符号串x，y和z，使得对于n≥0，有y≠（空符号），并且。这意味着，如果一种语言是有限状态语言，则可以找到一个符号串y，这个y可以被语言L抽吸。又称巴尔-希列尔引理。
随便看	exothermic reaction exotic action exotic atom exotic atom chemistry exotic characteristic class exotic cohomology exotic comet exotic CTR fuel exotic differential structure exotic element exotic hadron exotic handle exotic index exotic index theory exotic molecule exotic nucleus exotic particle exotic pines exotic planet exotic quantum number exotic space exotic species exotic sphere exotic star exotic state

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。