|
|||||
|
|
| 能行禁集与超禁集 | |
| 引用本文： | 王洁.能行禁集与超禁集[J].科学通报,1985,30(18):1438-1438. |
| 作者姓名： | 王洁 |
| 作者单位： | 中山大学计算机科学系 广州 |
| 摘 要： | 李祥引进了能行禁集的概念(参见计算机学报,1982,4;273—279),并证明若A为能行禁集,则非禁集。我们知道超禁集是禁集,故若A为能行禁集,则不是超禁集,此即是说存在的递归的优超函数。本文给出了一个一致能行地构造出的递归的优超函数的方法。这里表示A的余集。 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |