亚历山德罗·法奇尼;菲利普·莫拉克;Micha Skrzypczak 游戏自动机的索引问题。 （英语） Zbl 1367.68167号 ACM事务处理。计算。日志。 17号第4条第24条第38页（2016年）. 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：无限树上的自动机;拉宾-莫斯托夫斯基指数;交替;平价游戏 PDF格式BibTeX公司 XML格式引用 \textit{A.Facchini}等人，ACM Trans。计算。日志。17，第4号，第24条，第38页（2016年；Zbl 1367.68167） 全文： DOI程序 arXiv公司 参考文献： [1] 安德尔é；阿诺德。1999年。多演算交替深度层次结构对二叉树是严格的。ITA 33，4/5（1999），329–340·Zbl 0945.68118号 [2] 安德烈é；Arnold和Damian Niwiń；滑雪。2001年，Mu微积分基础。爱思唯尔。 [3] 安德烈é；Arnold和Damian Niwiń；滑雪。2007.游戏语言的持续分离。《基础信息》81，1–3（2007），19–28·Zbl 1213.03051号 [4] 安德烈é；Arnold和Luigi Santocanale。2005年。&mu；中的模糊类-计算层次结构。西奥。计算。科学。333, 1–2 (2005), 265–296. ·Zbl 1070.68077号 [5] Mikoł；aj博雅ń；czyk和Thomas Place。2012.无限树的正则语言，是开放集的布尔组合。第39届国际自动化、语言和编程学术讨论会论文集（ICALP’；12）。104–115. ·Zbl 1367.68160号 ·数字对象标识代码：10.1007/978-3-642-31585-5_13 [6] 朱利安·布拉德菲尔德（Julian C.Bradfield）。1998年。简化模态多演算交替层次结构。第15届计算机科学理论方面年度研讨会论文集（STACS’；98）。39–49. ·Zbl 0892.03005号 ·doi:10.1007/BFb0028547 [7] 朱利叶斯·理查德Bü；芝加哥。1962.关于限制二阶算法中的一种决策方法。1960年国际逻辑、方法论和科学哲学大会论文集。1–11. [8] Thomas Colcombet、Denis Kuperberg、Christof Lö；丁和迈克尔·范登·布姆。2013.决定Bü；的弱可定义性；chi可定义树语言。第22届EACLS年会会议记录（CSL’；13）。215–230. ·Zbl 1356.68129号 [9] Thomas Colcombet和Christof Lö；丁。2008年，非确定性莫斯托夫斯基层次和距离-完整自动机。第35届国际自动化、语言和编程学术讨论会论文集（ICALP’；08）。398–409. ·Zbl 1165.68038号 ·doi:10.1007/978-3-540-70583-3_33 [10] 雅克·杜帕克、亚历山德罗·法奇尼和菲利普·穆拉克。2011.对弱可识别树集的可定义操作。在第31届IARCS软件技术和理论计算机科学基础年会的会议记录中（FSTTCS’；11）。363–374. ·Zbl 1246.68142号 [11] 雅克·杜帕克和菲利普·穆拉克。2007。关于弱可识别树语言的拓扑复杂性。在第16届计算理论基础国际研讨会论文集（FCT’；07）中。261–273. ·Zbl 1135.68028号 ·doi:10.1007/978-3-540-74240-1.23 [12] E.艾伦·爱默生（E.Allen Emerson）和查兰吉特·朱特拉（Charanjit S.Jutla）。树自动机、微积分和确定性。第32届计算机科学基础年度研讨会论文集（FOCS’；91）。368–377. ·doi:10.1109/SFCS.1991.185392 [13] 亚历山德罗·法奇尼（Alessandro Facchini）、菲利普·穆拉克（Filip Murlak）和米查（Michał；）；斯科齐普扎克。2013.拉宾-莫斯托夫斯基指数问题：超越确定性自动机的一步。第28届ACM/IEEE年度计算机科学逻辑研讨会论文集（LICS’；13）。499–508. ·Zbl 1366.68142号 ·doi:10.1109/LICS.2013.56 [14] 亚历山德罗·法奇尼（Alessandro Facchini）、菲利普·穆拉克（Filip Murlak）和米查（Michał；）；Skrzypczak。2015.关于游戏自动机的弱指数问题。第22届逻辑、语言、信息和计算国际研讨会论文集（WoLLIC’；15）。93–108. ·Zbl 1465.68143号 ·doi:10.1007/978-3-662-47709-08 [15] 亚历山大·凯克里斯（Alexander Kechris），1995年。经典描述集合论。纽约施普林格-弗拉格·Zbl 0819.04002号 ·doi:10.1007/978-1-4612-4190-4 [16] 丹尼斯·库珀伯格（Denis Kuperberg），2012年。课堂练习曲；t Ré；古里è；res.博士论文。大学é；巴黎·狄德罗。 [17] 拉尔夫Kü；斯特斯和托马斯·威尔克。2002年，确定第一级&mu-微积分交替层次。第22届IARCS软件技术和理论计算机科学基础年会论文集（FSTTCS’；02）。241–252. ·Zbl 1027.03030号 [18] 罗伯特·麦克诺顿。1966.用有限自动机测试和生成无限序列。信息与控制9，5（1966），521-530·Zbl 0212.33902号 ·doi:10.1016/S0019-9958（66）80013-X [19] 安德烈·莫斯托夫斯基（Andrzej W.Mostowski）。1984.无限树的正则表达式和自动机的标准形式。第五届计算理论研讨会论文集。157–168. [20] 安德烈·莫斯托夫斯基（Andrzej W.Mostowski）。1991年a。带有禁止位置的游戏。技术报告。Gda大学ń；sk公司。 [21] 安德烈·莫斯托夫斯基（Andrzej W.Mostowski）。1991年b。弱自动机和弱一元公式的层次结构。西奥。计算。科学。83, 2 (1991), 323–335. ·Zbl 0728.68086号 ·doi:10.1016/0304-3975（91）90283-8 [22] 戴维·穆勒（David E.Muller）、艾哈迈德·索乌迪（Ahmed Saoudi）和保罗·舒普（Paul E.Schupp）。1986.交替自动机。树的弱一元理论及其复杂性。第13届国际自动化、语言和编程学术讨论会论文集（ICALP’；86）。275–283. ·Zbl 0617.03020号 ·doi:10.1007/3-540-16761-7_77 [23] 菲利普·穆拉克。2005.关于确定确定性树语言的拓扑类。第14届EACLS年会会议记录（CSL’；05）。428–441. ·Zbl 1136.03320号 ·doi:10.1007/11538363_30 [24] 菲利普·穆拉克。2008年a。可识别树语言的有效拓扑层次。博士论文。华沙大学·Zbl 1159.03025号 [25] 菲利普·穆拉克。2008年b。弱指数与Borel排名。第25届计算机科学理论方面年度研讨会论文集（STACS’；08）。573–584. ·Zbl 1259.68112号 [26] Damian Niwiń；滑雪和Igor Walukiewicz。1998.单词和树自动机的相关层次结构。第15届计算机科学理论方面年度研讨会论文集（STACS’；98）。320–331. ·Zbl 0892.68067号 ·doi:10.1007/BFb0028571 [27] Damian Niwiń；滑雪和伊戈尔·瓦卢凯维奇。2003.确定性树语言的间隙属性。西奥。计算。科学。1, 303 (2003), 215–231. ·Zbl 1044.68120号 ·doi:10.1016/S0304-3975（02）00452-8 [28] Damian Niwiń；滑雪和Igor Walukiewicz。2005.决定确定性树自动机的不确定性层次。选举人。注释Theor。计算。科学。123 (2005), 195–208. ·doi:10.1016/j.entcs.2004.05.015 [29] 马丁·奥托。1999.消除&mu；中的递归-微积分。第16届计算机科学理论方面年度研讨会论文集（STACS’；99）。531–540. ·Zbl 0924.03029号 [30] 迈克尔·拉宾（Michael O.Rabin），1969年。无限树上二阶理论和自动机的可判定性。事务处理。美国数学。《社会分类》第141卷（1969年），第1-35页·Zbl 0221.02031 [31] 迈克尔·拉宾（Michael O.Rabin），1970年。弱可定义关系和特殊自动机。在数理逻辑与集合论基础研讨会论文集上。1–23. ·doi:10.1016/S0049-237X（08）71929-3 [32] 撒哈拉沙拉。1975年，一元秩序理论。《数学年鉴》102，3（1975），379–419·Zbl 0345.02034号 ·doi:10.2307/1971037 [33] Jerzy Skurczyń；滑雪。1993年，在正则树集合类中，Borel层次是无限的。西奥。计算。科学。112, 2 (1993), 413–418. ·Zbl 0771.68077号 ·doi:10.1016/0304-3975（93）90030-W [34] 托马斯·弗莱德里克·乌尔巴ń；滑雪。2000.关于判定确定性拉宾语言是否在Bü；chi类。第27届国际自动化、语言和编程学术讨论会论文集（ICALP’；00）。663–674. ·Zbl 0973.03052号 ·doi:10.1007/3-540-45022-X_56 [35] 迈克尔·范登·布姆。2012.无限树上的弱代价自动机。博士论文。牛津大学·Zbl 1433.03102号 [36] 威廉·沃奇（William Wadge）。1983年Baire空间中的可约性和确定性。博士论文。加州大学伯克利分校。 [37] 伊戈尔·瓦卢基维奇（Igor Walukiewicz）。2002.确定树自动机层次结构的低级别。选举人。注释Theor。计算。科学。67 (2002), 61–75. ·Zbl 1261.68082号 ·doi:10.1016/S1571-0661（04）80541-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。