×
玛丽亚·保拉·比安奇;朱拉吉·赫罗姆科维奇;伊万·科瓦奇

关于活性问题的双向合理自动机的大小。 （英语） Zbl 1387.68153号

发现的国际期刊。计算。科学。 187-211（2018）第2号第29页.
摘要：确定性和非确定性双向自动机之间存在着巨大的差距，这是自动机理论中最著名的开放问题之一。这个问题还与DLOG与NLOG的基本问题有关。到目前为止，双向不确定性自动机（2NFAS）的状态数与它们的确定性对应物（2DFAS）之间的指数差距仅在2DFAS的一些限制条件下得到了证明。似乎这个问题的困难在于，当试图证明下限时，我们必须考虑每一个可能的自动机，而不给状态强加任何特定的结构或含义，而在设计特定的自动机时，我们总是给状态指定一个明确的解释。为了捕捉状态意义的概念，一种新的双向自动机模型，即合理自动机（RA）被引入[第二作者等，Int.J.Found.Compute.Sci.24，No.7，955-978（2013；Zbl 1293.68188号)]. 在RA中，每个状态都与表示输入字某些属性的逻辑公式相关联，而转换是为了在该设置中保持一致性而设计的。在本文中，我们扩展了从[loc.cit.]开始的关于RAS解决活性问题的描述复杂性的研究，显示了用于描述单个状态含义的逻辑的几个上下限。

MSC公司：

65年第68季度 形式语言和自动机

关键词：

双向有限自动机;描述复杂性;不确定性vs.确定性

引文：

Zbl 1293.68188号
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bianchi}等人，国际期刊发现。计算。科学。29，第2号，187--211（2018；Zbl 1387.68153）
全文： 内政部

参考文献：

[1] Berman，P.，《清扫自动机注释》，载于ICALP，eds.de Bakker，J.和van Leeuwen，J.，第85卷（Springer，1980），第91-97页·Zbl 0479.68081号
[2] P.Berman和A.Lingas，《用有限自动机研究正则语言的复杂性》（波兰科学院计算机科学研究所技术报告，华沙，1977年）·Zbl 0364.68057号
[3] Chrobak，M.，有限自动机和一元语言，Theor。公司。《科学》第47（2）（1986）149-158页·Zbl 0638.68096号
[4] Geffert，V.，有限自动机状态层次中的幻数，Inform。计算205（11）（2007）1652-1670·Zbl 1130.68069号
[5] Geffert，V.，Mereghetti，C.和Pighizini，G.，将双向不确定一元自动机转换为更简单的自动机，Theor。公司。《科学》295（2003）189-203·Zbl 1045.68080号
[6] 《双向自动机的决定论与非决定论：用逻辑形式表示状态的意义》，国际期刊Found。计算。《科学》24（7）（2013）955-978·Zbl 1293.68188号
[7] Hromković，J.和Schnitger，G.，《双向有限自动机的非决定论与决定论：Sipser分离的推广》，载于ICALP，编辑Baeten，J.C.M.，Lenstra，J.K.，Parrow，J.与Woeginger，G.J.，第2719卷（Springer，2003），第439-451页·Zbl 1039.68068号
[8] Kapoutis，C.A.，《从非确定性有限自动机中移除双向性》，载于MFCS，编辑Jedrzehowicz，J.和Szepietowski，A.，第3618卷（Springer，2005），第544-555页·兹比尔1156.68456
[9] Kapoutis，C.A.，双向有限自动机的尺寸复杂性，收录于Proc。第十三届国际语言理论发展会议（DLT，2009），第5583卷（Springer-Verlag，2009）第47-66页·兹比尔1247.68146
[10] Kapoutsis，C.A.，非决定论在几乎没有反转的小型双向有限自动机中是必不可少的，Inform。计算222（2013）208-227·Zbl 1267.68135号
[11] Kapoutis，C.A.、Králović，R.和Mömke，T.，旋转和扫掠自动机的尺寸复杂性，J.Compute。系统。科学78（2）（2012）537-558·Zbl 1242.68146号
[12] Kolodin，A.N.，双向非确定性自动机，Cybernet。系统。分析10（5）（1972）778-785。
[13] O.Lupanov，两类有限自动机的比较，Problemy Kibernet9（1963）321-326（俄语）；德文翻译：U ber den Vergleich zweier Typen endlicher Quellen，Probleme der Kybernetik6(1966) 329-335. ·Zbl 0168.25902号
[14] Micali，S.，双向确定性有限自动机比扫描自动机Inf.Process更简洁。Lett.12（1981）103-105·Zbl 0471.68039号
[15] Moore，F.R.，《确定性、非确定性和双向有限自动机等价性证明中状态集大小的界》，计算。IEEE传输。C-20（10）（1971），第1211-1214页·Zbl 0229.94033号
[16] Rabin，M.O.和Scott，D.，《有限自动机及其决策问题》，IBM J.Res.Dev.3（2）（1959）114-125·Zbl 0158.25404号
[17] Sakoda，W.J.和Sipser，M.，《不确定性和双向有限自动机的大小》，摘自Proc。第十届ACM计算机理论年会（STOC，1978）（纽约，ACM出版社，1978），第275-286页·Zbl 1282.68160号
[18] Sipser，M.，清扫自动机大小的下限，J.Compute。系统。科学21（1980）195-202·Zbl 0445.68064号
[19] R.Štefanec，语义受限双向自动机，博士论文（布拉迪斯拉发夸美纽斯大学，2014）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。