|
|||||
|
|
| 基于相对可计算性理论的过程模式可计算泛函 | |
| 引用本文： | 张晓如,张再跃.基于相对可计算性理论的过程模式可计算泛函[J].华东船舶工业学院学报,2007,21(6):38-42. |
| 作者姓名： | 张晓如 张再跃 |
| 作者单位： | 江苏科技大学电子信息学院,江苏镇江212003 |
| 摘 要： | 研究了无穷计算的基本性质，引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较，证明了过程模式可计算泛函概念是部分递归泛函概念的扩展，即部分递归泛函类是过程模式可计算泛函类的真子集。 |
| 关 键 词： | 过程模式可计算泛函 部分递归泛函 无穷计算 |
| 本文献已被 维普 等数据库收录！ | |