达纳州安格鲁因;蒂莫斯·安东尼奥普洛斯;达纳·菲斯曼;内文·乔治 使用mod 2多重自动机表示无限单词的正则语言。 （英语） Zbl 07793020号 Patricia Bouyer等人，《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分，于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 1-20 (2022). 摘要：我们探讨了模2多重自动机（M2MA）作为无限单词正则语言表示的适用性。M2MA是一种确定性表示，与许多其他表示相比，已知它可以在多项式时间内通过成员资格和等价查询进行学习。与非确定性自动机相比，M2MA的另一个优点是，它们的等价性可以在多项式时间内确定，互补只会导致加性常量大小增加。因为学习时间是由表示的大小参数化的，所以特别关注替代表示的相对简洁性，特别是LTL公式和Büchi自动机的类型：确定性、非确定性和强明确性。我们用随机生成自动机和特定LTL公式族的实验结果来补充最坏情况上界和下界的理论结果。关于整个系列，请参见[Zbl 1528.68019号]. MSC公司： 68新元 软件理论 68季度xx 计算理论 关键词：多重自动机;正规欧米茄语言;Büchi自动机;线性时序逻辑;简洁 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，Lect。注释计算。科学。13242，1-20（2022；兹bl 07793020） 全文： 内政部 参考文献： [1] Anguin，D.，Antonopoulos，T.，Fisman，D.：强明确的Büchi自动机在成员查询中是多项式可预测的。在：第28届EACSL计算机科学逻辑年会，CSL。第8:1-8:17页（2020年）·Zbl 07650821号 [2] Angluin，D.，Fisman，D.：学习常规欧米茄语言。西奥。计算。科学。650, 57-72 (2016) ·兹伯利1362.68118 [3] Baier，C.，Katoen，J.：模型检验原理。麻省理工学院出版社（2008）·Zbl 1179.68076号 [4] Beimel，A.，Bergadano，F.，Bshouty，N.H.，Kushilevitz，E.，Varricchio，S.：学习函数表示为多重自动机。J.ACM 47（3），506-530（2000年5月）·Zbl 1094.68575号 [5] Bergadano，F.，Varricchio，S.：从多重性和等价性查询中学习自动机的行为。SIAM J.计算。25(6), 1268-1280 (1996) ·Zbl 0864.68063号 [6] Bousquet，N.，Löding，C.：强明确Büchi自动机的等价性和包含问题。在：语言与自动机理论与应用，第四届国际会议，LATA。诉讼程序。第118-129页（2010年）。doi:10.1007/978-3642-13089-2_10·Zbl 1284.68340号 [7] Calbrix，H.，Nivat，M.，Podelski，A.：有理w语言的最终周期词。摘自：第九届程序设计语义学数学基础国际会议论文集。第554-566页。施普林格出版社（1994）·Zbl 0917.20053号 [8] Carton，O.，Michel，M.：明确的Büchi自动机。西奥。计算。科学。297(1-3), 37-81 (2003). doi:10.1016/S0304-3975（02）00618-7·Zbl 1044.68084号 [9] Diekert，V.，Gastin，P.：一阶可定义语言。收录：《逻辑与自动化：历史与展望》（Logic and Automata:History and Perspectives）[以沃尔夫冈·托马斯（Wolfgang Thomas）为荣]。第261-306页（2008年）·Zbl 1234.03024号 [10] Droste，M.，Kuich，W.，Vogler，H.（编辑）：《加权自动机手册》，第4章：理性和可识别系列，Jaques Sakarovitch著，第105-174页。柏林-海德堡施普林格-弗拉格出版社（2009） [11] Gerth，R.，Peled，D.，Vardi，M.，Wolper，P.：线性时序逻辑的简单实时自动验证。In：协议规范、测试和验证XV。1995年公共电视台。施普林格（1996）。doi:10.1007/978-0-387-34892-6_1 [12] Hromković，J.：通信复杂性和并行计算。斯普林格·弗拉格·柏林-海德堡（1997），（也有2013年版。）·Zbl 0873.68098号 [13] Kaznatchev，A.，Panangaden，P.：加权自动机是紧凑的，可以主动学习。信息处理快报171（2021），（作者显然不知道Beimel等人和其他人之前关于学习多重自动机的结果。）·Zbl 1516.68046号 [14] Kuperberg，D.，Pinault，L.，Pous，D.：Büchi自动机的Coinductive算法。摘自：语言理论的发展——第23届国际会议，DLT会议录。第206-220页（2019年）·Zbl 1497.68271号 [15] Manna，Z.，Pnueli，A.：时间属性的层次结构（特邀论文，1989年）。摘自：第九届ACM分布式计算原理研讨会论文集。第377-410页。PODC’90，计算机协会（1990）。doi:10.1145/93385.93442·Zbl 0683.68031号 [16] Michel，M.：用自动机对无限单词进行补充要困难得多。收录：CNET手稿（1988） [17] 莫瑟，B.K.：线性代数和相关介绍性主题。收录：《线性模型》、《平均模型法》、《概率与数理统计》。第1-22页（1996年） [18] 普努利：程序的时序逻辑。输入：FOCS。第46-57页（1977年） [19] 萨卡罗维奇，J.：自动机理论的要素。美国剑桥大学出版社（2009）·Zbl 1188.68177号 [20] Vardi，M.Y.：线性时序逻辑的自动机理论方法。收录：并行逻辑-结构与自动化（第八届班夫高阶研讨会，加拿大班夫，1995年8月27日至9月3日，会议记录）。第238-266页（1995年）。doi:10.1007/3-540-60915-6 [21] Wilke，T.：（\omega）-自动机。CoRR abs/1609.03062（2016），http://arxiv.org/abs/1609.03062 ·Zbl 1516.68051号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。