×

正则语言上某些基本操作的状态复杂性。 (英语) Zbl 0795.68112号

摘要:我们考虑正则语言上一些基本操作的状态复杂性。我们证明了在最坏情况下,确定性有限自动机(DFA)接受一个(m)状态DFA语言和一个(n)状态DFSA语言的链式连接所需的状态数正好是(m2^n-2^{n-1}),对于(m,ngeq1)。对于状态DFA语言的星形,得到了(2^{n-1}+2^{n-2})状态的结果。还研究了其他基本操作和单字母字母表上正则语言的状态复杂性。

MSC公司:

65年第68季度 形式语言和自动机
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Chandra,A.K。;科赞,哥伦比亚特区。;Stockmeyer,L.J.,Alternation,J.ACM,28,114-133(1981)·Zbl 0473.68043号
[2] Fellah,A。;Jürgensen,H。;Yu,S.,交替有限自动机的构造,国际。J.计算。数学。,35, 117-132 (1990) ·Zbl 0699.68081号
[3] 霍普克罗夫特,J.E。;Ullman,J.D.,《自动机理论、语言和计算导论》(1979),Addison-Wesley:Addison-Whesley Reading,MA·兹比尔0196.01701
[4] 姜涛(Jiang,T.)。;Ravikumar,B.,《最小NFA问题很难》(Proc.18th ICALP.Proc.18st ICALP,Leach Notes in Computer Science,Vol.510(1991),Springer:Springer Berlin),629-640·Zbl 0766.68063号
[5] Leis,E.,布尔自动机对正则语言的简洁表示,Theoret。计算。,13, 323-330 (1981) ·兹比尔0458.68017
[6] 迈耶,A.R。;Fischer,M.J.,自动机、语法和形式系统的描述经济,FOCS,12188-191(1971)
[7] Ravikumar,B.,Sakoda和Sipser技术的一些应用,SIGACT新闻,21,4,73-77(1990)
[8] 拉维库马尔,B。;Ibarra,O.H.,《将有限自动机的歧义类型与其表示的简洁性联系起来》,SIAM J.Compute。,181263-1282(1989年)·Zbl 0692.68049号
[9] Salomaa,A.,《自动机理论》(1969),佩加蒙:佩加蒙牛津·Zbl 0193.32901号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。