更改
跳到导航
跳到搜索
第259行：
第259行： − − − − − + − − </pre>
→递归定理
<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>
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，
然而，在这里我并没有明确定义F具体干什么，我们还必须在这段源程序后面添加上关于F这个程序的定义。比如，假设F(x)的作用就是计算字符串x的长度，并打印出来，