广义$BCI$Lambda-terms的枚举

摘要

我们研究了一类与组合逻辑公理系统有关的闭lambda-terms（即所谓的$BCI（p）$-terms）中$n$大小元素的渐近数。通过推导计数序列母函数的微分方程，我们得到了一个可以渐近求解的递推关系。我们还导出了其他更一般的项类计数序列的生成函数的微分方程：$BCK（p）$-项类和闭lambda-项类。使用初等参数，我们获得了大小为$n$的闭lambda-terms数的上下估计。此外，还导出了一个递归关系，该关系允许有效计算计数序列$简要讨论了BCK（p）$术语。