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