Han、Yo-Sub;Ko,Sang Ki先生;凯·萨洛马 删除和两极删除的状态复杂性。 (英语) 兹比尔1335.68121 学报信息。 53,第1号,67-85(2016). 摘要:众所周知,从正则语言中删除任意语言所获得的语言是正则的。我们给出了从正则语言中删除任意语言的状态复杂度的上界和匹配的下界。我们证明了当使用完全(分别是,不完全)确定性有限自动机时,删除的状态复杂度分别是(n+frac{1}{2})和(cdot2^n-2)。我们证明了当使用完全(分别,不完全)确定性有限自动机时,双极删除的状态复杂度有一个上界[分别为(n+1)^n-1]。在这两种情况下,我们都给出了几乎匹配的下界。 引用于4文件 MSC公司: 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{Y.-S.Han}等人,《学报》第53期,第1期,第67-85页(2016年;Zbl 1335.68121) 全文: 内政部 链接 参考文献: [1] Câmpeanu,C.,Salomaa,K.,Yu,S.:正则语言shuffle的状态复杂性的紧下界。J.汽车。语言梳。303-310(2002年)·Zbl 1033.68057号 [2] Cho,D.-J.,Han,Y.S.,Ko,S.-K.,Salomaa,K.:反转操作的状态复杂性。摘自:2014年DCFS会议记录。计算机科学讲义,第8614卷。柏林施普林格出版社,第102-113页(2014年)·Zbl 1332.68109号 [3] Cui,B.,Gao,Y.,Kari,L.,Yu,S.:具有两种基本操作的组合操作的状态复杂性。西奥。计算。科学。437, 98-107 (2012) ·Zbl 1276.68091号 ·doi:10.1016/j.tcs.2012.02.030 [4] Domaratzki,M.:沿轨迹删除。西奥。计算。科学。320, 293-313 (2004) ·Zbl 1068.68077号 ·doi:10.1016/j.tcs.2004.02.031 [5] Domaratzki,M.,Okhotin,A.:权力的国家复杂性。西奥。计算。科学。410, 2377-2392 (2009) ·Zbl 1168.68024号 ·doi:10.1016/j.tcs.2009.02.025 [6] Domaratzki,M.,Salomaa,K.:基于轨迹的方程的可判定性。西奥。计算。科学。345, 304-330 (2005) ·Zbl 1079.68049号 ·doi:10.1016/j.tcs.2005.07.013 [7] Eom,H.-S.,Han,Y.S.:无后缀正则语言组合操作的状态复杂性。西奥。计算。科学。510, 87-93 (2013) ·Zbl 1358.68167号 ·doi:10.1016/j.tcs.2013.09.014 [8] Eom,H.-S.,Han,Y.S.,Jiráskova,G.:非返回正则语言的基本语法的状态复杂性。摘自:2013年DCFS会议记录。计算机科学讲义,第8031卷。柏林施普林格出版社,第54-65页(2013年)·Zbl 1388.68166号 [9] Eom,H.-S.,Han,Y.-S.,Salomaa,K.:无前缀正则语言的K-union和K-intersection的状态复杂性。摘自:2013年DCFS会议记录。计算机科学讲义,第8031卷。柏林施普林格出版社,第78-89页(2013年)·Zbl 1388.68168号 [10] Gao,Y.,Kari,L.:\[k\]k正则语言上并星和并方的状态复杂性。西奥。计算。科学。499, 38-50 (2013) ·Zbl 1296.68093号 ·doi:10.1016/j.tcs.2013.06.003 [11] Gao,Y.,Moreira,N.,Reis,R.,Yu,S.:个体操作的状态复杂性综述。波尔图大学Ciencias立面技术报告DCC-2011-8。www.dcc.fc.up.pt/dcc/Pubs/TReports/TR11/dcc-2011-08(出现在《计算机科学评论》中)·Zbl 1070.68071号 [12] 高毅、朴晓霞:插入的状态复杂性(手稿正在准备中)(2014)·兹比尔1097.68065 [13] Gao,Y.,Yu,S.:状态复杂性和近似。发现的国际期刊。计算。科学。23(5),1085-1098(2012)·Zbl 1255.68094号 ·doi:10.1142/S0129054112400461 [14] Han,Y.S.,Salomaa,K.:无后缀正则语言基本操作的状态复杂性。西奥。计算。科学。410, 2537-2548 (2009) ·Zbl 1172.68033号 ·doi:10.1016/j.tcs.2008.12.054 [15] Holzer,M.,Kutrib,M.:有限自动机的描述和计算复杂性——综述。Inf.计算。209, 456-470 (2011) ·Zbl 1217.68130号 ·doi:10.1016/j.ic.2010.11.013 [16] Holzer,M.,König,B.:关于确定性有限自动机和语法幺半群大小。西奥。计算。科学。327, 319-347 (2004) ·Zbl 1161.68536号 ·doi:10.1016/j.tcs.2004.04.010 [17] Jirásek,J.、Jirá)skova,G.、Szabari,A.:串联和互补的状态复杂性。发现的国际期刊。计算。科学。16, 511-529 (2005) ·Zbl 1097.68062号 ·doi:10.1142/S01290541055003133 [18] Jiráskova,G.,Shallit,J.:恒星补充恒星的状态复杂性。在:Yen,H.-C.,Ibarra,O.H.(编辑)《语言理论的发展》中。计算机科学讲义,第7410卷。柏林施普林格出版社,第380-391页(2012年)·Zbl 1370.68178号 [19] Kari,L.:关于具有可逆运算的语言方程。西奥。计算。科学。132, 129-150 (1994) ·兹比尔0821.68075 ·doi:10.1016/0304-3975(94)90230-5 [20] Kari,L.:关于形式语言中的插入和删除。图尔库大学博士论文(1991年)·Zbl 1187.68298号 [21] Kari,L.:删除操作:闭包属性。国际期刊计算。数学。52, 23-42 (1994) ·doi:10.1080/00207169408804288 [22] Kari,L.,Sosik,P.:轨迹上的洗牌和删除方面。西奥。计算。科学。332, 47-61 (2005) ·Zbl 1070.68071号 ·doi:10.1016/j.tcs.2004.09.038 [23] Krawetz,B.,Lawrence,J.,Shallit,J.:有限集的状态复杂性和变换的幺半群。发现的国际期刊。计算。科学。13547-563(2005年)·兹比尔1097.68065 ·doi:10.1142/S0129054105003157 [24] Kutrib,M.,Pighizzini,G.:形式语言描述复杂性的最新趋势。牛市。EATCS 111、70-86(2013)·Zbl 1409.68161号 [25] Lavado,G.J.、Pighizini,G.、Seki,S.:帕里赫等价下的操作状态复杂性。摘自:2014年DCFS会议记录。计算机科学讲义,第8614卷。施普林格,柏林,第294-305页(2014年)·Zbl 1410.68208号 [26] 卢帕诺夫,O.B.:两种有限源的比较。问题。基伯恩。9, 328-335 (1963) [27] Maslov,A.N.:有限自动机状态数的估计。苏联。数学。多克。11, 1373-1375 (1970) ·Zbl 0222.94064号 [28] Mateescu,A.,Rozenberg,G.,Salomaa,A.:轨迹洗牌:句法约束。西奥。计算。科学。197, 1-56 (1998) ·Zbl 0902.68096号 ·doi:10.1016/S0304-3975(97)00163-1 [29] Meyer,A.R.,Fischer,M.J.:自动机、语法和形式系统的描述经济。收录:SWAT会议记录(FOCS)。IEEE计算机学会,加利福尼亚州北岭,第188-191页(1971) [30] Moore,F.R.:关于确定性、非确定性和双向有限自动机等价性证明中状态集大小的界。IEEE传输。计算。C-20,1211-1214(1971)·Zbl 0229.94033号 ·doi:10.1109/T-C.1971.223108 [31] Rampersad,N.:L2和Lk.Inf.Proc.的状态复杂性。莱特。98, 231-234 (2006) ·Zbl 1187.68298号 ·doi:10.1016/j.ipl.2005.06.011 [32] Salomaa,A.、Salomama,K.、Yu,S.:联合作战的状态复杂性。西奥。计算。科学。383, 140-152 (2007) ·Zbl 1124.68056号 ·doi:10.1016/j.tcs.2007.04.015 [33] Salomaa,A.,Wood,D.,Yu,S.:关于正则语言反转的状态复杂性。西奥。计算。科学。320, 315-329 (2004) ·Zbl 1068.68078号 ·doi:10.1016/j.tcs.2004.02.032 [34] Shallit,J.:形式语言和自动机理论的第二门课程。剑桥大学出版社,剑桥(2009)·Zbl 1163.68025号 [35] Wood,D.:计算理论。威利,纽约(1987)·Zbl 0734.68001号 [36] Yu,S.:常规语言。载:Rozenberg,G.,Salomaa,A.(编辑)《形式语言手册》,第一卷,第41-110页。施普林格,柏林(1997)·兹伯利0795.68112 [37] Yu,S.,Zhuang,Q.,Salomaa,K.:正则语言上一些基本操作的状态复杂性。西奥。计算。科学。125, 315-328 (1994) ·Zbl 0795.68112号 ·doi:10.1016/0304-3975(92)00011-F 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。