更改
→递归定理
首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：
首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：
<div style="width:100px;background-color:#FF0000; border:1px dashed #808080;">
<code>
<code>
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;">
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，