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