请输入您要查询的字词:
单词
抽吸引理
释义
抽吸引理
Encyclopedia
文学
转换语法数学模型
释
pumping lemma
抽吸引理
抽吸引理是以色列逻辑学家和数学家Y.巴尔-希列尔于1961年证明的:如果L是有限状态语言,则必定存在着符号串x,y和z,使得对于n≥0,有y≠(空符号),并且。这意味着,如果一种语言是有限状态语言,则可以找到一个符号串y,这个y可以被语言L抽吸。又称巴尔-希列尔引理。
随便看
I.F.Nazhivin
IFNS
IFO
IFORS
IFP
IFPC
IFPEC
IFPRI
IFR
ifrahyold region
Ifrane National Park
IFRB
IFRRO
IFS
IFSA
IFSE
IFSP
IFSR
IFSTTAR
IFSW
if-then-else algorithm
IFU
Ifugaos
Ifukube Akira
If You are the One
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/9/9 2:16:43