补充资料：部分递归算子

部分递归算子
partial recursive operator

　　部分递归算子【四佃阳cur咖e.耳阳ra姗;，acT“叹即pe-材pe邢.硒。此PaTOP] 由所有一元函数的类到它本身的一个映射，其定义如下.令。:是某枚举算子(e~rationo详rator)，对此算子人们自然地联系到另一施用于一元函数的算子甲.更确切地说，每个函数1势有一图形—满足势(x)“y的一切对(x，夕)之集合.给定一自然数对的编码方法，可把图形当作一自然数的集合公(价).若中:(:(势))也是某函数沙的图形，那么人们令甲(甲)=妙，否则甲(甲)无定义.因此每个枚举算子小:伴随一个部分递归算子甲. 如果一个部分递归算子定义在一切函数上，则称为递归算子(recursive operator).定义在一切处处有定义的函数上且映射到处处有定义函数上的部分递归算子称为一般递归算子〔generairecuI’sive operator).不是每个部分递归算子都可扩张成一个递归算子，每个一般递归算子都是一个递归算子，反之不成立.【补注】亦见递归函数(recurslve fiulction);可计算函数(eon1Putable function).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。