×
弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁

关于高阶概率次递归。 （英语） Zbl 1486.68039号

日志。方法计算。科学。 17，第4号，第25号论文，35页（2021年）.
摘要：我们研究了亚递归概率高阶计算的表达能力。更具体地说，我们表明，赋予Gödel’s（\mathbb{T}）这样一个非常有表现力的确定性演算各种形式的概率选择算子，可能会导致计算结果与它们所产生的分布类不等价，尽管它们都保证了几乎完全的终止性。在此过程中，我们引入了经典可约性技术的概率变化，并证明了概率选择的最简单形式基本上保持了（mathbb{T}）的表达能力不变。本文最后对函数表达能力进行了一些观察：预期所有被考虑的计算都会捕获（mathbb{T}）本身所代表的函数，至少在考虑标准观察概念时是这样。

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B40型 组合逻辑与lambda演算
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68问题55 计算理论中的语义学

关键词：

随机计算;λ演算;高阶递归
PDF格式BibTeX公司 XML格式引用
\textit{F.Breuvart}等人，日志。方法计算。科学。17，第4号，第25号论文，第35页（2021年；Zbl 1486.68039）
全文： arXiv公司 链接

参考文献：

[1] 桑吉夫·阿罗拉和波阿斯·巴拉克。计算复杂性：现代方法。剑桥大学出版社，2009年·Zbl 1193.68112号
[2] Henk P.Barandregt。兰姆达演算，它的语法和语义。SLFM，1984年·Zbl 0558.03006号
[3] 奥利维尔·伯内兹和弗洛伦特·加尼尔。证明了积极的几乎绝对终止。InRTA，《计算机科学讲义》第3467卷，第323-337页，2005年·Zbl 1078.68057号
[4] Rapha¨elle Crubill´e和Ugo Dal Lago。关于概率应用互模拟和按值调用λ-演算。《员工持股计划》，第209-228页，2014年·Zbl 1405.68076号
[5] 乌戈·达尔·拉戈（Ugo Dal Lago）、克劳迪娅·法根（Claudia Faggian）、贝诺·瓦利昂（Benoˆt Valiron）和阿基拉·吉咪祖（Akira Yoshimizu）。平行几何：经典、概率和量子效应。InPOPL 2017，第833-845页。ACM，2017年·Zbl 1380.68120号
[6] 卡雷尔·德列乌（Karel De Leeuw）、爱德华·F·摩尔（Edward F Moore）、克劳德·沙农（Claude E Shannon）和诺曼·夏皮罗（Norman Shapiro）。概率机器的可计算性。《自动化研究》，34:183-1981956年。
[7] 乌戈·达尔·拉戈和保罗·帕里森·托尔丁。概率多项式时间的高阶特征。信息计算。，241:114-141, 2015. ·Zbl 1320.68084号
[8] 乌戈·达尔·拉戈和玛格丽塔·佐齐。lambda演算的概率操作语义。RAIRO-理论。信息和应用。，46(3):413-450, 2012. ·Zbl 1279.68183号
[9] 乌戈·达尔·拉戈（Ugo Dal Lago）、萨拉·祖皮罗利（Sara Zuppiroli）和毛里齐奥·加布里埃利（Maurizio Gabbrielli）。概率递归理论和隐式计算复杂性。科学。Ann.Comp.公司。科学。，24(2):177-216, 2014. ·Zbl 1423.03138号
[10] 托马斯·埃尔哈德（Thomas Ehrhard）、米歇尔·帕加尼（Michele Pagani）和克里斯汀·塔森（Christine Tasson）。概率相干空间对于概率PCF是完全抽象的。POPL编辑P.Sewell。ACM，2014年·Zbl 1284.68268号
[11] 路易斯·马尔·阿费雷尔·菲奥里蒂和霍尔格·赫尔曼斯。概率终止：健全性、完整性和组合性。InPOPL，第489-501页，2015年·Zbl 1345.68104号
[12] 约翰·T·吉尔，III.概率图灵机的计算复杂性。《1974年STOC会议记录》，第91-95页。ACM，1974年·兹比尔0357.68056
[13] Jean-Yves Girard、Paul Taylor和Yves Lafont。证据和类型。剑桥大学出版社，1989年·Zbl 0671.68002号
[14] Chris Heunen、Ohad Kammar、Sam Staton和Hongseok Yang。高阶概率论的一个方便的范畴。InLICS 2017，第1-12页。IEEE计算机学会，2017年·Zbl 1458.60005号
[15] 阿奇姆·荣格（Achim Jung）和里贾娜·蒂克斯（Regina Tix）。麻烦的概率域。选举人。注释Theor。计算。科学。，13:70-91, 1998. ·Zbl 0917.68135号
[16] 本杰明·卢西恩·卡明斯基（Benjamin Lucien Kaminski）和朱斯特·佩特·卡托恩（Joost-Pieter Katoen）。关于几乎完全终止的硬度。InMFCS，LNCS第9234卷，第307-318页，2015年·Zbl 1465.68097号
[17] 德克斯特·科赞。概率程序的语义。J.计算。系统。科学。，22(3):328-350, 1981. ·Zbl 0476.68019号
[18] 安娜贝拉·麦克维尔（Annabelle McIver）和卡罗尔·摩根（Carroll Morgan）。概率系统的抽象、精化和证明。计算机科学专著。斯普林格，2005年·Zbl 1069.68039号
[19] Rajeev Motwani和Prabhakar Raghavan。随机算法。剑桥大学出版社，1995年·Zbl 0849.68039号
[20] Christopher D Manning和Hinrich Schüutze。统计自然语言处理基础，第999卷。麻省理工学院出版社，1999年·Zbl 0951.68158号
[21] 克里斯托斯·帕帕迪米特里奥。计算复杂性。Addison-Wesley，1994年·Zbl 0833.68049号
[22] 朱迪娅·珀尔。智能系统中的概率推理：似是而非推理网络。Morgan Kaufmann，1988年·兹伯利0746.68089
[23] 西蒙·普林斯（Simon J.D.Prince）。计算机视觉：模型、学习和推理。剑桥大学出版社，美国纽约州纽约市，2012年·Zbl 1267.68016号
[24] 尤金·桑托斯。概率图灵机和可计算性。美国数学学会学报，22（3）：704-71969·Zbl 0186.01202号
[25] N.Saheb-Djahromi公司。概率LCF。InMFCS，第442-451页，1978年·Zbl 0396.68037号
[26] 理查德·斯塔特曼（Richard Statman）。类型化的lambda-calculus不是初等递归。西奥。计算。科学。，9:73-81, 1979. ·Zbl 0411.03050号
[27] 莫滕·海因·瑟伦森（Morten Heine Sörensen）和帕维尔·乌尔济钦（Pawel Urzyczyn）。关于Curry-Howard同构的讲座·Zbl 1183.03004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。