反驳田荣的 arXiv:2110.05942《线性有界自动机问题的解答》

Thomas Preu

反驳田荣的 arXiv:2110.05942《线性有界自动机问题的解答》

计算复杂性 2022-08-09 v2 形式语言与自动机理论

作者: Thomas Preu

摘要

在标题所述预印本中，田荣先生声称证明了 $\textrm{NSPACE}[n]\neq\textrm{DSPACE}[n]$ ，解决了自动机理论中称为 LBA 问题的长期开放问题。他声称更一般地证明了对于合适的 $S(n)$ 有 $\textrm{NSPACE}[S(n)]\neq\textrm{DSPACE}[S(n)]$ 来实现这一点。我们指出其证明不完整甚至错误，且其策略无法补救。更新以包含田荣先生预印本的最近进展。

关键词

自动机理论 LBA 问题 NSPACE DSPACE 反驳线性有界自动机

引用

@article{arxiv.2110.12421,
  title  = {Refuting Tianrong Lin's arXiv:2110.05942 "Resolution of The Linear-Bounded Automata Question"},
  author = {Thomas Preu},
  journal= {arXiv preprint arXiv:2110.12421},
  year   = {2022}
}

备注

7 pages, refers to arXiv:2110.05942 by Tianrong Lin

反驳田荣的 arXiv:2110.05942《线性有界自动机问题的解答》

摘要

关键词

引用

备注

相关论文