登录
OEIS基金会得到了OEIS用户的捐赠和西蒙斯基金会的资助。

 

标志


提示
(问候来自整数序列在线百科全书!)
A052200型 n-状态,2-符号,d+在{LEFT,RIGHT},5元组(q,s,q+,s+,d+)(停止与否)图灵机的数量。 5
164207361677721625656000000 63403380965376,2322182650892124161180591620717411303424,7958661109946400884391936,6871947673600000000000000000,73964420145948059393047166976,97119675412955800422105533809967104,1527848341996520753368661148843397208866816 (列表;图表;参考文献;;历史;文本;内部格式)
抵消

0,2个

评论

T在T(n,k)是一个有n个状态和k个符号的图灵机;

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

符号s,s+在k个不同符号的集合s_k中(0为空符号;)

在{LEFT,RIGHT}中移动方向d+(此处不排除;)

+后缀表示next和q+=f(q,s),s+=g(q,s),d+=h(q,s)。

这个序列是可计算的。另一方面,繁忙的beaver数是不可计算的,只有通过检查多个n状态图灵机程序中的每一个程序才可以发现。-迈克尔·约瑟夫·哈尔姆2003年4月29日

丹尼尔放弃了2011年6月6日:(开始)

回复:繁忙的海狸停止图灵机器:

H中的H是一个有n个状态和k个符号的停止图灵机;

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

sigma(H)是H在磁带上留下的非空白符号的数量;

s(H)是H所采取的步骤(或移位)的数量;

Sigma(n,k)=max{Sigma(H):H是具有n个状态和k个符号的停止图灵机

S(n,k)=max{S(H):H是一个具有n个状态和k个符号的停止图灵机

囊性纤维变性。A028444号对于西格玛(n,2),A060843号对于S(n,2)。(结束)

链接

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

J、 P.琼斯,递归不可判定性,艾默尔。数学。月刊,81(1974),724-738。

M、 索莫斯,忙碌的海狸问题

OEIS维基,海狸忙号码

与忙Beaver问题相关的序列的索引项

公式

a(n)=(4*(n+1))^(2*n)。

例子

a(1)=64=(4*1+4)^(2*1)=8^2。

交叉引用

囊性纤维变性。A028444号,A004147号,A060843号.

上下文顺序:A089208型 A083282号 A082502号*邮编:A146517 A009497号 A145258号

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

关键字

,容易的

作者

迈克尔·索莫斯2000年1月28日

扩展

条目修订人N、 斯隆2007年2月8日

编辑丹尼尔放弃了2010年3月25日

状态

经核准的

查找|欢迎光临|维基|登记|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索者|最近
OEIS社区|维护人OEIS基金公司。

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

上次修改日期:美国东部时间2020年7月12日15:09。包含335665个序列。(运行在oeis4上。)