Изменения
→Теорема о рекурсии
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' src + "string getOtherSrc():" + "\n" + "return" + src + "\n";
Теперь <tex>\mathrm{getOtherSrc()}</tex> определяется очевидным образом, и мы получаем '''итоговую версию''' функции <tex>p(y)</tex>
'''function''' p('''T''' y):
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' src + "string getOtherSrc():" + "\n" + "return" + src + "\n";
'''string''' getOtherSrc():
string getSrc():
string src = getOtherSrc(); return src + "string getOtherSrc():" + "\n" + "return" + src + "\n;";
}
}}
