×

有限不确定性一元NFA的操作状态复杂度。 (英语) Zbl 1332.68125号

摘要:我们研究了有限不确定性下一元NFA语言操作的状态复杂度。我们考虑布尔运算、级联和Kleene星。我们给出了这些语言操作的状态复杂度的上限和与上限相当接近的下限。我们的构造依赖于这样一个事实:对于大多数不确定性度量,具有有限不确定性的最小一元NFA可以在Chrobak范式中找到。这里考虑的具有上述属性的不确定性度量是树宽度、建议和跟踪。

MSC公司:

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Iskander M.Aliev。;Peter M.Gruber,《Frobenius问题的最优下界》,J.数论,123,1,71-79(2007)·Zbl 1114.11025号
[2] 埃里克·巴赫;杰弗里·沙利特(Jeffrey Shallit),《算法数论:高效算法》,第1卷(1996年),麻省理工学院出版社·Zbl 0873.11070号
[3] Beck,Matthias;里卡多·迪亚兹;罗宾斯,西奈,弗罗贝尼乌斯问题,有理多面体和Fourier-Dedekind和,《数论杂志》,96,1,1-21(2002)·Zbl 1038.11026号
[4] Chrobak,Marek,有限自动机和一元语言,Theoret。计算。科学。,47, 3, 149-158 (1986) ·Zbl 0638.68096号
[5] Dusart,Pierre,对于(k\geq 2),第k个素数大于。公司。,411-415 (1999) ·Zbl 0913.11039号
[6] 高,Y。;莫雷拉,N。;Reis,R。;Yu,Sheng,《单个操作状态复杂性审查》(2012),波尔图大学,技术报告,技术报告系列DCC-2011-08,1.1版
[7] Gawrychowski,Paweł,Chrobak范式重温与应用,(自动化的实现与应用。自动化的实现和应用,CIAA.自动化的实现及应用。自动化实现与应用,CIAA,计算机科学讲义,第6807卷(2011),Springer),142-153·Zbl 1297.68130号
[8] Geffert,Viliam,有限自动机状态层次中的幻数,Inform。和计算。,205, 11, 1652-1670 (2007) ·Zbl 1130.68069号
[9] 乔纳森·戈德斯汀(Jonathan Goldstine);马丁·卡普斯(Martin Kappes);钱德拉·M·R·金塔拉。;梁,兴;安德烈亚斯·马尔彻(Andreas Malcher);Wotschke,Detlef,《资源有限的机器的描述复杂性》,J.UCS,8,2,193-234(2002)·Zbl 1258.68058号
[10] 乔纳森·戈德斯汀(Jonathan Goldstine);钱德拉·M·R·金塔拉。;Wotschke,Detlef,《关于测量正规语言中的不确定性》,Inform。和计算。,86, 2, 179-194 (1990) ·Zbl 0698.68068号
[11] 马库斯·霍尔泽;Kutrib,Martin,正则语言的非确定性描述复杂性,国际。J.发现。计算。科学。,1087-1102年6月14日(2003年)·Zbl 1101.68657号
[12] 马库斯·霍尔泽;Kutrib,Martin,Unary语言操作及其非确定性状态复杂性,(语言理论的发展,语言理论的进展,计算机科学讲义,第2450卷(2003),Springer),162-172·Zbl 1015.68118号
[13] 马库斯·霍尔泽;Kutrib,Martin,《非确定性有限自动机——描述和计算复杂性的最新结果》,国际。J.发现。计算。科学。,20, 4, 563-580 (2009) ·Zbl 1176.68106号
[14] 马库斯·霍尔泽;Kutrib,Martin,有限自动机的描述和计算复杂性——综述,Inform。和计算。,209, 3, 456-470 (2011) ·Zbl 1217.68130号
[15] 朱拉吉·赫罗姆科维奇;朱哈尼·卡鲁马基;哈特穆特·克劳克;乔治·施尼特(Georg Schnitger);Seibert,Sebastian,有限自动机中的不确定性度量,(Montanari,Ugo;Rolim,JoséD.P.;Welzl,Emo,ICALP.ICALP,计算机科学讲稿,第1853卷(2000),Springer),199-210·Zbl 0973.68114号
[16] 朱拉吉·赫罗姆科维奇;塞伯特·塞巴斯蒂安;朱哈尼·卡胡马基;哈特穆特·克劳克;Schnitger,Georg,测量有限自动机中不确定性的通信复杂性方法,Inform。和计算。,172, 2, 202-217 (2002) ·Zbl 1009.68067号
[17] 姜涛;爱德华·麦克道尔(Edward McDowell);Ravikumar,Bala,《一元字母表上最小NFA的结构和复杂性》,国际。J.发现。计算。科学。,2, 2, 163-182 (1991) ·Zbl 0746.68040号
[18] 马丁·库特里布(Martin Kutrib);Pighizini,Giovanni,形式语言描述复杂性的最新趋势,布尔。欧洲协会。计算。科学。EATCS,111(2013)·Zbl 1409.68161号
[19] Landau、Edmund、U ber die maximalordung der permutationen gegebenen grades、Arch。数学。物理。,3, 92-103 (1903)
[20] 兰道(Landau)、埃德蒙德(Edmund)、亨德布赫(Handbuch der Lehre von der Verteilung der Primzahlen),第1卷(1909年),BG Teubner
[21] 梁,兴,从多项式模糊有限自动机中分离指数模糊有限自自动机,SIAM J.Compute。,27, 4, 1073-1082 (1998) ·兹比尔0911.68144
[22] 梁,兴,不同模糊度的NFA描述复杂性,国际。J.发现。计算。科学。,16, 5, 975-984 (2005) ·Zbl 1090.68059号
[23] Maslov,A.N.,有限自动机状态数的估计,Dokl。阿卡德。瑙克SSSR,1941266-1268(1970)·Zbl 0222.94064号
[24] 菲律宾梅拉;Pighizini,Giovanni,《互补一元非确定性自动机》,理论。计算。科学。,330, 2, 349-360 (2005) ·Zbl 1078.68091号
[25] 阿尔伯特·R·迈耶(Albert R.Meyer)。;Michael J.Fischer,《自动机、语法和形式系统的描述经济》(SWAT(FOCS)(1971),IEEE计算机学会),188-191年
[26] Moore,F.R.,《确定性、非确定性和双向有限自动机等价性证明中状态集大小的界》,IEEE Trans。计算。,C-20、10、1211-1214(1971年10月)·Zbl 0229.94033号
[27] Alexander Okhotin,《一元字母表上的无歧义有限自动机》,Inform。和计算。,212, 15-36 (2012) ·Zbl 1280.68118号
[28] Palioudakis,Alexandros,有限不确定性下非确定性有限自动机的状态复杂性(2014),女王大学,博士论文·兹比尔1332.68124
[29] 亚历山大·帕卢达基斯(Alexandros Palioudakis);Kai Salomaa;Akl,Selim G.,状态复杂性和有限不确定性,(形式系统的描述复杂性。形式系统的描述性复杂性,计算机科学讲义,第7386卷(2012),Springer),252-265·Zbl 1304.68117号
[30] 亚历山大·帕卢达基斯(Alexandros Palioudakis);Kai Salomaa;Akl,Selim G.,有限自动机上不确定性度量之间的比较,(形式系统的描述复杂性。形式系统的描述性复杂性,计算机科学讲义,第8031卷(2013),Springer),217-228·Zbl 1388.68177号
[31] 亚历山大·帕卢达基斯(Alexandros Palioudakis);Kai Salomaa;Akl,Selim G.,有限不确定性的Unary NFA,(SOFSEM 2014:计算机科学理论与实践,SOFSEM2014:计算机科学理论和实践,计算机科学讲义,第8327卷(2014),Springer),443-454·Zbl 1432.68242号
[32] Giovanni Pighizini;Shallit、Jeffrey、Unary语言操作、状态复杂性和Jacobsthal函数、Internat。J.发现。计算。科学。,13, 1, 145-159 (2002) ·兹比尔1066.68072
[33] 杰弗里·沙利特(Jeffrey O.Shallit),《形式语言和自动机理论第二课程》(2008),剑桥大学出版社
[34] 于斯。;庄,Q。;Salomaa,K.,正则语言上一些基本操作的状态复杂性,Theoret。计算。科学。,125, 2, 315-328 (1994) ·Zbl 0795.68112号
[35] 盛余。,形式语言手册,第1卷,41-110(1998),斯普林格,正规语言一章
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。