×

对称差分NFA的歧义性和结构歧义性。 (英语) Zbl 1359.68182号

摘要:Okhotin在从非确定性一元自动机到明确的非确定性一方自动机的转换中表现出了指数权衡。我们证明了一元对称差分自动机与有限(结构上)模糊一元对称差异自动机之间的权衡是线性的,状态数为常数1。特别地,对于每个状态一元非确定性对称差分自动机,存在一个等价的有限(结构上)模糊的状态一元对称差分非确定性自动机。我们还考虑了决定确定性有限自动机的模糊性的复杂性,并研究了模糊性和结构模糊性之间的相互作用。

MSC公司:

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

关键词:

不确定性;歧义
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 范德梅尔,B。;van Zijl,L。;Geldenhuys,J.,一元对称差分NFA的模糊性,(Cerone,A.,《计算理论方面国际学术讨论会论文集》,LNCS,第6916卷(2011),Springer-Verlag),256-266·Zbl 1351.68145号
[3] Leung,H.,将指数模糊有限自动机与多项式模糊有限自动机分离,SIAM计算杂志,271073-1082(1998)·Zbl 0911.68144号
[4] Leung,H.,不同模糊度NFA的描述复杂性,国际计算机科学基础杂志,16975-984(2005)·Zbl 1090.68059号
[5] 拉维库马尔,B。;Ibarra,O.H.,《将有限自动机的歧义类型与其表示的简洁性联系起来》,SIAM计算杂志,18,1263-1282(1989)·Zbl 0692.68049号
[6] Okhotin,A.,一元字母表上的无歧义有限自动机,信息与计算,212,15-36(2012)·Zbl 1280.68118号
[7] Leung,H.,结构明确的有限自动机,(Ibarra,O.;Yen,H.-C.,《第十一届国际自动机实现和应用会议论文集》,第十一届自动控制实现和应用国际会议论文集,LNCS,第4094卷(2006),Springer-Verlag),198-207·Zbl 1160.68418号
[8] van Zijl,L.等人。;Geldenhuys,J.,对称差分NFA中歧义的描述复杂性,《通用计算机科学杂志》,17,874-890(2011)·Zbl 1217.68135号
[9] Vuillemin,J。;Gama,N.,非确定性XOR自动机的有效等价和最小化,技术报告,INRIA(2009)
[10] Sipser,M.,《计算理论导论》(1996),国际汤姆森出版社
[11] Roman,S.,《高级线性代数》(1992),斯普林格·弗拉格·Zbl 0754.15002号
[12] 戈雷斯基,M。;Klapper,A.,基于代数反馈移位寄存器的伪噪声序列,IEEE信息理论汇刊,521649-1662(2006)·Zbl 1309.94126号
[13] Stone,H.,《离散数学结构》(1973),科学研究协会
[14] 多恩霍夫,L。;Hohn,F.,《应用现代代数》(1978),麦克米伦出版公司·Zbl 0408.00001号
[16] Moore,F.R.,《用确定性自动机证明确定性、非确定性和双向有限自动机之间的等价性时状态集大小的界》,IEEE计算事务,C-20,1211-1219(1971)·兹比尔0229.94033
[17] Chrobak,M.,有限自动机和一元语言,理论计算机科学,47149-158(1986),勘误表出现为[20]·Zbl 0638.68096号
[18] van Zijl,L.,对称差NFA的幻数,国际计算机科学基础杂志,16,1027-1038(2005)·Zbl 1090.68065号
[19] 斯特恩斯,R。;Hunt,H.,《关于无歧义正则表达式、正则文法和有限自动机的等价性和包含问题》,SIAM计算杂志,14,598-611(1979)·Zbl 0577.68074号
[20] Chrobak,M.,有限自动机和一元语言的勘误表,理论计算机科学,302,497-498(2003)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。