×
萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯

强星形范式中正则表达式的平均行为。 （英语） Zbl 1427.68138号

发现的国际期刊。计算。科学。 30，编号6-7，899-920（2019）。
摘要：对于（强）星正态形式的正则表达式，已知有一大套有效的算法，从转换为有限自动机到无歧义的表征。在本文中，我们使用分析组合学研究了这类表达式的平均复杂度。由于获得所涉及生成函数的显式表达式并不总是可行的，因此我们在这里展示了如何通过间接利用奇点处Puiseux展开的存在性来获得渐近估计所需的信息。我们渐近平均地研究了字母大小、（varepsilon）跟随自动机和位置自动机的大小，以及这些表达式与标准正则表达式的比率和大小。

引用于7文件

MSC公司：

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

关键词：

正则表达式;星形范式;有限自动机的转换;组合分析;渐近平均情况复杂度;Puiseux系列

软件：

FAdo公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，《国际法学杂志》发现。计算。科学。30，编号6--7899--920（2019；Zbl 1427.68138）
全文： 内政部

参考文献：

[1] Antimirov，V.M.，正则表达式的偏导数和有限自动机构造，Theoret。计算。《科学》第155（2）（1996）291-319页·Zbl 0872.68120号
[2] Broda，S.等人，关于偏导数自动机的平均状态复杂性：一种分析组合学方法，Int.J.Found。计算。《科学》第22（7）（2011）1593-1606页·Zbl 1252.68166号
[3] Broda，S.等人，《关于Glushkov和偏导数自动机的平均大小》，国际期刊发现。计算。科学23（5）（2012）969-984·Zbl 1262.68085号
[4] Broda，S.等人，《通过分析组合学描述复杂性的徒步旅行者指南》，Theoret。计算。科学.528（2014）85-100·Zbl 1308.68070号
[5] Broda，S.等人，正则表达式自动机构造的平均大小，BEATSC116（2015）167-192。
[6] Broda，S.等人，《关于强恒星标准形的平均复杂性》，Proc.19th DCFS 2017，编辑Cámpeanu，C.和Pighizini，G.，10316，（Springer，2017），第77-88页·兹比尔1426.68138
[7] Brüggemann-Klein，A.，《有限自动机的正则表达式》，Theoret。计算。科学48（1993）197-213·Zbl 0811.68096号
[8] Champarnaud，J.-M.，Ouardi，F.和Ziadi，D.，规范化表达式和有限自动机，实习生。行程。阿尔及尔的。和Comp.17（1）（2007）141-154·Zbl 1117.68042号
[9] Champarnaud，J.-M.和Ziadi，D.，标准导数、偏导数和有限自动机构造，定理。计算。科学289（2002）137-163·Zbl 1061.68109号
[10] Flajolet，P.和Sedgewick，R.，分析组合数学（CUP，2008）·Zbl 1165.05001号
[11] Glushkov，V.M.，《自动机抽象理论》，俄罗斯数学。调查16（5）（1961）1-53·Zbl 0104.35404号
[12] Gruber，H.和Gulan，S.，《简化正则表达式》，Proc。第四届拉丁美洲旅游协会，2010年，编辑：Dediu，A.，Fernau，H.和Martín-Vide，C.，6031，（Springer，2010），第285-296页·Zbl 1284.68351号
[13] S.Gulan，《正则表达式和有限自动机的相对描述复杂性》，博士论文，特里尔大学（2011）·Zbl 1230.68131号
[14] Gulan，S.和Fernau，H.，《较短正则表达式自动机中的局部消除策略》，Proc。SOFSEM 2008，第二卷，编辑Geffert，V.，Karhumäki，J.，Bertoni，A.，Preneel，B.，Návrat，P.和Bieliková，M.（2008），第46-57页。
[15] Hille，E.，《分析函数理论》（Blaisdell出版社，1962年）·Zbl 0102.29401号
[16] Ilie，L.和Yu，S.，Follow automata，Inf.Compute.186（1）（2003）140-162·Zbl 1059.68063号
[17] Lang，S.，代数，第211卷，第3版。（施普林格，纽约，2001年）·Zbl 0996.0002号
[18] Nicaud，C.，关于Glushkov自动机的平均大小，Proc。2009年第三届拉丁美洲旅游协会，编辑：Dediu，A.，Ionescu，A.-M.和Vide，C.M.，5457，（Springer，2009），第626-637页·Zbl 1234.68232号
[19] Ott，G.和Feinstein，N.H.，《从正则表达式设计时序机》，ACM8（4）（1961）585-600·Zbl 0171.27505号
[20] 项目FAdo，正式语言操作工具http://fado.dcc.up.pt，（访问日期：2017年1月1日）。
[21] 萨卡罗维奇，J.，《自动机理论的要素》（CUP，2009）·Zbl 1188.68177号
[22] Thompson，K.，正则表达式搜索算法，《ACM11（6）的通信》（1968）410-422·Zbl 0164.46205号
[23] Yu，S.，《正规语言，形式语言手册》，编辑：Rozenberg，G.和Salomaa，A.，1（Springer，1997）·Zbl 0866.68057号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。