OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。

登录

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

 

提示 （来自的问候整数序列在线百科全书!) A275057型 自然大小n的闭λ项的个数。 2 0, 0, 1, 1, 3, 6, 17, 41, 116, 313, 895, 2550, 7450, 21881, 65168, 195370, 591007, 1798718, 5510023, 16966529, 52506837, 163200904, 509323732, 1595311747, 5013746254, 15805787496, 49969942138, 158396065350, 503317495573, 1602973785463, 5116010587910, 16360492172347 (列表;图表;参考文献;听;历史;文本;内部格式) 抵消 0,5 评论 自然大小度量lambda项如下：所有符号都被指定为大小1，即应用程序、抽象、de Bruijn索引中的后继符号和de Bruij索引中的0符号（即de Bruijin索引n被指定为尺寸n+1）。 这里我们计算自然大小n的闭项，其中“closed”表示没有自由索引（没有自由绑定变量）。 链接 皮埃尔·莱斯坎，n=0..299时的n，a（n）表 马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）、皮埃尔·莱斯卡内（Pierre Lescanne）、马雷克·扎昂克（Marek Zaionc）、，Lambda项的自然计数，SOFSEM 2016:183-194。 马西耶·本德考斯基（Maciej Bendkowski）、K Grygiel、P Tarau、，封闭简单型lambda-terms的随机生成：逻辑编程和Boltzmann采样器之间的协同作用，arXiv预打印arXiv:1612.07682[cs.LO]，2016-2017。 公式 L（0，m）=0。 L（n+1，m）=（和{k=0..n}L（k，m）*L（n-k，m。 数学 L[0，_]=0；L[n_，m_]：=L[n，m]=和[L[k，m]*L[n-k-1，m]，{k，0，n-1}]+L[n-1，m+1]+Boole[m>=n]； a[n_]：=L[n，0]； 表[a[n]，{n，0，31}](*Jean-François Alcover公司2017年5月23日*） 交叉参考 囊性纤维变性。A105633号,A272794型. 上下文中的序列：A319789型 A007718美元 1979年2月*A320807型 A089264号 A121399号 相邻序列：A275054型 A275055型 A275056型*A275058型 A275059型 A275060型 关键词 非n 作者 皮埃尔·莱斯坎2016年7月14日 状态 经核准的

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

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

上次修改时间：美国东部夏令时2024年5月14日12:38。包含372533个序列。（在oeis4上运行。）