非确定性刻画

在本文中，我们将 Jones 的结果——即具有 $k$ 阶数据与传值调用策略的无 cons 编程刻画 EXP$^k$TIME——推广到更一般的设定，包括模式匹配与非确定性选择。我们表明在非确定性加入在更高阶设定下具有出乎意料的强大能力。尽管如此，我们可通过适当限制规则形成获得与 Jones 层次结果相对应的非确定性平行结论。