自动机中的全递归函数和部分递归函数
全递归函数: 如果一个递归函数是为它的所有参数定义的，那么它被称为全递归函数。让 f (a1，a2，…an)成为在函数 g (b1，b2，…bn)上定义的函数。那么 f 就是一个总函数，如果 f 的每个元素都被分配给函数 g 的某个唯一元素。
- 全函数被称为递归或原始递归当且仅当它是 n 上的初始函数，或者它是通过对 n 上的初始函数应用有限次数的合成或递归而获得的。
- 两个正整数相乘是全递归函数或本原递归函数。
- 不是所有全递归函数都是原始递归函数。
- 阿克曼的函数是全函数
- 所有原始递归函数都是全函数。
- 功能像 n！logn 是全递归函数。
部分递归函数: 函数 f (a1，a2，…)。如果 f 是为 a1，a2，…an 的一些但不是全部值定义的，假设 f (a1，a2，…an)是一个函数，并且定义在函数 g(b1，b2，…)上。bn)则 f 是部分函数，如果 f 的某个元素被分配给函数 g 的几乎一个元素。
如果部分函数是 N 上的初始函数，则它是递归的，或者它是通过对初始函数 N 应用递归、合成或最小化而获得的
- 两个正整数的减法是部分递归函数。
- 部分(全部)函数的组合产生了部分(全部)函数。
- 全递归函数的最小化是部分递归函数。
- 原始递归函数？总功能？部分递归函数
版权属于：月萌API www.moonapi.com，转载请注明出处
