主机名：page-component-848d4c4894-x5gtn总加载时间：0渲染日期：2024-05-27T07:45:34.758Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

二元lambda演算中的计数和生成项*

部分： JFP研究文章

剑桥大学出版社在线出版：2015年12月29日

KATARZYNA格雷吉尔 和
皮埃尔·莱斯坎
KATARZYNA格雷吉尔
附属：
犹他州贾基隆大学数学与计算机科学学院理论计算机科学系。波兰克拉科夫30-348，ojasiewicza 6教授（电子邮件：grygiel@tcs.uj.edu.pl)
皮埃尔·莱斯卡纳
附属：
里昂大学里昂学院（UMR 5668 CNRS ENS Lyon UCBL INRIA），里昂大学，46 allée d’Italie，69364 Lyon，France（电子邮件：pierre.lescane@ens-lyon.fr)
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

在一篇题为二进制lambda演算与组合逻辑John Tromp提出了一种将lambda演算项编码为二进制序列的简单方法。在下文中，我们研究了表示lambda项的给定大小的二进制字符串的数目，并从它们的生成函数中导出结果，特别是大小项的数目n个长得大致像1.963447954。 .n个在第二部分中，我们使用这种方法使用波尔兹曼采样器生成随机lambda项。

类型
文章
问询处
函数编程杂志 ，第25卷 , 2015 ，第24页
版权
版权所有©剑桥大学出版社2015

脚注

*

这项工作得到了波兰国家科学中心资助的2013/11/B/ST6/00975号拨款的部分支持。

工具书类

巴赫，答：。，博迪尼，O。&提花机，答：。(2014)通过完整方程对二叉树和一元二叉树进行有效的随机采样。Corr公司，abs/1401.1140.谷歌学者
博迪尼，O。，加迪，D。&吉滕贝格，B。(2011)Lambda-有界一元高度的项。《第八届分析算法与组合数学（ANALCO）研讨会论文集》，（SIAM），美国加利福尼亚州旧金山金门假日酒店，第23-32页。交叉参考谷歌学者
博迪尼，O。，加迪，D。&提花机，答：。(2013a）BCI和BCKλ项的渐近和随机抽样。 西奥。计算。科学。 502，227–238.交叉参考谷歌学者
博迪尼，O。，加迪，D。，吉滕贝格，B。&雅科特，答：。(2013b）广义BCI lambda-terms的枚举.选举人。J.库姆。 20 (4)，第30页.交叉参考谷歌学者
克莱森，英国。&休斯，J。(2000)快速检查：用于随机测试的轻量级工具哈斯克尔程序。在ICFP中，奥德斯基，M。&瓦德勒，第页。（编辑），ACM，第268-279页。交叉参考谷歌学者
大卫，R。，格里吉尔，英国。，科齐克，J。，拉法利，C、。，他们都是，G.公司。&Zaonc公司，M。(2013)几乎所有λ-项都是强正规化的.日志。方法计算。科学。 9 (1:02)，1–30.谷歌学者
德布鲁因，N.G.公司。(1972)带有无名假人的Lambda微积分符号，一种用于自动公式操作的工具，应用于Church-Rosser定理.Indagations数学。 34 (5)，381–392.交叉参考谷歌学者
杜雄，第页。，弗拉若莱，第页。，卢沙尔，G.公司。&谢弗，G.公司。(2004)组合结构随机生成的Boltzmann采样器.梳子。普罗巴伯。计算。 13 (4–5)，577–625.交叉参考谷歌学者
弗拉若莱，第页。爱沙尼亚福西&皮沃托，C、。(2007)未标记结构的玻尔兹曼采样。《第四届分析算法与组合数学研讨会论文集》，美国路易斯安那州新奥尔良市ANALCO，2007年1月6日，第201–211页。交叉参考谷歌学者
弗拉若莱，第页。&塞奇威克，R。(2008)分析组合数学.剑桥大学出版社.谷歌学者
格里吉尔，英国。&莱斯卡纳，第页。(2013)计算并生成lambda项.J.功能。程序。 23 (5)，594–628.交叉参考谷歌学者
格里吉尔，英国。&莱斯卡纳，第页。(2014)二进制lambda演算中的计数项。Corr公司，腹肌/1401.0379。发表于第25届算法分析概率、组合和渐近方法国际会议论文集，网址：https://hal.inia.fr/hal-01077251.谷歌学者
辛德利，J.R.公司。(1997)简单类型基本理论《剑桥理论计算机科学丛书》，第42期，剑桥大学出版社.交叉参考谷歌学者
卡图南，答：。(2015)排名和取消排名功能.OEIS维基。网址：http://oeis.org/wiki/Ranking_and_unranking_functions网站.谷歌学者
克努特，D.E.博士。(2006)计算机编程艺术，第4卷，第4分册：生成所有树，组合生成历史（计算机编程艺术）.出版商.谷歌学者
莱斯卡纳，第页。(1994)从λσ到λν，通过显式替换计算的旅程。在博姆，H。（d），《第21届美国计算机学会编程语言原则研讨会论文集》，波特兰（俄勒冈州，美国），美国计算机学会，第60-69页。谷歌学者
莱斯卡纳，第页。(2013)计算非类型lambda项时。 西奥。计算。科学。，474，80–97.交叉参考谷歌学者
锂，M。&维坦伊，第页。(2008)Kolmogorov复杂性及其应用简介，第3版。，纽约公司:Springer-Verlag公司.交叉参考谷歌学者
尼詹胡斯，答：。&威尔夫，H.S.公司。(1978)组合算法，第2版。，计算机科学和应用数学，纽约:学术出版社.谷歌学者
佩顿·琼斯，美国。（d）(2003)Haskell 98语言与图书馆：修订报告.剑桥大学出版社.谷歌学者
雷米，J.-L.公司。(1985)联合国阿尔布雷斯·比纳雷斯和勒尔·盖内拉迪亚托雷申请委员会（Un procédéitératif de dénombrement d'arbres binaires et son application a leur génération aléatoire）.意大利税务局 19 (2)，179–195.谷歌学者
塔劳，第页。(2015)关于lambda术语的类型定向生成。第31届逻辑程序设计国际会议（ICLP 2015）论文集，网址：http://dblp.uni-trier.de/rec/bibtex/conf/iclp/Tarau15.谷歌学者
Tromp公司，J。(2006)二进制lambda演算与组合逻辑.英寸Kolmogorov复杂性及其应用，Hutter公司，M。，梅尔克，西。&维坦伊，下午。（编辑），Dagstuhl研讨会论文集，第06051卷，国际信息学研究所（IBFI），达格斯图尔宫，德国.谷歌学者
王，J。 2004（5月）。随机程序的高效生成及其应用。马萨诸塞州韦尔斯利韦尔斯利学院荣誉论文。谷歌学者
提交响应

讨论

尚未发布此文章的讨论。