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