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