Теорема о рекурсии — различия между версиями
м |
м |
||
| Строка 8: | Строка 8: | ||
<code><font size = "3em"> | <code><font size = "3em"> | ||
| − | 01: r(y) { | + | 01: r(y){ |
| − | 02: | + | 02: V(x,y); |
| − | 03: | + | 03: |
| − | + | 04: main() { | |
| − | + | 05: return V(getSrc(), y) | |
| − | + | 06: } | |
| − | + | 07: | |
| − | + | 08: string getSrc() { | |
| − | + | 09: string tmp = getOtherSrc(); | |
| − | + | 10: return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}"; | |
| − | + | 11: } | |
| − | + | 12: | |
| − | + | 13: string getOtherSrc() { | |
| + | 14: return /* строки с 01 по 12 */ | ||
| + | 15: } | ||
| + | 16: } | ||
</font></code> | </font></code> | ||
}} | }} | ||
Версия 06:25, 8 декабря 2010
Эта статья находится в разработке!
| Теорема (О рекурсии): |
Для вычислимой функции от двух аргументов вычислимая функция |
| Доказательство: |
|
Пусть - любая вычислимая функция. Напишем для нее r(y).
01: r(y){
02: V(x,y);
03:
04: main() {
05: return V(getSrc(), y)
06: }
07:
08: string getSrc() {
09: string tmp = getOtherSrc();
10: return (tmp + "string getOtherSrc() {" + \n + "return ... " + tmp + "}";
11: }
12:
13: string getOtherSrc() {
14: return /* строки с 01 по 12 */
15: }
16: }
|
