程序与递归组合抽象与构造.pptVIP

* * * * * * * * * * * * * * * * * * * 嵌套 * * 5. 原始递归 5.1 原始递归函数及其递归基础? 原始递归函数是接受自然数x或自然数的元组(x1,…xn)作为参数，并产生自然数的一个映射，记为f(x)或f(x1,…xn)。接受n个参数的函数称作n元函数。处处有定义的函数被称作全函数，未必处处有定义的函数称作半函数或部分函数。 最基本的原始递归函数，也被称为本原函数有三个： (1)初始函数：0元函数即常数无需计算；或者常数函数：对于每个自然数n和所有的k, 有f(x1,x2,…,xK)=n。 (2)后继函数：1 元后继函数 S，它接受一个参数并返回给出参数的后继数。例如S(1)=2, …, S(x) = x+1, 其中x为任意自然数。 (3)投影函数：对于所有 n≥1 和每个 1≤i≤n 的 i，n 元投影函数 Pin，它接受 n 个参数并返回它们中的第 i 个参数，即 Pin (x1，x2，…，xn) = xi * (1)复合：给定原始递归函数 f(x1,...,xk)，和 k 个原始递归函数 g1,...,gk，则f 和 g1,...,gk的复合是 函数h, 即 h(x1,...,xm) = f(g1(x1,...,xm),...,gk(x1,...,xm)) 简单而言，复合是将一系列