将非确定性双向自动机转换为小的确定性线性时间机器
摘要：将双向和单向非确定性自动机转化为等价的双向确定性自动机所需的表示大小的成本问题，在1978年Sakoda和Sipser提出。尽管有各种尝试，但这个问题只在特定情况下得到了解答（例如，对模拟自动机类或被模拟自动机类进行限制）。然而，这个问题在一般情况下仍然未解决，已知的最佳上界是指数级。我们提出了一种新的方法，通过扩展双向确定性有限自动机，仅增加多项式大小，来模拟无限制的非确定性有限自动机。事实上，我们研究了将非确定性有限自动机转换为一些以线性时间工作的单带确定性图灵机的成本，即Hennie机器、重减约的图灵机和重减约的Hennie机器。所有这些变体都被认为具有相同的计算能力：它们刻画了正则语言类。
作者：Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Pr {u}v{s}a
论文ID：2103.05485
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-03-11