更改
跳到导航
跳到搜索
第265行:
第265行:
− +
− +
− +
− +
→递归定理
<pre>
<pre>
S(x){q=’S(x){\\n q=\\\’\’+q+\’\\\’;\\n F(\\\’\’+p(q)+\’\\\’);\\n}\\nF(x){\\nPrint(length(x));\\n}’;
S(x){q=’S(x){\\n q=\\\’\’+q+\’\\\’;\\n F(\\\’\’+p(q)+\’\\\’);\\n}'' \\nF(x){\\n Print(length(x));\\n}’ '';
F(‘S(x){\n q=\’’+q+’\’;\n F(\’’+p(q)+’\’);\n}\nF(x){\nPrint(length(x));\n}’);
F(‘S(x){\n q=\’’+q+’\’;\n F(\’’+p(q)+’\’);\n} ''\nF(x){\nPrint(length(x));\n}’ '');
}
}
F(x){
''F(x){
Print(length(x));
Print(length(x));
}
}''
</pre>
</pre>