专业词汇(按中图法分类)
1) primitive recursive predicate
原始递归谓词
2) recursive predicate
递归谓词
3) primitive recursive predicate
原始递归渭词
4) primitive recursion
原始递归
1.
Presents the abstraction on algorithms and primitive recursion constructor,aiming to reinforce the high reusability and extensibility of generic algorithms.
将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。
5) partial recursive predicate
部分递归谓词
6) general recursive predicate
一般递归谓词
补充资料：原始递归
原始递归
primitive recursion
原始递归[洲耐.e re皿‘佣;npllM“T“”H四pe脚e，:1 定义自变数及值均为自然数的函数的一种手段.人们称n+1元函数f(x、，…，x。，力经原始递归方式由一个。元函数g(xl，…，x。)和一个n十2元函数h(xl，一，x。，夕，:)得到，若对xl，…，X。，夕的一切自然数值，有 f(xl，…，x。，0)=g(x，，二，x。)且 j(x!，…，x。，夕+l)“ =h(x，，…，x。，y，f(x，，…，x。，y)).对给定的g和h如此的一个函数厂总是存在的且唯一当n=O时，对f的定义等式可以写为 f(0)=a，j…(x+1)=h(x，j工x)). 原始递归方式的一个基本性质是对任何可计算性概念的有意义的明确陈述，当f是由可计算舀数g和h经原始递归方式得来的，那么f本身也是可计算的(见可计算函数(comPutable funotion)).原始递归方式是由一组基本函数的初始集产生一切原始递归函数和一切部分递归函数的基本手段之一(见原始递归函数(p山刘tive reeursive function);部分递归函数(nar-hal recU『sive funetion).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
