Изменения

Перейти к: навигация, поиск

Теорема о рекурсии

22 байта добавлено, 20:36, 4 января 2017
Теорема о рекурсии
string src = getOtherSrc()
return src + "string getOtherSrc():" + "\n" + "return" + src + "\n"
}<tex>\triangleleft</tex> }}
Иначе говоря, если рассмотреть <tex>V(x, y)</tex>, как программу, использующую x в качестве исходного кода и выполняющую действие над y, то теорема о рекурсии показывает, что мы можем написать эквивалентную ей программу <tex>p(y) = V(p, y)</tex>, которая будет использовать собственный исходный код.
Анонимный участник

Навигация