期刊文献+

能行禁集与超禁集

原文传递
导出
摘要 李祥引进了能行禁集的概念(参见计算机学报,1982,4;273—279),并证明若A为能行禁集,则Ä非禁集。我们知道超禁集是禁集,故若A为能行禁集,则Ä不是超禁集,此即是说存在Ä的递归的优超函数。本文给出了一个一致能行地构造出Ä的递归的优超函数的方法。这里Ä表示A的余集。
作者 王洁
出处 《科学通报》 1985年第18期1438-1438,共1页 Chinese Science Bulletin
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部