摘要：Zeno机器：图灵机无限时间运行的问题及停机问题算法不可行性证明。
作者：Bryce M. Kim
论文ID：1411.5679
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-11-24
PDF 下载： 英文版 中文版pdf翻译中