A118874-OEIS公司

OEIS由OEIS基金会的许多慷慨捐赠者.

A118874号

暂停序列：设f_n是相对于Cutland中给出的Godel编号的第n个递归函数，如果相应的程序在输入n时停止，则A（n）为f_n（n）+1，否则为0。

0

1, 3, 1, 4, 2, 1, 1, 0, 1, 12, 2, 1, 1, 1, 1, 16, 0, 19, 1, 21, 3, 2, 2, 0, 1, 1, 1, 1, 1, 1, 1, 32, 1, 0, 0, 36, 2, 1, 1, 0, 2, 45, 3, 2, 2, 2, 2, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 64, 1, 67, 1, 0, 0, 0, 0, 0, 1, 76, 2, 1, 1, 1, 1, 81, 0, 84, 2, 86, 4, 3, 3, 0, 2, 2, 2, 2, 2, 2, 2, 1, 1, 0, 0

(列表;图表;参考;听;历史;文本;内部格式)

抵消

0,2

评论

不争序列的原型示例。

参考文献

奈杰尔·卡特兰，“可计算性：递归函数理论导论”。剑桥大学出版社，1980年。第78页。

链接

n，a（n）的表，n=0..98。

拉明·奈米，URM模拟器

例子

使用Cutland的Godel编号，80对应于URM程序“Z（1）J（1,1,1）s（1）”，该程序在任何输入上都明显地循环，因此a（80）=0。另一方面，17对应于URM程序“S（1）T（1,1）”，该程序在输入17时产生18。所以a（17）=18+1=19。

交叉参考

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

上下文中的序列：A253828号 A190445号 A141648号*A208614型 A020851型 A190457号

相邻序列：A118871号 A118872号 A118873号*A118875号 18876年 A118877号

关键词

非n

作者

山姆·亚历山大2006年5月24日

状态

经核准的