任何人都可以向我解释这个概念吗？并帮助我找出答案？因为我还没有得到它，但任何帮助都会做，谢谢
存在两个非常酷的原始递归函数： 如果z是图灵机的编码，则T（z，x1，x2，...，xn，y）返回0，并且其计算为 输入x1，... xn编码为y。否则该函数返回1。 U（y）返回计算结果y。
目标：使用这两个函数和μ（mu）运算符来定义函数f（x1，x2，... xn），它返回由z编码的TM的输出
到目前为止：
使用这两个函数和μ运算符，我们可以生成函数f（x1，x2，... xn）的定义，它返回由z编码的TM的输出，这样我们就可以得到一个TM定义为T（n），其中计算小于或等于n的素数。 z = 0这是找到的素数的数量，y = 1，对于每个y我们测试它是否是素数，而k <= n：，j = 1是y的可能除数，d = 0的数量找到k的除数，而j <= n：如果y％j == 0：，d = d + 1，j = j + 1，如果d == 2：，z = z + 1，y = y + 1，然后返回z，它是由z
编码的TM的输出