Изменения
→Теорема о рекурсии
'''string''' src = getOtherSrc()
'''return''' src + "string getOtherSrc() {" + "\n" + "return" + src + "\n" + "}";
}
'''string''' getOtherSrc() {
'''return''' "function p(y) {
V(x,y) {...}
main() {
return V(getSrc(), y)
}
string getSrc() {
string src = getOtherSrc();
return src + "string getOtherSrc() {" + "\n" + "return" + src + "\n" + "}";
}";
}
}
}}
Если говорить неформально, теорема о рекурсии утверждает, что внутри программы можно использовать ее код. Это упрощает доказательство некоторых теорем.