中文

单态图灵机的表达能力

形式语言与自动机理论 2019-01-23 v1

摘要

乍看之下,单态图灵机非常弱:它们的停机问题是可判定的,并且在没有记忆的情况下,它们甚至无法接受像 L={1}L = \{ 1 \} 这样简单的单元素语言。然而已有研究表明,单态图灵机可以接受非正则语言。我们推广了这一结果,并证明它们也能识别非上下文无关语言,因此在某些任务上它们比下推自动机更强大。

关键词

引用

@article{arxiv.1901.07125,
  title  = {The Power of One-State Turing Machines},
  author = {Marzio De Biasi},
  journal= {arXiv preprint arXiv:1901.07125},
  year   = {2019}
}

备注

5 pages, 1 figure