×
马尔科·阿尔梅达;内尔玛·莫雷拉;雷斯·罗热里奥

使用字符串自动机表示进行枚举和生成。 （英语） Zbl 1143.68031号

西奥。计算。科学。 387，第2期，93-102（2007）.
摘要：组合对象的表示对几个枚举任务的可行性起着决定性的作用。在这项工作中，我们为完整的初始连接确定自动机（ICDFA）提供了一个唯一的字符串表示，它的状态位于\（k）符号的字母表上。对于这些字符串，我们给出了一个正则表达式，并展示了它们如何适合精确和随机生成，允许使用另一种枚举方法，并导致ICDFA数量的上限。精确的生成算法可以用于划分ICDFA集，以便并行化最小自动机的计数，从而并行化正则语言的计数。提出了一种ICDFA的均匀随机生成器，它使用预先计算的值表。基于同一表，得到了ICDFA的最优编码。

引用于18文件

MSC公司：

65年第68季度 形式语言和自动机
68卢比 计算机科学中的组合数学

关键词：

有限自动机;初始连接确定性有限自动机;精确枚举;随机生成;最小自动机

软件：

组织环境信息系统
PDF格式BibTeX公司 XML格式引用
\textit{M.Almeida}等人，Theor。计算。科学。387，编号2，93--102（2007；Zbl 1143.68031）
全文： 内政部

参考文献：

[1] M.Almeida，N.Moreira，R.Reis，用字符串自动机表示的枚举和生成方面，收录于：H.Leung，G.Pighizini（编辑），Proc。DCFS’06，NMSU-CS-2006-001，in：组件。科学。《技术报告》，NMSU，2006年，第58-69页；M.Almeida，N.Moreira，R.Reis，用字符串自动机表示的枚举和生成方面，收录于：H.Leung，G.Pighizini（编辑），Proc。DCFS’06，NMSU-CS-2006-001，in：组件。科学。技术报告，NMSU，2006年，第58-69页
[2] M.Almeida，R.Reis，整数集的有效表示，技术代表DCC-2006-06，DCC-FC和LIACC，波尔图大学，2006；M.Almeida，R.Reis，整数集的有效表示，技术代表DCC-2006-06，DCC-FC和LIACC，波尔图大学，2006
[3] 巴斯诺，F。；Nicaud，C.，可访问自动机的枚举和随机生成，Theoret。计算。科学。，381, 1-3, 86-104 (2007) ·Zbl 1188.68168号
[4] 查姆帕诺，J.-M。；Paranthoön，T.，DFA的随机生成，理论。计算。科学。，330, 2, 221-235 (2005) ·Zbl 1078.68078号
[5] Duchon，P。；弗拉乔莱特，P。；Louchard，G。；Schaeffer，G.，组合结构随机生成的Boltzmann采样器，组合概率。计算。，13, 4-5, 577-625 (2004) ·Zbl 1081.65007号
[6] 多马拉茨基，M。；基斯曼，D。；Shallit，J.，《关于具有n个状态的有限自动机所接受的不同语言的数量》，J.自动机语言组合，7，4，469-486（2002）·Zbl 1137.68421号
[7] Domaratzki，M.，《Genocchi数泛化的组合解释》，《国际序列杂志》，第7期，第04.3.6页（2004年）·Zbl 1092.11010号
[8] Domaratzki，M.，形式语言枚举，布尔。EATCS，89，113-133（2006）·Zbl 1169.68466号
[9] Harrison，M.A.，《有限自动机普查》，加拿大。数学杂志。，17, 100-113 (1965) ·兹伯利0156.01703
[10] Hopcroft，J.，《有限自动机中最小化状态的一种算法》（Proc.Inter.Symp.on the Theory of Machines and Computations（1971），AP:AP Haifa，Israel），189-196·Zbl 0293.94022号
[11] Harary，F。；Palmer，E.M.，有限自动机的枚举，Inform。控制，10499-508（1967）·Zbl 0168.25903号
[12] Harary，F。；Palmer，E.M.，《图形计数》（1973），美联社·Zbl 0266.05108号
[13] Korshunov，A.，有限自动机的枚举，Probl。Kibernetiki，34岁，5-82岁（1978年）·Zbl 0415.03027号
[14] Liskovets，V.A.，《初始连接自动机的数量》，Kibernetika，3，16-19（1969），英国。tr：控制论4（1969）259-262
[15] Liskovets，V.A.，非循环确定性自动机的精确枚举，离散应用。数学。，154, 3, 537-551 (2006) ·Zbl 1090.68060号
[16] Lothaire，M.（单词应用组合数学。单词应用组合学，数学及其应用百科全书，第105卷（2005年），CUP）·Zbl 1133.68067号
[17] 莫雷拉，N。；Reis，R.，《使用FAdo对规则对象的交互操作》，（2005年计算机科学教育中的Inn.and Tech.Proc.of 2005 Inn.和Tech.in Computer Science Education，ITiCSE 2005（2005），ACM），335-339
[18] 莫雷拉，N。；Reis，R.，关于表示有限集划分的语言密度，J.Int.Sequences，8，05.2.8（2005）·Zbl 1064.05017号
[19] H.Narushima，《半格上的包含-排除原理及其应用》，早稻田大学博士论文，东京，1977年；H.Narushima，《半格上的包含-排除原理及其应用》，早稻田大学博士论文，东京，1977年
[20] C.Nicaud，《构件自动化》，巴黎大学博士论文，2000年7月；C.Nicaud，《组件自动化》，巴黎大学博士论文，2000年7月
[21] FAdo项目
[22] R.Reis，N.Moreira，M.Almeida，《关于有限自动机的表示》，见：C.Mereghetti，B.Palano，G.Pighizzini，D.Wotschke（编辑），Proc。DCFS’05，Rap中编号06-05。技术。DICO，米兰大学，IFIP，2005年，第269-276页；R.Reis，N.Moreira，M.Almeida，《关于有限自动机的表示》，见：C.Mereghetti，B.Palano，G.Pighizzini，D.Wotschke（编辑），Proc。DCFS’05，Rap中编号06-05。技术。DICO，米兰大学，IFIP，2005年，第269-276页
[23] 罗宾逊，R.W.，《计算强连接有限自动机》（图论及其在算法和计算机科学中的应用（1985），威利出版社），671-685·Zbl 0572.68042号
[24] 塞奇威克，R。；Flajolet，P.，算法分析（1996），AW·Zbl 0841.68059号
[25] N.斯隆，整数序列在线百科全书。http://www.research.att.com/njas/序列；N.斯隆，整数序列在线百科全书。http://www.research.att.com/njas/序列·Zbl 1044.11108号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。