关于高阶概率子递归
摘要：亚递归概率高阶演算的表达能力研究。具体来说我们证明了，给予一个表达能力极高的确定性演算（如G"odel的$\mathbb{T}$），附加各种形式的概率选择运算符可能导致不同的演算，其生成的分布类别不等价，尽管它们都能保证几乎必定终止。同时，我们引入了一个概率变体的经典可归约技术，并证明最简单的概率选择形式基本上不改变$\mathbb{T}$的表达能力。文章最后提到了关于函数表达能力的一些观察：预期地，所有考虑到的演算至少在选择了标准观察方式时，能够捕捉到$\mathbb{T}$本身所代表的函数。
作者：Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
论文ID：1701.04786
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22