A125269-OEIS公司

A125269号

2符号、5元组的图灵机在停止之前对初始空白磁带执行n步操作所需的最少状态数。

1, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 4, 4, 5, 5, 4, 5, 5, 5, 5, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5 (列表；图表；参考；听；历史；文本；内部格式)

	抵消	`1,2`
	评论	如果BB（n）=A060843型（n），则a（BB（n））=n，这是该序列中n的最后一次出现。a（n）不会变得单调；如果有，我们可以计算BB（n），因为a（n）是可计算的。a（n）适当地发散，但发散非常慢。通过穷举搜索计算值为1、2、3的术语。值为4的项是从知道它们大于3以及观察到的所有n中，a（n+1）<=a（n）+1（一个简单的构造）推断出来的。使用穷举搜索，可以将序列扩展到a（107）=4以下的（大多数）项，但更进一步可能需要更复杂的方法（请参见A052200型). `如果BB（n）=A060843型（n），则a（BB（n））=n，这是该序列中n的最后一次出现。a（n）不会变得单调；如果有，我们可以计算BB（n），因为a（n）是可计算的。a（n）适当发散，但发散非常缓慢。a（n+1）<=a（n）+1（简单的构造）-马丁·富勒2007年2月14日`
	链接	`马丁·富勒，n=1..626时的n，a（n）表` `马丁·富勒，列出每个n的图灵机的图解文件` `H.Marxen，关于忙碌的海狸问题的信息`
	交叉参考	`囊性纤维变性。A060843型,A052200型.` `上下文中的序列：A105517号 A230774型 A056813号A077430号 A105513号 A004233号` `相邻序列：A125266号 A125267号 A125268号A125270型 A125271号 125272英镑`
	关键词	`美好的,非n`
	作者	`达斯汀·韦尔（robert.Wehr（AT）mail.mcgill.ca），2007年1月16日，2007年2月28日`
	扩展	`来自的更多条款马丁·富勒2007年2月14日`
	状态	`经核准的`