×
维利亚姆·格弗特；克里斯托斯·卡波提斯。；穆罕默德·扎克佐克

双向交替自动机的补码。 （英语） Zbl 1528.68184号

学报信息。 58，第5期，463-495（2021）.
摘要：我们考虑将具有（n）状态的双向交替有限自动机（（mathsf{2AFA}）转换为接受其语言补码的（mathsf{2AFA{）的问题。互补对于停顿\通过交换存在决定和普遍决定的角色以及接受和拒绝状态的角色。然而，由于\（\mathsf｛2AFA｝\）没有资源通过计数执行的步骤来检测无限循环，因此在一般情况下，不知道补码的代价是否是\（n \）中的多项式。在这里，我们将证明，可以通过使用\（O（n^7）\）状态来补充\（mathsf{2AFAs}\）。

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}等人，《学报》第58期，第5期，第463--495页（2021年；Zbl 1528.68184）
全文： 内政部

参考文献：

[1] 阿霍，AV；JE霍普克罗夫特；Ullman，JD，《计算机算法的设计与分析》（1976），马萨诸塞州波士顿：Addison-Wesley·Zbl 0326.68005号
[2] 伯曼，L。；Chang，JH；俄亥俄州伊巴拉；Ravikumar，B.，《关于使用小空间的交替图灵机的一些观察》，Inf.Process。莱特。，25, 1-9 (1987) ·Zbl 0635.68040号 ·doi:10.1016/0020-0190（87）90085-8
[3] Birget，J-C，单词的偏序，正则语言的最小元素，状态复杂性，Theor。计算。科学。，119, 267-91 (1993) ·Zbl 0786.68071号 ·doi:10.1016/0304-3975（93）90160-U
[4] 女婴，DP；Crescenzi，P.，《复杂性理论导论》（1994），新泽西州上鞍河：普伦蒂斯·霍尔，上鞍河，新泽西·Zbl 0809.68067号
[5] Brassard，G。；Bratley，P.，《算法基础》（1996），新泽西州上鞍河：新泽西州上鞍河普伦蒂斯·霍尔·兹伯利0847.68046
[6] 阿拉斯加州钱德拉；Kozen，DC；Stockmeyer，LJ，Alternation，J.协会计算。机器。，28, 114-33 (1981) ·Zbl 0473.68043号 ·数字对象标识代码：10.1145/322234.32243
[7] Geffert，V.，没有磁带压缩的加速定理，Theor。计算。科学。，118, 49-65 (1993) ·Zbl 0796.68087号 ·文件编号：10.1016/0304-3975（93）90362-W
[8] Geffert，V.，有限自动机的交替层次结构，Theor。计算。科学。，445, 1-24 (2012) ·Zbl 1255.68095号 ·doi:10.1016/j.tcs.2012.04.044
[9] Geffert，V.：双向交替自动机的补充。收录于：《俄罗斯计算机科学理论与应用论文集》，《计算机科学讲义》，第10846卷，第132-44页。施普林格（2018）·Zbl 1484.68086号
[10] Geffert，V。；梅雷盖蒂，C。；Pighizini，G.，《互补双向有限自动机》，Inf.Comput。，205, 1173-87 (2007) ·Zbl 1121.68063号 ·doi:10.1016/j.ic.2007.01.008
[11] Geffert，V.，Okhotin，A.：将双向交替有限自动机转换为单向非确定性自动机。摘自：计算机科学数学基础论文集第一部分，计算机科学课堂讲稿，第8634卷，第291-302页。斯普林格（2014）·Zbl 1425.68200号
[12] 霍普克罗夫特，J。；Motwani，R。；Ullman，J.，《自动化理论、语言和计算导论》（2001），马萨诸塞州波士顿：Addison-Wesley·Zbl 0980.68066号
[13] Immerman，N.，非确定性空间在互补下闭合，SIAM J.Compute。，17, 935-38 (1988) ·Zbl 0668.68056号 ·doi:10.1137/0217058
[14] Kapoutis，Ch.A.：双向有限自动机的尺寸复杂性。摘自：《语言理论发展论文集》，《计算机科学讲义》，第5583卷，第47-66页。施普林格（2009）·Zbl 1247.68146号
[15] Kapountis，Ch.A.：微型复杂性。J.汽车。语言组合17，205-24（2012）·Zbl 1322.68123号
[16] Kunc，M.，Okhotin，A.：图形行走自动机中计算的可逆性。摘自：《计算机科学数学基础论文集》，《计算机科学讲义》，第8087卷，第595-606页。施普林格（2013）·Zbl 1398.68317号
[17] 雷德纳，RE；利普顿，RJ；LJ，Stockmeyer，交替下推和堆栈自动机，SIAM J.Compute。，13, 135-55 (1984) ·Zbl 0538.68039号 ·数字对象标识代码：10.1137/0213010
[18] 李希基维奇，M。；Reischuk，R。；赫马斯潘德拉。；Selman，A.，《亚对数空间的计算》，复杂性理论回顾II（1997），柏林：斯普林格出版社，柏林·Zbl 0880.68043号
[19] Papadimitriou，Ch.H.：计算复杂性。Addison-Wesley，马萨诸塞州波士顿（1994）·Zbl 0833.68049号
[20] Sakoda，W.，Sipser，M.：非决定论与双向有限自动机的大小。摘自：ACM计算机理论研讨会论文集，第275-86页（1978年）·Zbl 1282.68160号
[21] Sipser，M.，《停止空间有界计算》，Theor。计算。科学。，335-38年10月（1980年）·Zbl 0423.68011号 ·doi:10.1016/0304-3975（80）90053-5
[22] Sipser，M.，《计算理论导论》（2006），马萨诸塞州波士顿：汤姆森课程技术，马萨诸塞州波士顿·Zbl 1191.68311号
[23] Szelepcsényi，R.，非确定性自动机的强制枚举方法，信息学报。，26, 279-84 (1988) ·Zbl 0638.68046号 ·doi:10.1007/BF002999636
[24] Szepietowski，A.，《亚对数空间的图灵机》。计算机科学讲稿（1994），柏林：施普林格，柏林·Zbl 0998.68062号 ·doi:10.1007/3-540-58355-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。