贝内迪克特·布吕奇;沃尔夫冈·托马斯 求解Baire空间中的无限对策。 （英语） Zbl 07597926号 芬丹。通知。 186，编号1-4，63-88（2022）. 摘要：研究了无限对策（以Gale-Stewart对策的形式），其中一个对策是两个参与者交替选择的自然数序列，获胜条件是Baire空间的子集。我们考虑由字母表（mathbb{N}）上的自然奇偶自动机定义的这种游戏，称为MSO-自动机，其中转换由自然数的后继结构上的一元二阶公式指定。我们证明了经典的Büchi-Landweber定理（对于康托空间中的有限状态对策（2^\omega））对当前对策再次成立：由确定性奇偶校验（mathbb{N}）-MSO-自动机定义的对策被确定，赢家可以被计算，并且（mathbb{N}\）-可以构造用于为获胜者实现获胜策略的MSO换能器。 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 91A44型 涉及拓扑、集合论或逻辑的游戏 关键词：无限游戏;Gale-Stewart游戏;确定性;无限字母表上的自动机;传感器;一元二阶逻辑;教会综合问题;下推系统 PDF格式BibTeX公司 XML格式引用 \textit{B.Brütsch}和\textit{W.Thomas}，Fundam。通知。186，编号1--4，63-88（2022；Zbl 07597926） 全文： 内政部 arXiv公司 参考文献： [1] Büchi JR，Landweber LH。用有限状态策略求解序列条件。美国数学学会学报，1969年。138:295-311. doi:10.2307/1994916·Zbl 0182.02302号 ·doi:10.2307/1994916 [2] Trakhtenbrot BA，Barzdin YM。有限自动机：行为与合成，计算机科学基础研究第一卷。北荷兰公社。1973年，阿姆斯特丹。国际标准图书编号0444104186·Zbl 0271.94032号 [3] Grädel E，Thomas W，Wilke T（编辑）。《自动机、逻辑和无限游戏：当前研究指南》，计算机科学讲义第2500卷。斯普林格，2002年。doi:10.1007/3-540-36387-4·Zbl 1011.00037号 ·doi:10.1007/3-540-36387-4 [4] 托马斯·W·语言、自动机和逻辑。收录于：Rozenberg G，Salomaa A（编辑），《形式语言手册》，第389-455页。施普林格，1997年。doi:10.1007/978-3-642-59126-67·Zbl 0866.68057号 ·doi:10.1007/978-3-642-59126-67 [5] 无限游戏中的策略：无限字母表上的结构化反应程序和换能器。德国亚琛理工大学博士论文，2018年。doi:10.18154/RWTH-2020-03492·文件编号：10.18154/RWTH-2020-03492 [6] Brütsch B，Thomas W.在拜尔空间玩游戏。摘自：《复杂系统综合游戏Cassting研讨会论文集》（Cassting 2016），EPTCS第220卷。2016年第13-25页。doi:10.4204/EPTCS.220.2·doi:10.4204/EPTCS.220.2 [7] Spelten A，Thomas W，Winter S.无限结构上的树和同步路径逻辑。摘自：第13届无限状态系统验证国际研讨会论文集（INFINITY 2011），EPTCS第73卷。2011年，第20-34页。doi:10.4204/EPTCS.73.5·Zbl 1457.68169号 ·doi:10.4204/EPTCS.73.5 [8] Czyba C，Spinrath C，Thomas W.无限字母表上的有限自动机：局部变化的两个过渡模型。摘自：《第19届语言理论发展国际会议论文集》（DLT 2015），计算机科学讲稿第9168卷。施普林格，2015年，第203-214页。doi:10.1007/978-3-319-21500-616·Zbl 1386.68088号 ·doi:10.1007/978-3-319-21500-616 [9] Brütsch B、Landwehr P、Thomas W.N—字母N上的记忆自动机。《第十一届语言与自动机理论与应用国际会议论文集》（LATA 2017），计算机科学讲义第10168卷。施普林格，2017年，第91-102页。doi:10.1007/978-3-319-53733-76·Zbl 1485.68137号 [10] Kaminski M，Francez N.Finite-Memory Automata。理论计算机科学，1994年。134(2):329-363. doi:10.1016/0304-3975（94）90242-9·Zbl 0938.68711号 ·doi:10.1016/0304-3975（94）90242-9 [11] Bojañczyk M，David C，Muscholl A，Schwentick T，Segoufin L.数据字的双变量逻辑。ACM计算逻辑汇刊，2011年。12(4):27. doi:10.1145/1970398.1970403·Zbl 1352.03041号 ·数字对象标识代码：10.1145/1970398.1970403 [12] Tan T.具有有序数据值的树的自动机模型。摘自：第27届IEEE计算机科学逻辑研讨会论文集（LICS 2012）。IEEE计算机学会，2012年，第586-595页。doi:10.1109/LICS.2012.69·兹比尔1361.68124 ·doi:10.109/LICS.2012.69 [13] Bojañczyk M，Klin B，Lasota S.名义集自动机理论。《计算机科学中的逻辑方法》，2014年。10(3). doi:10.2168/LMCS-10（3:4）2014年·Zbl 1338.68140号 ·doi:10.2168/LMCS-10（3:4）2014年 [14] Bojañczyk M，Stefanánski R.无限字母表的单用途自动机和传感器。收录于：Czumaj A、Dawar A、Merelli E（编辑），第47届国际自动化、语言和编程学术讨论会（ICALP 2020），LIPIcs第168卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），2020年，第113:1-113:14页。doi:10.4230/LIPIcs。ICALP.2020.113·doi:10.4230/LIPIcs。ICALP.20.113年 [15] Carayol A，Löding C，Niwinski D，Walukiewicz I.无限二叉树上的选择函数和良序。《开放数学》，2010年。8(4). doi:10.2478/s11533-010-0046-z·Zbl 1215.03054号 ·doi:10.2478/s11533-010-0046-z [16] 莫拉宾。二阶理论的可判定性和无限树上的自动机。美国数学学会学报，1969年。141:1-35. doi:10.1090/S0002-9947-1969-024676-1·Zbl 0221.02031 ·doi:10.1090/S0002-9947-1969-0246760-1 [17] Gale D，Stewart F.完美信息的无限游戏。摘自：《对游戏理论的贡献》，《数学研究年鉴》，第245-266页。普林斯顿大学出版社，1953年。doi:10.1515/9781400881970-014·Zbl 0050.14305号 [18] Martin DA。Borel确定性。《数学年鉴》，1975年。102(2):363-371. doi:10.2307/1971035·Zbl 0336.02049号 ·doi:10.2307/1971035 [19] Church A.逻辑、算术和自动机。摘自：《1962年国际数学家大会论文集》，第23-35页。米塔格·莱弗勒研究所（Institute Mittag-Leffler，Djursholm），1963年。 [20] McNaughton R.Finite-State无限游戏。技术报告MAC-M-125，麻省理工学院，1965年。 [21] Kupferman O，Piterman N，Vardi MY。无限状态系统的自动机理论方法。摘自：Manna Z，Peled DA（编辑），《验证时间》，《计算机科学讲稿》第6200卷，第202-259页。施普林格，2010年。doi:10.1007/978-3642-13754-9_11·Zbl 1288.68158号 ·doi:10.1007/978-3-642-13754-9_11 [22] Piterman N，Vardi MY。微宏堆栈系统：序列系统基本可决定性的新前沿。摘自：第18届IEEE计算机科学逻辑研讨会论文集（LICS 2003）。2003年，第381-390页。doi:10.1109/LICS.2003.1210078·doi:10.1109/LICS.2003.1210078 [23] 前缀可识别图上奇偶对策的Cachat T.一致解。理论计算机科学电子笔记，2003年。68(6):71-84. doi:10.1016/S1571-0661（04）80534-6·Zbl 1270.91017号 ·doi:10.1016/S1571-0661（04）80534-6 [24] Caucal D.关于图灵机的转移图。理论计算机科学，2003年。296(2):195-223. doi:10.1016/S0304-3975（02）00655-2·Zbl 1044.68054号 ·doi:10.1016/S0304-3975（02）00655-2 [25] Blumensath A，Colcombet T，Löding C.逻辑理论与兼容运算。收录：Flum J，Grädel E，Wilke T（编辑），《逻辑与自动机：历史与展望》，逻辑与游戏文本第2卷。阿姆斯特丹大学出版社，2008年，第73-106页·Zbl 1244.03050号 [26] 艾默生EA，朱特拉CS。树自动机、微积分和确定性。摘自：第32届计算机科学基础年度研讨会论文集（FOCS 1991）。IEEE计算机学会，1991年，第368-377页。doi:10.1109/SFCS.1991.185392·doi:10.1109/SFCS.1991.185392 [27] Walukiewicz I.树状结构上的一元二阶逻辑。理论计算机科学，2002年。275(1-2):311-346. doi:10.1016/S0304-3975（01）00185-2·兹比尔1026.68087 ·doi:10.1016/S0304-3975（01）00185-2 [28] Carayol A，Hague M。下推可达性游戏中的常规策略。在：《计算机科学讲义》第8762卷第8届可达性问题国际研讨会论文集（RP 2014）。Springer，2014年，第58-71页。doi:10.1007/978-3-319-11439-2-5·Zbl 1448.68260号 ·doi:10.1007/978-3-319-11439-2-5 [29] Landweber左侧。ω-自动机的决策问题。数学系统理论，1969年。3(4):376-384. doi:10.1007/BF01691063·Zbl 0182.02402号 ·doi:10.1007/BF01691063 [30] Cachat T、Duparc J、Thomas W.在∑3获胜条件下求解下推游戏。摘自：第16届国际研讨会论文集/欧洲计算机学会计算机科学逻辑第11届年会（CSL 2002），计算机科学讲稿第2471卷。斯普林格，2002年，第322-336页。doi:10.1007/3-540-45793-3_22·Zbl 1020.68049号 ·doi:10.1007/3-540-45793-322 [31] 具有高Borel复杂度获胜条件的Serre O.游戏。理论计算机科学，2006年。350(2-3):345-372. doi:10.1016/j.tcs.2005.10.024·Zbl 1125.91024号 ·doi:10.1016/j.tcs.2005.10.024 [32] Finkel O.Borel层次结构和Omega上下文无关语言。理论计算机科学，2003年。290(3):1385-1405. doi:10.1016/S0304-3975（02）00042-7·Zbl 1051.68094号 ·doi:10.1016/S0304-3975（02）00042-7 [33] 芬克尔·O·无上下文游戏的决定性。《符号逻辑杂志》，2013年。78(4):1115-1134. doi:10.2178/jsl.7804050·Zbl 1349.03038号 ·文件编号：10.2178/jsl.7804050 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。