说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可计算枚举集
1)  computably enumerable degrees
可计算枚举集
2)  c.e. degree
计算可枚举度
1.
) degree a is called plus cupping, if for every c.
计算可枚举度(computably enumerable,c。
3)  computably enumerable degree
可计算枚举图灵度
4)  recursively enumerable set
递归可枚举集
1.
The theorem that the language set distinguished deterministic finite automaton is a recursively enumerable set was proved,and then,the recursiveness of regular language was analyzed.
从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。
5)  enumeration algorithm
枚举算法
6)  enumerative algorithm
枚举算法
1.
A new algorithm for the maximum clique problem has been presented in this paper,the local enumerative algorithm based on average degree sorting.
提出了关于最大团问题的一种新思路基于平均度排序的局部枚举算法。
补充资料:可枚举集


可枚举集
enumerable set

可枚举集阳口皿.日,创短就;。epe,.e月。Moe Muo狱eeT.ol 作为实行某种可构造的产生过程的结果而出现的集合.这种过程可以想成是计算某个具有自然数初始数据的算法的值的过程,因此例如如下的确切形式可作为自然数可枚举集的定义二一自然数集被称为可枚争的(en~ble),若存在一部分递归函数(脚n如rec明ive frm ctlon)使得此集合是该函数的值域. 任何自然数的可判定集(dec记以bkset)是一可枚举集.反之不然:人们可以构造一不可判定的可枚举集.这事实在1936年由A.〔肠切戊h建立,它是算法的一般理论中的基本结果之一(见算法论(目即巧thim,t玩刃ryof));它可以用于推导出一切已知的算法问题(algorithi刘c Prob]。刀)的否定解.若某集合与其补集皆为可枚举集,此集合可判定(R男t定理(R万t tl,oo-m)).可枚举集的研究和分类组成了算法集合论研究的主题.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条