关于图灵机及其他机器模型所接受语言的稠密性
形式语言与自动机理论
2019-03-08 v1
摘要
若一种语言的所有中缀（或子词）的集合等于所有词的集合，则该语言是稠密的。本文证明了：判定一台具有单向只读输入和反转有界读/写工作带（读/写头改变方向至多固定次数）的非确定性图灵机所接受的语言是否稠密，是可判定的。由此推得，该问题对于单向反转有界队列自动机、单向反转有界栈自动机以及单向反转有界 -flip 下推自动机（至多可将下推栈“翻转” 次的机器）也是可判定的。然而，对于具有两个 1-反转有界工作带的确定性图灵机（即使这两个带被限制为以 1-反转有界下推栈方式运作），该问题是不可判定的。
引用
@article{arxiv.1903.03018,
title = {On the Density of Languages Accepted by Turing Machines and Other Machine Models},
author = {Oscar H. Ibarra and Ian McQuillan},
journal= {arXiv preprint arXiv:1903.03018},
year = {2019}
}