【四进制造物主】小说免费阅读，请收藏 一七小说【1qxs.com】
iszero=sub·[succ·zero，proj11]
ub是减法器
对f进行最小化操作即可得到我们想要的结果。
验证一下：
f(8，5，0)=lessthanequal(mult(1，5)，8)=1不等于0，所以0不是输出。
f(8，5，1)=lessthanequal(mult(1，5)，8)=0，最小，所以1是输出。
div(8，5)=8//5=1没错，十分完美。
如果我们想计算一下8//0:
f(8，0，0)=lessthanequal(mult(1，0)，8)=1不等于0，所以0不是输出。
f(8，0，1)=lessthanequal(mult(2，0)，8)=1不等于0，所以0不是输出。
无论我们给f(8，0，x)传入什么x，都找不到最小的x，所以div(8，0)=8//0无解，符合现实。
如果把最小化操作运用在原始递归函数上，得到的新函数就叫做偏递归函数。
好了，现在加减乘除我们都有了，只要是可计算的算法，我们都能执行。
至于无限循环怎么制造出来，从μ^1proj21(1)和div的栗子都可以看出来，如果最小化操作找不到最小值，就永远不会给出输出，这相当于while语句的功能。
——————————————————
下一章是正常内容
本章已完结