塞斯·福格蒂；奥尔纳库普弗曼；莫舍·瓦尔迪。；托马斯·威尔克 Büchi词自动机的轮廓树及其在确定中的应用。 （英语） Zbl 1336.68155号 Inf.计算。 245, 136-151 (2015). 一个\（\omega\）-自动机是一个有限状态机，它读取有限字母表上的无限单词，接受或拒绝根据一些单词验收条件.自动机最初是在20世纪60年代为了研究一元二阶逻辑而引入的，作为非暂停计算的自然模型，自动机在计算机科学中有许多应用。自动机理论中的一个中心问题是，是否以及如何用接受完全相同单词的确定性自动机来取代不确定性自动机。在（ω）-自动机的情况下，这个问题相当复杂，已经证明它取决于验收条件的类型。例如，具有Büchi接受条件的确定性自动机（简称Büchi自动机）的功能严格不如其非确定性对应物。虽然可以确定非确定性Büchi（ω）-自动机，但该过程通常会产生具有更强大接受条件的确定性（ω-自动机），如拉宾接受条件。虽然多年来发展了许多确定Büchi自动机的方法，但这些过程相当复杂和复杂。本文的目的是开发原理、概念和数据结构，以提高对这些确定算法的理论原理的理解。为此，作者扩展了基于配置文件方法[第一作者等人，Log.Methods Comput.Sci.9，第1期，第14号论文，第26页（2013；Zbl 1274.68158号)]根据对接受国的访问历史。在本文中，他们介绍了配置文件树并表明它允许发展一种新的单指数Büchi确定结构。与之前的方法相反，此构造使用声明性而不是操作性定义来定义确定性自动机的状态之间的转换。审核人：罗杰·维尔梅尔（蒙特勒） 引用于6文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：自动机理论；配置文件树；Büchi测定；Büchi简介 引文：Zbl 1274.68158号 PDF格式BibTeX公司 XML格式引用 \textit{S.Fogarty}等人，《信息计算》。245136--151（2015年；Zbl 1336.68155） 全文： 内政部 arXiv公司 参考文献： [1] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；Kupferman，O.，《交替时间时序逻辑》，J.ACM（2002）·Zbl 1326.68181号 [2] Althoff，C.S。；托马斯·W·。；Wallmeier，N.，《关于确定Büchi自动机的观察》，Theor。计算。科学。，363, 2, 224-233 (2006) ·Zbl 1153.68399号 [3] Büchi，J.R.，《受限二阶算法中的决策方法》（ICLMPS（1962））·Zbl 0147.25103号 [4] Courcoubetis，C。；Yannakakis，M.，《概率验证的复杂性》，J.ACM（1995）·Zbl 0885.68109号 [5] Doyen，L。；Raskin，J.-F.，基于自动机的模型检查方法的改进算法（TACAS（2007））·Zbl 1186.68285号 [6] 弗里德古特，E。；库普夫曼，O。；国际期刊发现，Vardi，M.Y.，Büchi互补性变得更紧密。计算。科学。(2006) ·Zbl 1096.68081号 [7] Fogarty，S。；库普夫曼，O。；瓦尔迪，M.Y。；Wilke，Th.，统一Büchi补语结构，Log。方法计算。科学。(2013) ·Zbl 1274.68158号 [8] Fogarty，S。；Vardi，M.Y.，《高效的Büchi通用性检查》（TACAS（2010））·Zbl 1258.68076号 [9] 克雷廷斯基，J。；Esparza，J.，LTL（F，G）片段的确定自动机，（CAV（2012）） [10] 库普夫曼，O。；Vardi，M.Y.，《弱交替自动机并没有那么弱》，ACM Trans。计算。日志。(2001) ·Zbl 1171.68551号 [11] 库普夫曼，O。；Vardi，M.Y.，无安全决策程序（FOCS（2005）） [12] 卡勒，D。；Wilke，Th.，《统一的Büchi自动机的互补、消歧和确定》（ICALP（2008））·Zbl 1153.68032号 [13] Landweber，L.H.，（ω）-自动机的决策问题，数学。系统。理论（1969）·Zbl 0182.02402号 [14] Löding，C.，欧米伽-自动机转化的最佳界（FSTTCS（1999）） [15] McNaughton，R.，用有限自动机测试和生成无限序列，Inf.Control（1966）·Zbl 0212.33902号 [16] 穆勒，D.E。；Schupp，P.E.，用非确定性自动机模拟交替树自动机：Rabin，McNaughton和Safra，Theor定理的新结果和新证明。计算。科学。(1995) ·Zbl 0873.68135号 [17] Piterman，N.，《从非确定性Büchi和Streett自动机到确定性奇偶自动机》（LICS（2006））·Zbl 1125.68067号 [18] 普努利，A。；Rosner，R.，《关于反应性模块的合成》（POPL（1989））·Zbl 0686.68015号 [19] M.O.拉宾。；Scott，D.，《有限自动机及其决策问题》，IBM J.Res.Dev.（1959）·Zbl 0158.25404号 [20] Safra，S.，关于（ω）-自动机的复杂性，（FOCS（1988）） [21] Schewe，S.，Büchi互补紧密，（STACS（2009））·Zbl 1236.68176号 [22] Schewe，S.，《确定Büchi自动机的更严格界限》（FOSSACS（2009））·Zbl 1234.68239号 [23] 蔡先生。；Fogarty，S。；瓦尔迪，M.Y。；Tsay，Y.-K.，《比奇互补状态》（CIAA（2010）） [24] Tasiran，S。；霍贾蒂，R。；Brayton，R.K.，《非确定性欧米伽自传体的语言包容》（CHARME（1995）） [25] Vardi，M.Y.，集分区的预期属性（1980），魏茨曼科学研究所，研究报告 [26] Vardi，M.Y.，概率并发有限状态程序的自动验证（FOCS（1985）） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。