登录

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

 

提示 （来自的问候整数序列在线百科全书!) A333958型 大小为n的闭lambda微积分项的数目，具有正规形式，其中大小（lambda M）=2+大小（M），大小（M n）=2+尺寸（M）+大小（n），并且大小（V）=1+i是由第i个封闭lambda绑定的变量V。 1 0, 0, 0, 1, 0, 1, 1, 2, 1, 6, 5, 13, 14, 37, 44, 101, 134, 297, 431, 882, 1361, 2729, 4404, 8548, 14310, 27397, 47095, 89014, 156049, 292954, 521639, 975319, 1757422, 3277997, 5960021, 11109379 (列表；图表；参考；听；历史；文本；内部格式) 抵消 1,8 评论 这个序列是不可变的，就像相应的Busy Beaver序列一样A333479型，它取具有一个a（n）项的最大范式大小。 链接 n=1..36时的n，a（n）表。 通过更改此的主函数中的“maximum$（n，0，P Bot）：”计算用于分析Busy Beaver数字的Haskell程序到“长度”。 例子 此序列首先不同于A114852号在n=18时，它排除了没有正规形式的最短项（λx x x）（λx x x），因此a（18）=298-1=297。 交叉参考 囊性纤维变性。114852英镑,A195691号,A333479型,A004147号. 上下文中的序列：A030770型 A307048型 A188652号*A114852号 A188048号 A191529号 相邻序列：A333955型 A333956型 A333957型*A333959型 A333960型 A333961型 关键词 非n,更多 作者 约翰·特隆普2020年4月22日 状态 经核准的

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

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

最后修改时间：美国东部时间2024年4月19日23:15。包含371798个序列。（在oeis4上运行。）