亚历山大·奥霍金;朴晓雪;凯·萨洛马 输入驱动下推自动机的描述复杂性。 （英语） Zbl 1367.68176号 Bordihn，Henning（编辑）等人，《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-31643-2/pbk）。计算机科学讲义7300186-206（2012）。 摘要：众所周知，非确定性输入驱动下推自动机（IDPDA）是可以确定的。R.Alur公司和P.马都苏丹[J.ACM 56，第3号，第16条，第43页（2009年；兹比尔1325.68138)]结果表明，在最坏的情况下，模拟具有（n）状态和堆栈符号的非确定性IDPDA的确定性IDPDA可能需要（2^{Omega（n^2）}状态。在构造过程中，等效的确定性IDPDA实际上不需要使用堆栈。本文更详细地考虑了确定性的大小放大，并给出了一个关于状态数和堆栈符号数的非确定性自动机大小的下界构造，该构造在乘法常数内是紧的。本文还综述了IDPDA操作状态复杂性的最新结果，以及将不确定自动机转换为明确自动机以及将明确自动机转换成确定自动机的成本。关于整个系列，请参见[Zbl 1248.68027号]. 引用于三文件 MSC公司： 第68季度第45季度 形式语言和自动机 关键词：描述复杂性;状态复杂性;不确定性;输入驱动下推 引文：Zbl 1325.68138号 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}等人，Lect。注释计算。科学。7300、186--206（2012；Zbl 1367.68176） 全文： 内政部 参考文献： [1] Alur，R.，Kumar，V.，Madhusudan，P.，Viswanathan，M.：可视下推语言的同余。收录人：Caires，L.、Italiano，G.F.、Monteiro，L.，Palamidessi，C.、Yung，M.（编辑）ICALP 2005。LNCS，第3580卷，第1102-1114页。斯普林格，海德堡（2005）·Zbl 1085.68079号 ·doi:10.1007/11523468_89 [2] Alur，R.，Madhusudan，P.：明显的下推语言。摘自：美国计算机学会计算机理论研讨会论文集，STOC 2004，美国芝加哥，第202-211页（2004）·Zbl 1192.68396号 ·数字对象标识代码：10.1145/1007352.1007390 [3] Alur，R.，Madhusudan，P.：为单词添加嵌套结构。J.协会计算。机器。56(3) (2009) ·Zbl 1325.68138号 ·doi:10.1145/1516512.1516518 [4] Arenas，M.、Barceló，P.、Libkin，L.：嵌套词的正则语言：定点、自动机和同步。收录：Arge，L.，Cachin，C.，Jurdziánski，T.，Tarlecki，A.（编辑）ICALP 2007。LNCS，第4596卷，第888-900页。斯普林格，海德堡（2007）·Zbl 1171.68521号 ·doi:10.1007/978-3-540-73420-8_76 [5] Birget，J.-C.：正则语言和状态复杂性的交集和联合。通知。过程。莱特。 43, 185–190 (1992) ·Zbl 0763.68048号 ·doi:10.1016/0020-0190（92）90198-5 [6] Birget，J.-C.：单词的偏序、正则语言的最小元素和状态复杂性。理论。计算。科学。 119, 267–291 (1993) ·兹比尔0786.68071 ·doi:10.1016/0304-3975（93）90160-U [7] Bollig，B.：关于2栈可视下推自动机的表达能力。计算机科学中的逻辑方法4（4），论文16（2008）·Zbl 1161.68023号 [8] von Braunmühl，B.，Verbeek，R.：输入驱动语言在logn空间中被识别。收录：Karpinski，M.（编辑）FCT 1983。LNCS，第158卷，第40-51页。斯普林格，海德堡（1983）·兹伯利0549.68082 ·doi:10.1007/3-540-12689-992 [9] von Braunmühl，B.，Verbeek，R.：输入驱动语言在logn空间中被识别。北荷兰数学研究102，1-19（1985）·Zbl 0555.68046号 ·doi:10.1016/S0304-0208（08）73072-X [10] Carotenuto，D.，Murano，A.，Peron，A.：2-可见下推自动机。收录：Harju，T.、Karhumäki，J.、Lepistö，A.（编辑）DLT 2007。LNCS，第4588卷，第132-144页。斯普林格，海德堡（2007）·Zbl 1202.68222号 ·doi:10.1007/978-3-540-73208-215 [11] Chervet，P.，Walukiewicz，I.：最小化可视下推自动机的变体。收录于：Kučera，L.，Kućera（编辑）MFCS 2007。LNCS，第4708卷，第135–146页。斯普林格，海德堡（2007）·Zbl 1147.68555号 ·doi:10.1007/978-3-540-74456-6_14 [12] Chrobak，M.：有限自动机和一元语言。理论。计算。科学。47、149–158（1986），勘误表302、497–498（2003）·兹伯利0638.68096 ·doi:10.1016/0304-3975（86）90142-8 [13] Dassow，J.，Stiebe，R.：无上下文语言上某些操作的非终端复杂性。芬丹。通知。 83, 35–49 (2008) ·Zbl 1147.68037号 [14] Domaratzki，M.，Pighizzini，G.，Shallit，J.：用无上下文文法模拟有限自动机。通知。程序。莱特。 84, 339–344 (2002) ·Zbl 1042.68060号 ·doi:10.1016/S0020-0190（02）00316-2 [15] Dymond，P.：输入驱动语言的深度很深。通知。过程。莱特。 26, 247–250 (1988) ·doi:10.1016/0020-0190（88）90148-2 [16] Engelfriet，J.、Rozenberg，G.、Slutzki，G.：树传感器、L系统和双向机器。J.计算。系统科学。20，150–202（1980年）·Zbl 0426.68075号 ·doi:10.1016/0022-0000（80）90058-6 [17] Gauwin，O.，Niehren，J.，Roos，Y.：流树自动机。通知。程序。莱特。 109, 13–17 (2008) ·Zbl 1191.68241号 ·doi:10.1016/j.ipl.2008.08.002 [18] Glaister，I.，Shallit，J.：非确定性有限自动机大小的下限技术。通知。过程。莱特。59，75–77（1996年）·Zbl 0900.68313号 ·doi:10.1016/0020-0190（96）00095-6 [19] Gruska，J.：无上下文语言的描述复杂性。摘自：《计算机科学数学基础》（MFCS 1973），StrbskéPleso，High Tatras，捷克斯洛伐克，9月3-8日，第71-83页（1973） [20] Han，Y.S.，Salomaa，K.：嵌套词自动机的非确定性状态复杂性。理论。计算。科学。 410, 2961–2971 (2009) ·Zbl 1173.68034号 ·doi:10.1016/j.tcs.2009.01.004 [21] Hartmanis，J.：关于语言不同表现形式的简洁性。SIAM J.计算。 9, 114–120 (1980) ·Zbl 0453.68054号 ·数字对象标识代码：10.1137/0209010 [22] Holzer，M.，Kutrib，M.：正则语言的非确定性描述复杂性。国际。J.计算基础。科学。 14, 1087–1102 (2003) ·Zbl 1101.68657号 ·doi:10.1142/S0129054103002109 [23] Holzer，M.，Kutrib，M.：非确定性有限自动机——描述和计算复杂性的最新结果。收录人：Ibarra，O.H.，Ravikumar，B.（编辑）CIAA 2008。LNCS，第5148卷，第1-16页。斯普林格，海德堡（2008）·Zbl 1172.68511号 ·doi:10.1007/978-3-540-70844-5_1 [24] Holzer，M.，Kutrib，M.：有限自动机的描述和计算复杂性——综述。Inf.计算。 209, 456–470 (2011) ·兹比尔1217.68130 ·doi:10.1016/j.ic.2010.11.013 [25] Jirásková，G.，Okhotin，A.：关于双向有限自动机操作的状态复杂性。收录：伊藤，M.，富山，M.（编辑）DLT 2008。LNCS，第5257卷，第443-454页。斯普林格，海德堡（2008）·Zbl 1161.68540号 ·doi:10.1007/978-3-540-85780-8_35 [26] Kamimura，T.，Slutzki，G.：有向有序非循环图上的并行和双向自动机。通知。对照49，10–51（1981）·Zbl 0482.68051号 ·doi:10.1016/S0019-9958（81）90438-1 [27] 卡波提斯，C.A.：从非确定性有限自动机中移除双向性。收录：Jedrzejowicz，J.，Szepietowski，A.（编辑）MFCS 2005。LNCS，第3618卷，第544-555页。斯普林格，海德堡（2005）·Zbl 1156.68456号 ·doi:10.1007/1154945_47 [28] Kunc，M.，Okhotin，A.：用变换半群描述双向确定性有限自动机中的周期性。收录：Mauri，G.，Leporati，A.（编辑）DLT 2011。LNCS，第6795卷，第324–336页。斯普林格，海德堡（2011）·Zbl 1221.68157号 ·doi:10.1007/978-3-642-22321-1_28 [29] Kunc，M.，Okhotin，A.：一元字母表上双向确定性有限自动机操作的状态复杂性。摘自：Holzer，M.（编辑）DCFS 2011。LNCS，第6808卷，第222-234页。斯普林格，海德堡（2011）·Zbl 1341.68099号 ·doi:10.1007/978-3642-22600-718 [30] La Torre，S.，Madhusudan，P.，Parlato，G.：一类强大的上下文敏感语言。摘自：第22届IEEE计算机科学逻辑研讨会论文集，LICS，第161-170页。IEEE计算机学会出版社（2007）·doi:10.1109/LICS.2007.9 [31] La Torre，S.、Madhusudan，P.、Parlato，G.：张贴在，http://www.cs.uicu.edu/madhu/vpa/防错-CMP07.html [32] Leis，E.L.：布尔自动机对正则语言的简洁表示。理论。计算。科学。 13, 323–330 (1981) ·Zbl 0458.68017号 ·doi:10.1016/S0304-3975（81）80005-9 [33] Leung，H.：不同模糊度NFA的描述复杂性。国际。J.基础计算。科学。 16(5), 975–984 (2005) ·Zbl 1090.68059号 ·doi:10.1142/S01290541055003418 [34] 卢帕诺夫：两种有限自动机的比较。Problemy Kibernetiki 9，321–326（1963）（俄语） [35] Madhusudan，P.，Parlato，G.：辅助仓库的树宽。In：程序。第38届ACM编程语言原理研讨会，2011年POPL，第283-294页（2011）·兹比尔1284.68358 ·doi:10.145/1926385.1926419 [36] Maslov，A.N.：有限自动机状态数的估计。苏联数学Doklady 11，1373–1375（1970）·Zbl 0222.94064号 [37] Mehlhorn，K.：卵石山脉及其在DCFL识别中的应用。收录人：de Bakker，J.W.，van Leeuwen，J.（编辑）ICALP 1980。LNCS，第85卷，第422-435页。施普林格，海德堡（1980）·Zbl 0445.68033号 ·doi:10.1007/3-540-10003-2_89 [38] Mereghetti，C.，Pighizzini，G.：一元自动机之间的最佳模拟。SIAM J.计算。 30(6), 1976–1992 (2001) ·Zbl 0980.68048号 ·doi:10.1137/S009753979935431X [39] Neumann，A.，Seidl，H.：森林树木模式匹配定位。收录：Arvind，V.，Sarukkai，S.（编辑）FST TCS 1998。LNCS，第1530卷，第134-146页。斯普林格，海德堡（1998）·doi:10.1007/978-3-540-49382-2_12 [40] Nowotka，D.，Srba，J.：高度确定下推自动机。收录于：Kučera，L.，Kućera（编辑）MFCS 2007。LNCS，第4708卷，第125-134页。斯普林格，海德堡（2007）·Zbl 1147.68562号 ·doi:10.1007/978-3-540-74456-6_13 [41] Okhotin，A.：一元字母表上的无歧义有限自动机。收录于：Hliněn，P.，Kučera，A.（编辑）MFCS 2010。LNCS，第6281卷，第556–567页。斯普林格，海德堡（2010）·Zbl 1287.68098号 ·doi:10.1007/978-3642-15155-249 [42] Okhotin，A.：一元字母表上的无歧义有限自动机。通知。和计算（待显示）·Zbl 1287.68098号 ·doi:10.1007/978-3642-15155-249 [43] Okhotin，A.：比较线性连接语言和上下文无关语言的子族。收录于：乔纳，I.，吉莫西，T.，霍姆科维奇，J.，杰弗里，K.，克拉洛维奇，R.，武科利奇，M.，沃尔夫，S.（编辑）SOFSEM 2011。LNCS，第6543卷，第431–443页。施普林格，海德堡（2011）·Zbl 1298.68153号 ·doi:10.1007/978-3642-18381-2_36 [44] Okhotin，A.，Salomaa，K.：无歧义嵌套词自动机的描述复杂性。收录：Dediu，A.-H.，Inenaga，S.，Martín-Vide，C.（编辑）LATA 2011。LNCS，第6638卷，第414-426页。斯普林格，海德堡（2011）·兹比尔1330.68172 ·doi:10.1007/978-3-642-21254-333 [45] Okhotin，A.，Salomaa，K.：输入驱动下推自动机操作的状态复杂性。收录：Murlak，F.，Sankowski，P.（编辑）MFCS 2011。LNCS，第6907卷，第485-496页。斯普林格，海德堡（2011）·Zbl 1343.68147号 ·doi:10.1007/978-3-642-22993-044 [46] Piao，X.，Salomaa，K.：嵌套词自动机的操作状态复杂性。理论。计算。科学。 410, 3290–3302 (2009) ·Zbl 1176.68108号 ·doi:10.1016/j.tcs.2009.05.002 [47] Rabin，M.O.，Scott，D.：有限自动机及其决策问题。IBM研究与开发杂志3114–125（1959）·Zbl 0158.25404号 ·doi:10.1147/rd.32.0114 [48] Rozenberg，G.，Salomaa，A.（编辑）：《形式语言手册》，第一卷至第三卷。施普林格（1997）·Zbl 0866.68057号 [49] Rytter，W.：Mehlhorn括号语言算法在输入驱动语言的logn空间识别中的应用。通知。过程。莱特。 23, 81–84 (1986) ·Zbl 0596.68045号 ·doi:10.1016/0020-0190（86）90047-5 [50] Salomaa，K.：确定性嵌套词自动机下限方法的局限性。通知。计算209580-589（2011年）·Zbl 1230.68136号 ·doi:10.1016/j.ic.2010.11.021 [51] Schmidt，E.M.：《无语境、规则和无歧义语言描述的简洁性》，博士论文。康奈尔大学（1978） [52] Shallit，J.：形式语言和自动机理论的第二门课程。剑桥大学出版社（2009）·Zbl 1163.68025号 [53] Yu，S.：常规语言。收录于：[48]，第一卷，第41–110页·doi:10.1007/978-3-642-59136-52 [54] Yu，S.，Zhuang，Q.，Salomaa，K.：正则语言上一些基本操作的状态复杂性。理论。计算。科学。 125, 315–328 (1994) ·Zbl 0795.68112号 ·doi:10.1016/0304-3975（92）00011-F 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。