扩展 Church-Turing 论题的形式化与证明 - 扩展摘要 -
计算机科学中的逻辑
2012-08-01 v1 计算复杂性
摘要
我们证明了扩展 Church-Turing 论题：每个有效算法都可以被图灵机高效地模拟。这是通过利用抽象状态机来仿真有效算法，并利用随机存取机来模拟该抽象状态机来实现的，其中数据被表示为最小项图。
引用
@article{arxiv.1207.7148,
title = {A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-},
author = {Nachum Dershowitz and Evgenia Falkovich},
journal= {arXiv preprint arXiv:1207.7148},
year = {2012}
}
备注
In Proceedings DCM 2011, arXiv:1207.6821