基于相对可计算性理论的过程模式可计算泛函  

Procedure Schemata Computable Functional Based on Relative Computability

作　　者：张晓如[1] 张再跃[1] 

机构地区：[1]江苏科技大学电子信息学院,江苏镇江212003

出　　处：《江苏科技大学学报（自然科学版）》2007年第6期38-42,共5页Journal of Jiangsu University of Science and Technology:Natural Science Edition

基　　金：国家自然科学基金项目(60573064);中国科学院计算技术研究所"智能信息处理重点实验室"开放课题资助

摘　　要：研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。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.

关 键 词：过程模式可计算泛函 部分递归泛函 无穷计算 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]