单态图灵机的表达能力
形式语言与自动机理论
2019-01-23 v1
摘要
乍看之下,单态图灵机非常弱:它们的停机问题是可判定的,并且在没有记忆的情况下,它们甚至无法接受像 这样简单的单元素语言。然而已有研究表明,单态图灵机可以接受非正则语言。我们推广了这一结果,并证明它们也能识别非上下文无关语言,因此在某些任务上它们比下推自动机更强大。
引用
@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