×
Janusz A.Brzozowski。;Szykuła，马雷克

无后缀正则语言的复杂性。 （英语） Zbl 1372.68155号

J.计算。系统。科学。 89, 270-287 (2017).
摘要：我们研究了无后缀正则语言的各种复杂性特性。某类中正则语言的序列（（L_k，L_{k+1}，\ldots），其中（n）是（L_n）的商复杂性，为最复杂的如果其语言（L_n）满足所有基本度量的复杂性上界。众所周知，在几类正则语言中存在这样最复杂的序列。与此相反，我们证明了在无后缀正则语言类中不存在最复杂的序列。然而，我们确实展示了两个这样的序列，它们一起满足所有基本度量的上界。

引用于1审查
引用于2文件

MSC公司：

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

关键词：

最复杂的;常规语言;状态复杂性;无后缀;句法复杂性;过渡半群
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Brzozowski}和\textit{M.SzykułA}，J.Compute。系统。科学。89、270--287（2017年；Zbl 1372.68155）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Ang，T。；Brzozowski，J.A.，《关于二元关系的凸语言及其闭包性质》，《计算机学报》。，19, 445-464 (2009) ·Zbl 1199.68168号
[2] 贝尔·J。；Brzozowski，J.A。；莫雷拉，N。；Reis，R.，《布尔运算的对称群和商复杂性》（Esparza，J.；等，ICALP 2014）。ICALP 2014，勒克特。注释计算。科学。，第8573卷（2014），施普林格），1-12·Zbl 1409.68151号
[3] 伯斯特尔，J。；佩林，D。；Reutenauer，C.，《代码与自动化》（2009），剑桥大学出版社
[4] Brzozowski，J.A.，凸语言中的复杂性，（Dediu，A.；Fernau，H.；Martin-Vide，C.，LATA，2010）。LATA 2010年，Lect。注释计算。科学。，第6031卷（2010），施普林格），1-15·Zbl 1284.68341号
[5] Brzozowski，J.A.，正则语言的商复杂性，J.Autom。语言梳。，15, 71-89 (2010) ·Zbl 1345.68200号
[6] Brzozowski，J.A.，《寻找最复杂的正则语言》，Int.J.Found。计算。科学。，24, 691-708 (2013) ·Zbl 1410.68199号
[7] Brzozowski，J.A.，正则语言上二进制操作的无限制状态复杂性，（Cámpeanu，F.M.C.；Shallit，J.，DCFS 2016。2016年DCFS，Lect。注释计算。科学。，第9777卷（2016），《施普林格：柏林施普林格》，海德堡），60-72，修订版见·Zbl 1476.68126号
[8] Brzozowski，J.A。；Davies，G.，《最复杂的正则右理想》（Jürgensen，H.等，DCFS.DCFS，Lect.Notes Compute Sci.，第8614卷（2014），Springer），第90-101页·兹比尔1400.68128
[9] Brzozowski，J.A。；Davies，S.，正则理想语言中原子的商复杂性，网络学报。，22, 293-311 (2015) ·兹比尔1349.68122
[10] Brzozowski，J.A。；戴维斯，S。；Liu，B.Y.V.，《最复杂的正则理想语言》，《离散数学》。西奥。计算。科学。，18, 3 (2016) ·Zbl 1401.68214号
[11] Brzozowski，J.A。；吉尔拉斯科娃，G。；李，B。；Smith，J.，《双变量、因子和子无序正则语言的商复杂性》，《计算机学报》。，21, 507-527 (2014) ·Zbl 1324.68055号
[12] Brzozowski，J.A.（Brzozowski，J.A.）。；李，B。；Ye，Y.，前缀-、后缀-、双缀-和无因子正则语言的语法复杂性，Theor。计算。科学。，449, 37-53 (2012) ·Zbl 1280.68108号
[13] Brzozowski，J.A。；Liu，B.，《无星语言的商复杂性》，国际期刊发现。计算。科学。，23, 1261-1276 (2012) ·Zbl 1272.68206号
[14] Brzozowski，J.A。；Sinnamon，C.，《左旋、后缀封闭和无后缀正则语言的复杂性》，（Drewes，F.；Martín-Vide，C.；Truthe，B.，LATA 2017。2017年LATA，Lect。注释计算。科学。，第10168卷（2017），施普林格），171-182，全文·Zbl 1485.68138号
[15] Brzozowski，J.A。；Sinnamon，C.，前缀-凸正则语言的复杂性（2016）
[16] Brzozowski，J.A。；Sinnamon，C.，《正则语言和理想语言上二进制操作的无限制状态复杂性》（2016），发表于J.Atom。语言梳。也位于
[17] Brzozowski，J.A。；Sinnamon，C.，《右处理、前缀封闭和无前缀正则语言的复杂性》，《网络学报》。，23, 1, 9-41 (2017) ·Zbl 1389.68040号
[18] Brzozowski，J.A.（Brzozowski，J.A.）。；Szykuła，M.，左理想和双边理想句法复杂性的上限，（Shur，a.M.；Volkov，M.V.，DLT 2014。DLT 2014，法律。注释计算。科学。，第8633卷（2014），Springer），13-24，全文·兹比尔1425.68185
[19] Brzozowski，J.A。；Szykuła，M.，无后缀正则语言的复杂性，（Kosowski，a.；Walukiewicz，I.，FCT 2015）。2015年FCT，Lect。注释计算。科学。，第9210卷（2015），施普林格），146-159·Zbl 1434.68239号
[20] Brzozowski，J.A。；Szykuła，M.，无后缀语言句法复杂性的上限，（Okhotin，a.；Shallit，J.，DCFS 2015。2015年DCFS，Lect。注释计算。科学。，第9118卷（2015年），Springer），33-45，全文发表于Inform。计算。也位于·兹比尔1390.68381
[21] Brzozowski，J.A。；Tamm，H.，《原子理论》，Theor。计算。科学。，539, 13-27 (2014) ·Zbl 1359.68160号
[22] Brzozowski，J.A。；Ye，Y.，理想语言和封闭语言的句法复杂性，（Mauri，G.；Leporati，A.，DLT.DLT，Lect.Notes Compute.Sci.，vol.6795（2011），Springer），117-128·Zbl 1221.68118号
[24] 克罗西莫尔，M。；Hancart，C.，模式匹配自动机，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第2卷（1997），Springer），399-462
[25] Han，Y.S。；Salomaa，K.，《有限语言并与交的状态复杂性》，国际期刊，Found。计算。科学。，19, 581-595 (2008) ·Zbl 1155.68037号
[26] Han，Y.S。；Salomaa，K.，无后缀正则语言基本操作的状态复杂性，Theor。计算。科学。，410, 2537-2548 (2009) ·Zbl 1172.68033号
[27] 霍尔泽，M。；König，B.，《关于确定性有限自动机和语法幺半群大小》，Theor。计算。科学。，327, 319-347 (2004) ·Zbl 1161.68536号
[28] 霍尔泽，M。；Kutrib，M.，有限自动机的描述和计算复杂性——一项调查，Inf.Comput。，209, 456-470 (2011) ·Zbl 1217.68130号
[29] Iván，S.，原子的复杂性，组合学，信息过程。莱特。，116, 356-360 (2016) ·Zbl 1352.68130号
[30] 吉尔拉斯科娃，G。；Olejár，P.，无二进制后缀语言并集和交集的国家复杂性，（Bordihn，H.；et al.，NMCA（2009），奥地利计算机学会），151-166
[31] Krawetz，B。；劳伦斯，J。；Shallit，J.，有限集的状态复杂性和变换的幺半群，（Domaratzki，M.；Okhotin，a.；Salomaa，K.；Yu，S.，《自动机的实现和应用程序》，（CIAA）。自动化实现与应用程序，（CIAA），Lect。注释计算。科学。，第3317卷（2005），施普林格），213-224·Zbl 1115.68443号
[32] Leis，E.，布尔自动机对正则语言的简洁表示，Theor。计算。科学。，13, 323-330 (2009) ·Zbl 0458.68017号
[33] Maslov，A.N.，有限自动机状态数的估计，Dokl。阿卡德。Nauk SSSR公司。多克。阿卡德。Nauk SSSR，苏联。数学。道克。，11373-1375年（1970年），（俄语）。英文翻译：·Zbl 0222.94064号
[34] Pin，J.E.，句法半群，（形式语言手册，第1卷：单词，语言，语法（1997），Springer:Springer New York，NY，USA），679-746
[35] Thierrin，G.，凸集语言，（Nivat，M.，Automata，语言与编程（1973），北荷兰），481-492·Zbl 0264.68030号
[36] Yu，S.，正则语言的状态复杂性，J.Autom。语言梳。，6, 221-234 (2001) ·Zbl 0978.68087号
[37] 于斯。；庄，Q。；Salomaa，K.，正则语言上一些基本操作的状态复杂性，Theor。计算。科学。，125, 315-328 (1994) ·Zbl 0795.68112号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。