更改
跳到导航
跳到搜索
第280行：
第280行： − 注意，红色的代码部分就是在上一个代码的基础上添加的。这样，此程序不仅包含了S(x)，而且还包含了一个附加的程序F(x)的定义，并且这个附加函数F(x)的源代码也需要被包含到之前F()之中和q的赋值语句之中。运行这个程序，它就会在屏幕上打印出自己源代码的长度。+
→递归定理
<div style="text-align: center;">源代码4：计算自己代码长度的计算机程序</div>
<div style="text-align: center;">源代码4：计算自己代码长度的计算机程序</div>
注意，加粗的代码部分就是在上一个代码的基础上添加的。这样，此程序不仅包含了S(x)，而且还包含了一个附加的程序F(x)的定义，并且这个附加函数F(x)的源代码也需要被包含到之前F()之中和q的赋值语句之中。运行这个程序，它就会在屏幕上打印出自己源代码的长度。
也就是说源代码4这段代码实现了如下的功能：Print(length(c))，其中c就是源代码4。按照同样的方法，我们可以在自打印程序后面附加任意复杂的程序F，只要在相应的位置添加更长的字符串就行了。
也就是说源代码4这段代码实现了如下的功能：Print(length(c))，其中c就是源代码4。按照同样的方法，我们可以在自打印程序后面附加任意复杂的程序F，只要在相应的位置添加更长的字符串就行了。