作者recorriendo (孟新)
看板Math
标题[离散] recursive function
时间Wed Apr 20 09:48:25 2011
版上有人对 recursive function 有研究的吗
有一题我卡了很久做不出来
对於自然数 n 定义函数 F (x) 如下
n
F (x) = x+1, F (x) = F (F (...F (x))...) x 取值为自然数(含0)
0 n+1 n n n
╰─迭代x次─╯
定义二元函数 f(n,x) = F (x)。证明：f(n,x) is a recursive function.
n
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 128.12.114.153
1F：→ outshaker :n=1时，迭代0次会有问题 04/20 10:41
2F：→ recorriendo :x=0才会迭代0次 就当他是0 04/20 11:09
3F：→ outshaker :跟x没关系 F1(x)是F0(x)迭代0次 但次数为零很奇怪 04/20 11:39
4F：→ recorriendo :F1是F0迭代x次 换句话说F1(x)=2x 04/20 12:01
5F：→ outshaker :抱歉，我迭代的地方看错…这跟我想的不太一样 04/20 12:38
6F：→ outshaker :我再花点时间想想看好了 04/20 12:40
7F：推 hcsoso :不知道这边的 recursive 是指 computable 吗? 04/21 13:33
8F：→ nendi :Fn+1(1)=Fn(1)=Fn^1(1)=Fn^(1-1) (Fn(1))= 0 04/21 17:06
9F：→ nendi :Fn(2)也可以类似方法，总觉得迭代0次似乎怪怪的 @@ 04/21 17:07
10F：→ recorriendo :recursive跟computable等价 这题好像跟universal fun 04/22 01:46
11F：→ recorriendo :ction有关 我应该可以自己弄了 04/22 01:47