更改
跳到导航
跳到搜索
第260行：
第260行： − + − + + + + + + − + + +
→递归定理
首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：
首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：
S(x){q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nF(\\\’\’+p(q)+\’\\\’);\\n}’;
<code>
F(‘S(x){\nq=\’’+q+’\’;\nF(\’’+p(q)+’\’);\n}’);
S(x){
q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nF(\\\’\’+p(q)+\’\\\’);\\n}’;
F(‘S(x){\n q=\’’+q+’\’;\n F(\’’+p(q)+’\’);\n}’);
}
}
源代码3：实现递归定理的源程序
</code>
<div style="text-align: center;">源代码3：实现递归定理的源程序</div>
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，