登录
这个网站是通过捐款来支持的。OEIS基金会.

 

标志


提示
问候整数序列的在线百科全书!)
A052200 n状态,2符号,d+在{左,右},5元组(q,s,q+,s+,d+)(停顿或不)图灵机。
1, 64, 20736,16777216, 25600000000, 63403380965376 列表图表参考文献历史文本内部格式
抵消

0、2

评论

T(n,k)中的T是具有n个状态和k个符号的灵巧机器;

n个不同状态的集合qyn中的状态q,q+(加上停止状态);

符号S,S+在k个不同符号的集合Syk中(0作为空白符号);

{左,右}的移位方向d+(这里没有一个除外);

+后缀意味着下一个和q+= f(q,s),s+= g(q,s),d+= h(q,s)。

这个序列是可计算的。另一方面,繁忙的海狸数是不可计算的,只通过检查许多n态图灵机器程序的停顿而发现。-米迦勒约瑟夫哈姆4月29日2003

丹尼尔骗局,军06 2011:(开始)

忙碌的海狸叫停图灵机器:

H(n,k)是具有n个状态和k个符号的暂停*图灵机;

*(在空白磁带上,所有的0,作为输入)

Sigma(H)是H上磁带上留下的非空白符号的数目;

S(H)是H所采取的步骤数(或在我们的情况下的移位);

σ(n,k)=max {sigma(h):h是具有n个状态和k符号}的停顿图灵机。

S(n,k)=max {s(h):h是具有n个状态和k符号}的停顿图灵机。

囊性纤维变性。A02444对于Sigma(n,2),A060843对于S(n,2)。(结束)

链接

n,a(n)n=0…12的表。

J. P. Jones递归不可判定性阿梅尔。数学月,81(1974),724~738。

M. Somos繁忙的海狸问题

奥伊斯维基,忙河狸数

与繁忙海狸问题相关的序列的索引条目

公式

A(n)=(4×(n+1))^(2×n)。

例子

A(1)=64=(4×1+4)^(2×1)=8 ^ 2。

交叉裁判

囊性纤维变性。A02444A000 4147A060843.

语境中的顺序:A089208 A083228 A082502*A14667 A000 9497 A145258

相邻序列:A052197 A052198 A052199*A052201 A052202 A052203

关键词

诺恩容易

作者

米迦勒索摩斯1月28日2000

扩展

修订后的条目斯隆,08月2日2007

被编辑丹尼尔骗局3月25日2010

地位

经核准的

查找γ欢迎γ维基γ注册γ音乐γ情节2γ演示γ指数γ浏览γ更多γ网络摄像机
贡献新的SEQ。或评论γ格式γ样式表γ变换γ超级导引头γ最近
OEIS社区通过保持OEIS基金会

许可协议、使用条款、隐私政策。.

最后修改9月17日21:22 EDT 2019。包含327146个序列。(在OEIS4上运行)