更改

第259行: 第259行:     
<pre>
 
<pre>
   
S(x){
 
S(x){
   
q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nF(\\\’\’+p(q)+\’\\\’);\\n}’;
 
q=’S(x){\\nq=\\\’\’+q+\’\\\’;\\nF(\\\’\’+p(q)+\’\\\’);\\n}’;
   
F(‘S(x){\n  q=\’’+q+’\’;\n  F(\’’+p(q)+’\’);\n}’);
 
F(‘S(x){\n  q=\’’+q+’\’;\n  F(\’’+p(q)+’\’);\n}’);
   
}
 
}
 
+
</pre>
 
<div style="text-align: center;">源代码3:实现递归定理的源程序</div>
 
<div style="text-align: center;">源代码3:实现递归定理的源程序</div>
  −
</pre>
      
然而,在这里我并没有明确定义F具体干什么,我们还必须在这段源程序后面添加上关于F这个程序的定义。比如,假设F(x)的作用就是计算字符串x的长度,并打印出来,
 
然而,在这里我并没有明确定义F具体干什么,我们还必须在这段源程序后面添加上关于F这个程序的定义。比如,假设F(x)的作用就是计算字符串x的长度,并打印出来,
匿名用户