A220894-OEIS公司

20894年2月

变量的大小为n、大小为0的闭合lambda-terms数。

0, 1, 3, 14, 82, 579, 4741, 43977, 454283, 5159441, 63782411, 851368766, 12188927818, 186132043831, 3017325884473, 51712139570022, 933654684562038, 17702959714232057, 351535449888420187, 7292626296788508624, 157698798590301690864, 3547597554377118966359 (列表;图表;参考;听;历史;文本;内部格式)

	抵消	`0,3`
	链接	`阿洛伊斯·海因茨，n=0..200时的n，a（n）表` `Maciej Bendkowski、K Grygiel、P Tarau、，封闭简单型lambda-terms的随机生成：逻辑编程和Boltzmann采样器之间的协同作用，arXiv预印本arXiv:1612.07682[cs.LO]，2016-2017。` `卡塔兹娜·格里吉尔和皮埃尔·莱斯坎，计算并生成lambda-terms，arXiv预打印arXiv:1210.2610[cs.LO]，2012。` `Katarzyna Grygiel、Pierre Lescane、，二元Lambda微积分中的计数和生成项（扩展版），HAL Id:ensl-012297942015年。` `保罗·塔劳，关于Lambda项的类型定向生成，预印本，2015年。` `保罗·塔劳，关于lambda项的逻辑编程表示：de Bruijn索引、压缩、类型推理、组合生成、规范化，2015年。` `P.Tarau，Lambda术语、组合词、类型和基于树的算术计算的逻辑编程游戏场，arXiv预印本arXiv：1507.06944[cs.LO]，2015年。` `保罗·塔劳，穿越数量级的徒步旅行：导出闭简单型Lambda项和正规形式的有效生成元，arXiv预印本arXiv:1608.03912[cs.PL]，2016。`
	配方奶粉	`T（n，0）其中` `T（0，m）=米；` `T（n+1，m）=T（n，m+1）+sum_{i=0 to n}T（i，m）T（n-i，m。` `f（n，0），其中f（0,1）=1；f（0，k）=0，如果k=1; 如果k>2n-1，f（n，k）=0；f（n，k）=f（n-1，k）+f（n-l，k+1）+sum{p=1 to n-2}sum{c=0 to k}sum_{l=0 to k-c}[c^c_k c^l_（k-c）f（p，l+c）f。f（n，k）只能使用f（n'，k'）计算，其中n’<n，k’<=k+n-n’。f（n，k）是大小为n的lambda项的数目（变量的大小为0），其中正好有k个自由变量。` `c（n，0）其中` `c（0,1）=1；c（0，i）如果i=1;` `c（n+1，i）和{j=i到n+1}二项式（j，i）c（n，j）+和{j=0.0到i}和{k=0..n}c（k，j）c（n-k，i-j）。` `G.f.：L（z，0），其中L（z、u）=u+zL（z和u+1）+z*L（z，u）^2-皮埃尔·莱斯坎2013年3月14日`
	MAPLE公司	`a： =n->T（n，0）：` T： =proc（n，m）选项记忆`如果`（n=0，m， `T（n-1，m+1）+加法（T（i，m）*T（n-1-i，m，i=0..n-1））` `结束：` `seq（a（n），n=0..30）#阿洛伊斯·海因茨2013年3月20日`
	数学	`清除[t]；t[0，m]：=m；t[n_，m]：=t[n，m]=t[n-1，m+1]+和[t[i，m]t[n-1-i，m]，{i，0，n-1}]；a[n]：=t[n，0]；表[a[n]，{n，0，21}](Jean-François Alcover公司2013年4月4日*）`
	程序	`（鼠尾草）` `@缓存函数` `定义T（n，m）：` `如果n=0：返回m` `返回T（n-1，m+1）+总和（T（i，m）T（n-1-i，m` `定义a（n）：` `返回T（n，0）` `[a（n）代表范围（66）中的n]` `#乔格·阿恩特2013年1月1日` `（哈斯克尔）` `t:：Int->Int->整数` `t 0 m=（来自积分m）` `t n m=t（n-1）（m+1）+foldl（+）0（设tt=[t i m \| i<-[0..（n-1` `（地图（uncrry（））（zip-tt（反向tt）））` `#皮埃尔·莱斯坎2013年3月18日` `#以下程序效率更高：` `（哈斯克尔）` `带备忘录` `ttab:：[[整数]]` `ttab=[0..]：[[ttab！！（n-1）！！（m+1）+s n m \| m<-[0..]]\| n<-[1..]]` `其中s n m=let ti=[ttab！！i！！m\|i<-[0..（n-1）]]在foldl（+）0（map（unrry（*））（zip ti（reverse ti））中` `t:：Int->Int->整数` `t n m=ttab！！不！！米` `#皮埃尔·莱斯坎2013年3月20日`
	交叉参考	`囊性纤维变性。A135501号,A114852号.` `囊性纤维变性。A220895型（一个自由变量），A220896型（两个自由变量），A220897型（三个自由变量）。` `上下文中的序列：A186737号 A367972型 A020104年A103467号 A355293型 A215661型` `相邻序列：20891英镑 220892英镑 A220893型A220895型 A220896型 A220897型`
	关键词	`非n`
	作者	`N.J.A.斯隆2012年12月31日`
	扩展	`更多术语来自乔格·阿恩特2013年1月1日`
	状态	`已批准`