| 基于相对可计算性理论的过程模式可计算泛函 |
| |
| 引用本文： | 张晓如,张再跃.基于相对可计算性理论的过程模式可计算泛函[J].江苏科技大学学报(社会科学版),2007,21(6):38-42. |
| |
| 作者姓名： | 张晓如 张再跃 |
| |
| 作者单位： | 江苏科技大学,电子信息学院,江苏,镇江,212003;江苏科技大学,电子信息学院,江苏,镇江,212003 |
| |
| 基金项目： | 国家自然科学基金项目(60573064)，中国科学院计算技术研究所“智能信息处理重点实验室”开放课题资助 |
| |
| 摘 要： | 研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。
|
| 关 键 词： | 过程模式可计算泛函 部分递归泛函 无穷计算 |
| 文章编号： | 1673-4807(2007)06-0038-05 |
| 修稿时间： | 2007年7月11日 |
Procedure Schemata Computable Functional Based on Relative Computability |
| |
| ZHANG Xiaoru,ZHANG Zaiyue.Procedure Schemata Computable Functional Based on Relative Computability[J].Journal of Jiangsu University of Science and Technology:Natural Science Edition,2007,21(6):38-42. |
| |
| Authors: | ZHANG Xiaoru ZHANG Zaiyue |
| |
| Abstract: | The basic properties of the infinite computation are studied.The concept of the procedure schemata computable functional based on the relative computability theory is introduced.Compared with the computability of the partial recursive functional,the procedure schemata computable functional is proved to be an expansion of the partial recursive functional.This class of partial recursive functionals is a proper subclass of the procedure schemata computable functionals. |
| |
| Keywords: | procedure scheme computable functional partial recursive functional infinite computation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
