弗拉维恩·布鲁瓦特；乌戈·达尔拉戈；阿加提·埃尔鲁 关于高阶概率次递归。 （英语） Zbl 1486.68038号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10203, 370-386 (2017). 摘要：我们研究了次递归概率高阶结石的表达能力。更具体地说，我们表明，赋予Gödel’s（\mathbb{T}）这样一个非常有表现力的确定性演算各种形式的概率选择算子，可能会导致计算结果与它们所产生的分布类不等价，尽管它们都保证了几乎完全的终止性。在此过程中，我们引入了经典可约性技术的概率变化，并证明了概率选择的最简单形式基本上保持了（mathbb{T}）的表达能力不变。本文最后对函数表达性进行了一些观察：预计所有考虑的演算都精确地表示\（\mathbb｛T｝\）本身所表示的函数。有关整个系列，请参见[Zbl 1360.68010号]. 引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B40型 组合逻辑与lambda演算 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 第68季度55 计算理论中的语义学 软件：教堂 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart}等人，Lect。票据计算。科学。10203、370--386（2017；Zbl 1486.68038） 全文： 内政部 哈尔 参考文献： [1] 巴伦德雷格特，H.P.：《兰姆达演算，其语法和语义》。逻辑和数学基础研究。荷兰北部，阿姆斯特丹（1981年）·Zbl 0467.03010号 [2] Bournez，O.，Garnier，F.：证明积极的几乎绝对终止。收录：Giesl，J.（编辑）RTA 2005。LNCS，第3467卷，第323–337页。斯普林格，海德堡（2005）。数字对象标识代码：10.1007/978-3-540-32033-324·Zbl 1078.68057号 ·数字对象标识代码：10.1007/978-3-540-32033-324 [3] Breuvart，F.，Dal Lago，U.，Herrou，A.：关于概率次递归（长版本）（2016）。http://arxiv.org/abs/1701.04786 ·Zbl 1486.68038号 [4] Crubillé，R.，Dal Lago，U.：关于概率应用互模拟和调用值\[\λ\]-计算。摘自：邵，Z.（编辑）《2014年员工持股计划》。LNCS，第8410卷，第209-228页。斯普林格，海德堡（2014）。doi:10.1007/978-3-642-54833-8_12·Zbl 1405.68076号 ·doi:10.1007/978-3-642-54833-8_12 [5] Dal Lago，U.，Toldin，P.P.：概率多项式时间的高阶表征。Inf.计算。241, 114–141 (2015) ·Zbl 1320.68084号 ·doi:10.1016/j.ic.2014.10.009 [6] Dal Lago，U.，Zorzi，M.：lambda演算的概率操作语义。RAIRO-理论。信息申请。46(3), 413–450 (2012) ·Zbl 1279.68183号 ·doi:10.1051/ita/2012012 [7] Dal Lago，U.，Zuppiroli，S.，Gabbrielli，M.：概率递归理论和隐式计算复杂性。科学。Ann.Comp.公司。科学。24(2), 177–216 (2014) ·兹比尔1423.03137 [8] De Leeuw，K.，Moore，E.F.，Shannon，C.E.，Shapiro，N.：概率机器的可计算性。Automata Stud.34，183-198（1956年） [9] Ehrhard，T.，Pagani，M.，Tasson，C.：概率相干空间对于概率PCF是完全抽象的。收录：Sewell，P.（编辑）《POPL学报》。ACM（2014）·Zbl 1284.68268号 ·doi:10.1145/2535838.2535865 [10] 费雷尔·菲奥里蒂（Ferrer Fioriti，L.M.）、赫尔曼斯（Hermanns，H.）：概率终止：可靠性、完整性和组成性。摘自：《POPL学报》，第489-501页（2015年）·Zbl 1345.68104号 ·doi:10.1145/2676726.2677001 [11] Gill，J.：概率图灵机的计算复杂性。SIAM J.计算。6(4), 675–695 (1977) ·Zbl 0366.02024号 ·doi:10.1137/0206049 [12] Girard，J.-Y.，Taylor，P.，Lafont，Y.：证据和类型。剑桥大学出版社，剑桥（1989）·Zbl 0671.68002号 [13] Goodman，N.D.，Mansinghka，V.K.，Roy，D.M.，Bonawitz，K.，Tenenbaum，J.B.：Church：生成模型的语言。收录于：UAI，第220–229页（2008年） [14] Jung，A.，Tix，R.：麻烦的概率功率域。选举人。注释Theor。计算。科学。13, 70–91 (1998) ·Zbl 0917.68135号 ·doi:10.1016/S1571-0661（05）80216-6 [15] Kaminski，B.L.，Katoen，J.-P.：关于几乎确定终止的硬度。收件人：Italiano，G.F.，Pighizini，G.，Sannella，D.T.（编辑）MFCS 2015。LNCS，第9234卷，第307–318页。斯普林格，海德堡（2015）。doi:10.1007/978-3-662-48057-1_24·Zbl 1465.68097号 ·doi:10.1007/978-3-662-48057-1_24 [16] Kozen，D.：概率程序的语义。J.计算。系统。科学。22(3), 328–350 (1981) ·Zbl 0476.68019号 ·doi:10.1016/0022-0000（81）90036-2 [17] Manning，C.D.，Schütze，H.：《统计自然语言处理基础》，第999卷。麻省理工学院出版社，剑桥（1999）·Zbl 0951.68158号 [18] McIver，A.，Morgan，C.：概率系统的抽象、精炼和证明。计算机科学专著。斯普林格，海德堡（2005）·Zbl 1069.68039号 [19] Pearl，J.：《智能系统中的概率推理：合理推理网络》。Morgan Kaufmann，圣马特奥（1988）·Zbl 0746.68089号 [20] Prince，S.J.D.：《计算机视觉：模型、学习和推理》。剑桥大学出版社，纽约（2012）·Zbl 1267.68016号 ·doi:10.1017/CBO9780511996504 [21] Saheb-Djahromi，N.：概率LCF。收录：Winkowski，J.（编辑）MFCS 1978。LNCS，第64卷，第442-451页。施普林格，海德堡（1978）。doi:10.1007/3-540-08921-792·doi:10.1007/3-540-08921-792 [22] 桑托斯，E.S.：概率图灵机和可计算性。程序。美国数学。Soc.22（3），704–710（1969年）·Zbl 0186.01202号 ·doi:10.1090/S0002-9939-1969-0249221-4 [23] Sørensen，M.H.，Urzyczyn，P.：关于库里-霍华德同构的讲座。Elsevier Science Inc.，纽约（2006）·Zbl 1183.03004号 [24] Statman，R.：类型化的lambda-calculus不是初等递归。西奥。计算。科学。9, 73–81 (1979) ·Zbl 0411.03050号 ·doi:10.1016/0304-3975（79）90007-0 [25] Staton，S.、Yang，H.、Heunen，C.、Kammar，O.、Wood，F.：概率规划的语义：高阶函数、连续分布和软约束。摘自：LICS会议记录，第525-534页（2016年）·Zbl 1395.68082号 ·doi:10.1145/2933575.2935313 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。