论无穷对象规范等价性的复杂性
计算机科学中的逻辑
2012-07-03 v1 计算复杂性
摘要
我们研究了由方程组规范的无穷对象以及由lambda项规范的无穷对象相等性判定的复杂性。对于等式规范，存在几种自然的相等性概念：所有模型中的相等性、解集的相等性以及生产性规范的范式相等性。对于lambda项，我们研究了Boehm树相等性以及各种观测相等性概念。我们精确确定了这些概念在算术层级或分析层级中的复杂性。我们表明，判定所有模型中相等性的复杂性涵盖了整个分析层级。这即使对于最简单的无穷对象（即{0,1}上的流）也成立，并且与[Rosu 2006]中采用不同相等性概念导出的等式规范流的低算术Pi^0_2完全性形成鲜明对比。
引用
@article{arxiv.1207.0158,
title = {On the Complexity of Equivalence of Specifications of Infinite Objects},
author = {Joerg Endrullis and Dimitri Hendriks and Rena Bakhshi},
journal= {arXiv preprint arXiv:1207.0158},
year = {2012}
}