米查尔·霍斯波达尔;加琳娜·吉尔亚斯科娃;Mlynárčik，彼得 凸语言子类中的非确定性复杂性。 （英语） Zbl 1429.68118号 西奥。计算。科学。 787, 89-110 (2019). 摘要：我们研究了前缀、后缀、因子、无子字、闭、凸正则语言类和右、左、双边、全理想正则语言类上基本正则操作的非确定性状态复杂度。对于串联、交、并、反转、星和补运算，除了因子和子凸语言上的补运算外，我们得到了所有被考虑类的紧上界。我们的大多数目击者都是按最佳字母顺序描述的。本文最有趣的结果是，在满足互补上界（2^n）的五字母字母表上描述了一个适当的后缀凸语言，并获得了一元无前缀语言互补的渐近紧界（{Theta}（sqrt{n}）。 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：不确定有限自动机;描述复杂性;交叉;联盟;串联;克莱尼星号;倒转;互补;凸语言;自由语言;理想语言;封闭语言;操作状态复杂性 PDF格式BibTeX公司 XML格式引用 \textit{M.Hospodár}等人，Theor。计算。科学。787，89-110（2019年；Zbl 1429.68118） 全文： 内政部 参考文献： [1] Hromković，J.，《有限自动机的描述复杂性：概念和开放问题》，J.Autom。语言梳。，7, 519-531 (2002) ·Zbl 1094.68576号 [2] 高，Y。；莫雷拉，N。；Reis，R。；Yu，S.，《操作状态复杂性调查》，J.Autom。语言梳。，21, 4, 251-310 (2017) ·兹比尔1380.68253 [3] Yu，S.，《国家复杂性：近期结果和未决问题》，基金。通知。，64, 1-4, 471-480 (2005) ·Zbl 1102.68076号 [4] Maslov，A.N.，有限自动机状态数的估计，Sov。数学。，道克。，11, 1373-1375 (1970) ·Zbl 0222.94064号 [5] 霍尔泽，M。；Kutrib，M.，正则语言的非确定性描述复杂性，国际。J.发现。计算。科学。，14, 6, 1087-1102 (2003) ·Zbl 1101.68657号 [6] 于斯。；庄，Q。；Salomaa，K.，正则语言上一些基本操作的状态复杂性，Theoret。计算。科学。，125, 2, 315-328 (1994) ·Zbl 0795.68112号 [7] Dassow，J。；Stiebe，R.，无上下文语言上某些操作的非终端复杂性，基金会。通知。，83, 1-2, 35-49 (2008) ·Zbl 1147.68037号 [8] Pighizzini，G。；沙利特，J。；Wang，M.，Unary无上下文文法和下推自动机，描述复杂性和辅助空间下限，J.Compute。系统科学。，65,2393-414（2002年）·Zbl 1059.68068号 [9] M.O.拉宾。；Scott，D.，有限自动机及其决策问题，IBM研究发展杂志。，3, 114-125 (1959) ·Zbl 0158.25404号 [10] Yu Yershov。L.，关于V.a.Uspenskii的一个猜想，代数逻辑，145-48（1962），（俄语）·Zbl 0192.07904号 [11] Domaratzki，M.，比例去除的状态复杂性，J.Autom。语言梳。，7, 4, 455-468 (2002) ·Zbl 1095.68605号 [12] Cámpeanu，C。；萨洛马，K。；Yu，S.，正则语言洗牌状态复杂性的严格下限，J.Autom。语言梳。，7, 3, 303-310 (2002) ·Zbl 1033.68057号 [13] 吉尔拉斯科娃，G。；Okhotin，A.，循环移位的状态复杂性，ITA，42，2，335-360（2008）·Zbl 1144.68033号 [14] Han，Y.S。；萨洛马，K。；Wood，D.，无前缀正则语言基本操作的非确定性状态复杂性，基金会。通知。，90, 1-2, 93-106 (2009) ·Zbl 1161.68534号 [15] Han，Y.S。；Salomaa，K.，无后缀正则语言的非确定性状态复杂性，载于：[49]，2010年，第189-196页·Zbl 1455.68091号 [16] 克莫里克（Cmorik，R.）。；Jirásková，G.，《二进制无后缀语言的基本操作》（Kotásek，Z.；etal.，MEMICS 2011）。MEMICS 2011，LNCS，第7119卷（2011），Springer），94-102 [17] 吉尔拉斯科娃，G。；Krausová，M.，《无前缀正则语言的复杂性》，载于：[49]，2010年，第197-204页·Zbl 1455.68092号 [18] Brzozowski，J.A。；吉尔拉斯科娃，G。；李，B.，理想语言的商复杂性，理论。计算。科学。，470, 36-52 (2013) ·兹比尔1283.68190 [19] Brzozowski，J.A。；吉尔拉斯科娃，G。；邹，C.，封闭语言的商复杂性，理论计算。系统。，54, 2, 277-292 (2014) ·Zbl 1380.68249号 [20] Brzozowski，J。；吉拉斯科娃，G。；Li，B。；Smith，J.，《双歧、因子和无子字正则语言的商复杂性》，Acta Cybernet。，21, 4, 507-527 (2014) ·Zbl 1324.68055号 [21] Brzozowski，J.A.，凸语言的复杂性，（Dediu，A.；Fernau，H.；Martín-Vide，C.，LATA，2010）。LATA 2010，LNCS，第6031卷（2010），施普林格），1-15·Zbl 1284.68341号 [22] Brzozowski，J.A。；Sinnamon，C.，真前缀-凸正则语言的复杂性，收录于：[50]，2017年，第52-63页·Zbl 1429.68100号 [23] Brzozowski，J.A。；Liu，B.，无星语言的商复杂性，国际。J.发现。计算。科学。，23, 6, 1261-1276 (2012) ·Zbl 1272.68206号 [24] 吉尔拉斯科娃，G。；Masopus，T.，无工会正则语言的复杂性，国际。J.发现。计算。科学。，22, 7, 1639-1653 (2011) ·Zbl 1252.68148号 [25] Jirásková，G.，二进制正则语言上某些操作的状态复杂性，Theoret。计算。科学。，330, 2, 287-298 (2005) ·Zbl 1078.68088号 [26] 霍尔泽，M。；库特里布，M。；Meckel，K.，《无星语言的非确定性状态复杂性》，Theoret。计算。科学。，450, 68-80 (2012) ·Zbl 1278.68135号 [27] Sakoda，W.J。；Sipser，M.，《不确定性和双向有限自动机的大小》，（Lipton，R.J.；Burkhard，W.A.；Savitch，W.J.；Friedman，E.P.；Aho，A.V.，《第十届ACM计算理论研讨会论文集》，美国加利福尼亚州圣地亚哥，1978年5月1-3日（1978），ACM）， 275-286 ·Zbl 1282.68160号 [28] Birget，J.C.，词的偏序，正则语言的最小元素和状态复杂性，理论。计算。科学。，119, 2, 267-291 (1993) ·兹比尔0786.68071 [29] Birget，J.C.，正则语言和状态复杂性的交叉和联合，Inform。过程。莱特。，185-190年4月43日（1992年）·Zbl 0763.68048号 [30] Jirásková，G.，《关于最小自动机和统一通信协议的注释》（Martín-Vide，C。；Mitrana，V.，字符串处理的Grammars和自动机：从数学和计算机科学到生物学，以及Back：Gheorghe Paun的荣誉论文。字符串处理的语法和自动机：从数学和计算机科学到生物学及其后：Gheorghe Paun的论文，计算机数学专题，第9卷（2003），Taylor和Francis），163-170·Zbl 1103.68583号 [31] Hospodár，M。；吉尔拉斯科娃，G。；Mlynárčik，P.，《关于愚弄集作为非确定性复杂性下限有效工具的调查》，（Böckenhauer，H.；Komm，D。；Unger，W.，《下限与更高海拔之间的冒险——纪念尤拉吉·赫隆科维奇60岁生日的文章》。《在下限和更高高度之间的冒险——在尤拉吉·霍姆科维奇60岁生日之际献给他的论文》，《计算机科学讲稿》，第11011卷（2018年），斯普林格出版社，17-32·Zbl 1514.68103号 [32] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley·Zbl 0426.68001号 [33] Sipser，M.，《计算理论导论》（2012），《Cengage学习：Cengage Learning Boston》 [34] Yu，S.，正则语言，（Rozenberg，G.；Salomaa，A.，《形式语言手册》第一卷（1997），施普林格：施普林格-海德堡），41-110，第2章·Zbl 0866.68057号 [35] Glaister，I。；Shallit，J.，非确定性有限自动机大小的下限技术，Inform。过程。莱特。，59, 2, 75-77 (1996) ·Zbl 0900.68313号 [36] Hospodár，M。；吉尔拉斯科娃，G。；Mlynárčik，P.，《自由语言和凸语言上操作的非确定性复杂性》，载于：[50]，2017年，第138-150页·Zbl 1429.68117号 [37] 吉尔拉斯科娃，G。；Mlynárčik，P.，《无前缀、无后缀和非返回NFA语言的补语》（Jürgensen，H.；Karhumäki，J.；Okhotin，A.，DCFS 2014）。DCFS 2014，LNCS，第8614卷（2014），Springer），222-233·Zbl 1416.68099号 [38] Hospodár，M。；吉尔拉斯科娃，G。；Mlynárčik，P.，《封闭语言和理想语言上操作的非确定性复杂性》（Han，Y.S.；Salomaa，K.，CIAA 2016）。CIAA 2016，LNCS，第9705卷（2016），施普林格），125-137·Zbl 1475.68155号 [39] 高，J。；Rampersad，N。；Shallit，J.，关于所有状态都是最终状态、初始状态或两者都是的NFA，定理。计算。科学。，410, 47-49, 5010-5021 (2009) ·Zbl 1194.68140号 [40] Chrobak，M.，《有限自动机和一元语言》，Theoret。计算。科学。。理论。计算。科学。，理论。计算。科学。，302497-498（2003），勘误表： [41] To，A.W.，Unary有限自动机与算术级数，Inform。过程。莱特。，1091010-1014（2009年）·Zbl 1202.68241号 [42] 巴赫，E。；Shallit，J.，《算法数论》，第1卷：高效算法（1996），麻省理工学院出版社：麻萨诸塞州剑桥·Zbl 0873.11070号 [43] 吉尔拉斯科娃，G。；Olejár，P.，无后缀语言的交集和并集的状态复杂性和描述复杂性，（Bordihn，H.等，NCMA 2009，第256卷（2009），奥地利计算机学会），151-166 [44] 乔沃罗娃，K。；吉尔拉斯科娃，G。；Mlynárčik，P。；巴尔莫夫斯克，M。；Šebej，J.，《所有状态最终的自动机操作》，（埃西克，Z。；福尔öp，Z。，AFL 2014。AFL 2014，EPTCS，第151卷（2014）），201-215·Zbl 1464.68161号 [45] Mlynárčik，P.，《自由理想语言的补充》（DCFS 2015（2015）），185-196·Zbl 1432.68234号 [46] Haines，L.H.，《关于通过嵌入部分排序的自由幺半群》，J.Combin.理论，6，1，94-98（1969）·Zbl 0224.20065 [47] Bordihn，H。；霍尔泽，M。；Kutrib，M.，《有限自动机接受子语言的确定》，Theoret。计算。科学。，410, 3209-3222 (2009) ·Zbl 1173.68030号 [48] 萨洛马，K。；Yu，S.，任意字母上有限语言的NFA到DFA转换，J.Autom。语言梳。，2, 3, 177-186 (1997) ·Zbl 0897.68060号 [49] （McQuillan，I.；Pighizini，G.，DCFS 2010）。DCFS 2010，EPTCS，第31卷（2010）） [50] （Carayol，A。；Nicaud，C.，《自动化的实施和应用——第22届国际会议》，CIAA 2017，法国马内拉瓦莱，2017年6月27日至30日，会议记录。自动化的实施与应用——第22届国际会议，2017年CIAA，法国马内拉瓦莱，2017年6月27日至30日，计算机科学论文集，第10329卷（2017），施普林格）·Zbl 1365.68007号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。