更改

首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：

首先，我们可以把上一节所论述的自打印程序稍加改动，即将源代码1中的Print改换成另外任意义个子程序F，即：

S(x){q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nF(\\\’\’+p(q)+\’\\\’);\\n}’;

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：实现递归定理的源程序

 

<div style="text-align: center;">源代码3：实现递归定理的源程序</div>

然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，

然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，