尼古拉斯·巴塞特;Jean Mairesse女士;米歇尔·索里亚 自动机网络的均匀采样。 （英语） Zbl 1442.68081号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第36条，第16页（2017年）。 摘要：我们将自动机网络称为部分同步自动机家族，即通过共享字母同步的确定性自动机家族。我们解决了由自动机网络识别的单词的统一随机抽样问题。为此，我们定义了模型的简化自动机，它只涉及组件自动机同步部分的乘积。我们提供了均匀采样算法，该算法相对于简化自动机的大小是多项式的，极大地改进了已知的算法。我们的采样算法依赖于组合和概率方法，有三种不同类型：精确采样、玻尔兹曼采样和帕里采样。关于整个系列，请参见[Zbl 1372.68016号]. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） 关键词：部分同步自动机;均匀抽样;递归方法;波尔兹曼采样;回避措施 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset}等人，LIPIcs——莱布尼茨国际程序。通知。85，第36条，第16页（2017年；Zbl 1442.68081） 全文： 内政部 参考文献： [1] 萨米·阿贝斯（Samy Abbes）和让·梅利斯（Jean Mairesse）。迹拟群中的一致生成。在G.Italiano、G.Pighizini和D.Sannella编辑的《计算科学》2015（MFCS 2015）第9234卷《计算科学讲义》第63-75页。斯普林格，2015年·Zbl 1465.05182号 [2] 阿尔弗雷德·阿霍（Alfred Aho）、拉杰夫·莫特瓦尼（Rajeev Motwani）和杰弗里·厄尔曼（Jeffrey Ullman）。自动机理论导论、Lan-}规范和计算：第二版。艾迪森·卫斯理，2001年·Zbl 0980.68066号 [3] 克里斯特尔·拜尔（Christel Baier）和朱斯特·佩特尔·卡托恩（Joost-Pieter Katoen）。{\it模型检查原理}。麻省理工学院出版社，2008年·Zbl 1179.68076号 [4] 尼古拉斯·巴塞特（Nicolas Basset）、米歇尔·索里亚（Michèle Soria）和让·梅莱斯（Jean Mairesse）。2017年汽车网统一抽样。网址：http://hal.upmc.fr/hal-01545936。 ·兹比尔1442.68081 [5] 奥利维尔·贝尔纳迪和奥马尔·吉梅内斯。正则语言随机抽样的线性算法。{\it Algorithmica}，62（1-2）：130-1452012·Zbl 1255.68091号 [6] 让·伯斯特尔（Jean Berstel）和克里斯托夫·鲁特诺尔（Christophe Reutenauer）。{非交换有理级数及其应用}，《数学与应用百科全书》第137卷，剑桥大学出版社，2011年·Zbl 1250.68007号 [7] 奥利维尔·博迪尼（Olivier Bodini）、安托万·杰尼特里尼（Antoine Genitrini）和弗雷德里克·佩申斯基（Frédéric Peschanski）。非决定论的组合学。在Anil Seth和Nisheeth K.Vishnoi编辑的《软件技术和理论计算机科学基础IARCS年会》中，2013年12月12日至14日，印度古瓦哈蒂，第24卷，第425-436页。达格·斯图尔（Dag stuhl）-莱布尼兹·泽特鲁姆·富尔信息技术学院（Leibniz-Zentrum fuer Informatik），2013年。doi:10.4230/LIPIcs。FSTTCS.2013.425·兹比尔1359.68080 [8] Alexis Darrasse、Konstantinos Panagiotou、Olivier Roussel和Michele Soria。偏倚Boltzmann采样器和使用洗牌生成扩展线性语言。2012年1月125-140日，《DMTCS}会议记录》·Zbl 1296.68205号 [9] 阿兰·丹尼斯（Alain Denise）、玛丽·克劳德·高德尔（Marie-Claude Gaudel）、桑德里内·多米尼克·古罗（Sandrine-Dominique Gouraud）、理查德·拉塞涅（Richard Lassaigne）、乔·汉·乌迪内（Jo han Oudinet）和西尔。覆盖偏向随机探索大型模型及其在测试中的应用。{\it STTT}，14（1）：73-932012年。doi:10.1007/s10009-011-0190-1。 [10] 菲利普·杜雄（Philippe Duchon）、菲利普·弗拉乔莱特（Philipe Flajolet）、盖·卢查德（Guy Louchard）和吉尔斯·谢弗（Gilles Schaeffer）。用于随机生成组合结构的Boltzmann采样器。组合数学，概率论，13（4-5）：577-6252004·Zbl 1081.65007号 [11] Philippe Flajolet和Robert Sedgewick。{分析组合数学}。剑桥大学出版社，美国纽约州纽约市，2009年第1版·Zbl 1165.05001号 [12] 菲利普·弗拉乔莱特（Philippe Flajolet）、保罗·齐默尔曼（Paul Zimmerman）和伯纳德·范·卡瑟姆（Bernard Van Cutsem）。随机生成标记组合结构的微积分。{理论计算机科学}，132（1）：1-351994·Zbl 0799.68143号 [13] Radu Grosu和Scott A.Smolka。蒙特卡罗模型检查。2005年，{itTACAS'05}·Zbl 1087.68590号 [14] 德克斯特·科赞。自然证明系统的下限。1977年，第77卷，第254-266页。 [15] M.Lothaire先生。在单词上应用组合数学（数学百科全书及其应用）。剑桥大学出版社，纽约，纽约，美国·Zbl 1133.68067号 [16] Kuldeep S.Meel、Moshe Y.Vardi、Supratik Chakraborty、Daniel J.Fremont、Sanjit A.Seshia、Dror Fried、Alexander Ivrii和Sharad Malik。约束采样和计数：通用哈希满足SAT解决方案。在Adnan Darwiche，编辑，《超越NP》，来自美国亚利桑那州凤凰城2016年AAAI研讨会的论文，2016年2月12日，第WS-16-05卷 [17] Mehryar Mohri。加权自动机的通用{ε}删除算法。在自动化实现和应用会议上，第230-242页。斯普林格，2000年·Zbl 0999.68118号 [18] 马达瓦恩·穆昆德（Madhavan Mukund）。自动处理分布式字母表。在《汽车的现代应用》中，第257-288页。《世界科学》，2012年。doi:10.1142/9789814271059_0009·Zbl 1256.68109号 [19] Johan Oudinet、Alain Denise和Marie Claude Gaudel。正则语言中统一随机生成单词的新二分法算法。{\it Theor.Compute.Sci.}，502:165-1762013年。doi:10.1016/j.tcs.2012.07.025·Zbl 1296.68095号 [20] 约翰·乌迪内（Johan Oudinet）、阿兰·丹尼斯（Alain Denise）、玛丽·克劳德·高德尔（Marie-Claude Gaudel）、理查德·拉塞涅（Richard Lassaigne）和西尔万·佩伦内特（Sylvain Peyronnet）。统一蒙特卡罗模型检验。在{2011年时尚博览会}中，第127-140页，2011年。 [21] 安东尼奥·雷斯蒂沃。洗牌产品：新的研究方向。在语言与自动机理论与应用国际会议上，第70-81页。斯普林格，2015年·Zbl 1451.68161号 [22] A.Salomaa和M.Soittola。形式幂级数的自动机理论方面。施普林格出版社，1978年·Zbl 0377.68039号 [23] :16 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。