更改
跳到导航
跳到搜索
第266行：
第266行： + + − + + + − + +
→递归定理
<code>
<code>
S(x){q=’S(x){\\n q=\\\’\’+q+\’\\\’;\\n F(\\\’\’+p(q)+\’\\\’);\\n} '''\\nF(x){\\n Print(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));
}''
}'''
</code>
</code>