×

左旋、后缀封闭和无后缀正则语言的复杂性。 (英语) Zbl 1485.68138号

Drewes,Frank(编辑)等人,《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10168, 171-182 (2017).
摘要:如果对于任何单词(x,y,z\in\varSigma^*\),只要(z)和(xyz)在\(L)中,那么字母表\(varSigma \)上的语言\(L \)就是后缀凸的,那么(yz \)也是后缀凸的。后缀凸语言包括三种特殊情况:左理想、后缀闭和无后缀语言。我们研究了这三类特殊的后缀凸正则语言的复杂性。特别地,我们研究了这些语言上布尔运算、乘积(串联)、星形和反转的商/状态复杂度,以及它们的语法半群的大小,以及它们原子的商复杂度。
关于整个系列,请参见[Zbl 1358.68010号].

MSC公司:

65年第68季度 形式语言和自动机
20立方米 自动机理论、语言学等中的半群。
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ang,T.,Brzozowski,J.A.:关于二元关系的凸语言及其闭包性质。演员赛本。19(2), 445–464 (2009) ·Zbl 1199.68168号
[2] Berstel,J.,Perrin,D.,Reutenauer,C.:代码和自动机(数学及其应用百科全书)。剑桥大学出版社,剑桥(2010)·Zbl 1187.94001号
[3] Brzozowski,J.A.:正则语言的商复杂性。J.自动化。语言梳。15(1/2), 71–89 (2010) ·Zbl 1345.68200号
[4] Brzozowski,J.A.:寻找最复杂的正则语言。发现的国际期刊。计算。科学。24(6), 691–708 (2013) ·Zbl 1410.68199号 ·doi:10.11142/S0129054113400313
[5] Brzozowski,J.:正则语言上二进制操作的无限制状态复杂性。在:Câmpeanu,C.,Manea,F.,Shallit,J.(编辑)DCFS 2016。LNCS,第9777卷,第60-72页。斯普林格,海德堡(2016)。doi:10.1007/978-3-319-41114-95·Zbl 1476.68126号 ·doi:10.1007/978-3-319-41114-95
[6] Brzozowski,J.A.,Davies,S.:正则理想语言中原子的商复杂性。演员赛本。22(2), 293–311 (2015) ·Zbl 1349.68122号 ·doi:10.14232/actacycb.22.2015.4年
[7] Brzozowski,J.A.,Davies,S.,Liu,B.Y.V.:最复杂的正则理想语言。离散数学。理论。计算。科学。18(3) (2016). 纸张#5·Zbl 1401.68214号
[8] Brzozowski,J.A.,Jirásková,G.,Li,B.:理想语言的商复杂性。理论。计算。科学。470, 36–52 (2013) ·Zbl 1283.68190号 ·doi:10.1016/j.tcs.2012.120.055
[9] Brzozowski,J.A.,Jirásková,G.,Zou,C.:封闭语言的商复杂性。理论计算。系统。54, 277–292 (2014) ·Zbl 1380.68249号 ·doi:10.1007/s00224-013-9515-7
[10] Brzozowski,J.A.、Li,B.、Ye,Y.:前缀-、后缀-、双缀-和无因子正则语言的句法复杂性。理论。计算。科学。449, 37–53 (2012) ·Zbl 1280.68108号 ·doi:10.1016/j.tcs.2012.04.011
[11] Brzozowski,J.A.,Sinnamon,C.:左旋、后缀封闭和无后缀正则语言的复杂性(2016)。http://arxiv.org/abs/1610.00728 ·Zbl 1485.68138号
[12] Brzozowski,J.A.,Sinnamon,C.:正则和理想语言上二进制运算的无限制状态复杂性(2016)。http://arxiv.org/abs/1609.04439 ·Zbl 1390.68379号
[13] Brzozowski,J.,Szykuła,M.:左理想和双边理想句法复杂性的上界。收录:Shur,A.M.,Volkov,M.V.(编辑)DLT 2014。LNCS,第8633卷,第13-24页。斯普林格,海德堡(2014)。doi:10.1007/978-3-319-09698-82·Zbl 1425.68185号 ·doi:10.1007/978-3-319-09698-82
[14] Brzozowski,J.,Szykuła,M.:无后缀正则语言的复杂性。收录:Kosowski,A.,Walukiewicz,I.(编辑)FCT 2015。LNCS,第9210卷,第146-159页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-22177-9_12。全文发表于http://arxiv.org/abs/1504.05159 ·Zbl 1434.68239号 ·文件编号:10.1007/978-3-319-22177-9_12
[15] Brzozowski,J.A.,SzykułA,M.,Ye,Y.:正则理想的句法复杂性,(2015年9月)。http://arxiv.org/abs/1509.06032 ·Zbl 1398.68301号
[16] Brzozowski,J.A.,Tamm,H.:正则语言原子的商复杂性。发现的国际期刊。计算。科学。24(7), 1009–1027 (2013) ·Zbl 1360.68542号 ·doi:10.1142/S0129054113400285
[17] Brzozowski,J.A.,Tamm,H.:原子数据理论。理论。计算。科学。539, 13–27 (2014) ·Zbl 1359.68160号 ·doi:10.1016/j.tcs.2014.04.016
[18] Brzozowski,J.,Ye,Y.:理想语言和封闭语言的句法复杂性。收录:Mauri,G.,Leporati,A.(编辑)DLT 2011。LNCS,第6795卷,第117-128页。斯普林格,海德堡(2011)。doi:10.1007/978-3642-22321-11·兹比尔1221.68118 ·doi:10.1007/978-3642-22321-11
[19] Cmorik,R.,Jirásková,G.:二进制无后缀语言的基本操作。在:Kotásek,Z.,Bouda,J.,Černá,I.,Sekanina,L.,Vojnar,T.,Antoš,D.(编辑)MEMICS 2011。LNCS,第7119卷,第94-102页。施普林格,海德堡(2012)。doi:10.1007/978-3642-25929-69·doi:10.1007/978-3642-25929-69
[20] Han,Y.S.,Salomaa,K.:无后缀正则语言基本操作的状态复杂性。理论。计算。科学。410(27–29), 2537–2548 (2009) ·Zbl 1172.68033号 ·doi:10.1016/j.tcs.2008.12.054
[21] Holzer,M.,König,B.:关于确定性有限自动机和语法幺半群大小。理论。计算。科学。327(3), 319–347 (2004) ·Zbl 1161.68536号 ·doi:10.1016/j.tcs.2004.04.010
[22] Iván,S.:原子的复杂性,组合。通知。过程。莱特。116(5),356–360(2016)·Zbl 1352.68130号 ·doi:10.1016/j.ipl.2016.01.003
[23] Jirásková,G.,Olejár,P.:二进制无后缀语言的并集和交集的状态复杂性。摘自:Bordihn,H.等人(编辑)NMCA,第151-166页。奥地利计算机学会(2009)
[24] Krawetz,B.,Lawrence,J.,Shallit,J.:有限集的状态复杂性和变换的幺半群。收录:Domaratzki,M.,Okhotin,A.,Salomaa,K.,Yu,S.(编辑)CIAA 2004。LNCS,第3317卷,第213-224页。斯普林格,海德堡(2005)。doi:10.1007/978-3-540-30500-2_20·Zbl 1115.68443号 ·doi:10.1007/978-3-540-30500-2_20
[25] Myhill,J.:有限自动机和事件表示。莱特航空发展中心。技术报告,第57–624页(1957年)
[26] Pin,J.E.:句法半群。收录:Rozenberg,G.,Salomaa,A.(编辑)《形式语言手册》。第一卷:单词,语言,语法,第679-746页。施普林格,纽约(1997)·doi:10.1007/978-3-642-59136-5_10
[27] 蒂尔林,G.:凸语言。收录:Nivat,M.(编辑)《自动化,语言和编程》,第481-492页。北荷兰人(1973)·Zbl 0264.68030号
[28] Yu,S.:正规语言的状态复杂性。J.自动化。语言梳。6, 221–234 (2001) ·Zbl 0978.68087号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。