Изменения
→Теорема о рекурсии
'''string''' getOtherSrc():
'''return''' "function p('''T''' int y): int V('''T''' string x, '''T''' int y):
...
int main():
return V(getSrc(), y)
string getSrc():
string src = getOtherSrc()
return \"\(src + ") string getOtherSrc():" + "\n" + "return" + src + "\n\"
<tex>\triangleleft</tex>
