克里斯托夫·Löding；沃尔夫冈·托马斯 有限树上的自动机。 （英语） Zbl 07469505号 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。235-264（2021年）。 总结：有关整个系列，请参见[Zbl 1470.68001号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 05年3月 与逻辑问题相关的自动机和形式文法 关键词：树自动机 软件：MONA公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}和\textit{W.Thomas}，摘自：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。235-264（2021；Zbl 07469505） 全文： 内政部 参考文献： [1] A.V.Aho和J.D.Ullman，《无语境语法的翻译》。信息与控制19（1971），439-475。MR 0317590 Zbl 0244.68035 q.v.236、250·Zbl 0244.68035号 [2] Y.Bargury和J.A.Makowsky，传递闭包和双向多头自动机的表达能力。《计算机科学逻辑》（E.Börger、G.Jäger、H.K.Büning和M.M.Richter主编）。第五届研讨会论文集，1991年10月7日至11日，瑞士伯尔尼CSL’91。计算机科学课堂讲稿，626。施普林格，柏林，1991年，1-14。MR 1232874 Zbl 0783.03018 q.v.253·Zbl 0783.03018号 [3] D.Beauquier和J.-E。别针、语言和扫描仪。定理。计算。科学。84（1991），第1期，3-21。Zbl 0753.68054 q.v.260号·Zbl 0753.68054号 [4] M.Benedikt和L.Segoufin，可在FO和FO mod中定义的正则树语言。ACM事务处理。计算。日志。11（2009），第1号，第4条，1-32。MR 2664302 Zbl 1351.68134 q.v.260号·兹比尔1351.68134 [5] 博扬奇克，树行走自动机。《语言与自动机理论与应用》（C.Martín-Vide、F.Otto和H.Fernau编辑）。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。计算机科学课堂讲稿，5196。施普林格，柏林，2008年，1-2。Zbl 1156.68445 q.v.252·Zbl 1156.68445号 [6] M.Bojaáczyk和T.Colcombet，树行走自动机无法确定。定理。计算。科学。350（2006），编号2-3，164-173。MR 2197199 Zbl 1086.68070 q.v.252·兹比尔1086.68070 [7] M.Bojaáczyk和T.Colcombet，树行走自动机不能识别所有常规语言。SIAM J.计算。38（2008），第1期，658-701。Zbl 1172.68030 q.v.252·Zbl 1172.68030号 [8] M.Bojañczyk、L.Segoufin和H.Straubing，分段可测试树语言。日志。方法与计算。科学。8（2012），第3期，3:26，32页MR 2987919 Zbl 1261.03126 q.v.261·Zbl 1261.03126号 [9] M.Bojañczyk和I.Walukiewicz，描述EF和EX树逻辑。定理。计算。科学。358（2006），第2-3、255-272号。MR 2250435 Zbl 1097.03013 q.v.261·Zbl 1097.03013号 [10] W.S.Brainerd，生成规则系统的树。信息与控制14（1969），217-231。MR 0239875 Zbl 0169.31601 q.v.247·Zbl 0169.31601号 [11] J.R.Büchi，弱二阶算术和有限自动机。Z.数学。Logik Grundlagen数学。6 (1960), 66-92. MR 0125010 Zbl 0103.24705 q.v.244·Zbl 0142.24902号 [12] Büchi，正则正则系统。架构（architecture）。数学。Logik Grundlagenforsch公司。6 (1964), 91-111. MR 0169410 Zbl 0129.26102 q.v.247·Zbl 0129.26102号 [13] J.R.Büchi，J.Richard Büch的作品集（S.Mac Lane和D.Siefkes编辑）。斯普林格，纽约，1990年。MR 1030043兹bl 0725.68006第236页·Zbl 0725.68006号 [14] J.Carme、J.Niehren和M.Tommasi，使用逐步树自动数据查询未分类的树。《重写技术和应用》（V.van Oostrom编辑）。2004年6月3日至5日在亚琛RWTH举行的第15届国际会议（RTA 2004）的会议记录。计算机科学课堂讲稿，3091。柏林施普林格，2004年，105-118。MR 2154976 Zbl 1187.68188 q.v.255号·Zbl 1187.68188号 [15] H.Comon、M.Dauchet、R.Gilleron、F.Jacquemard、C.Löding、D.Lugiez、S.Tison和M.Tommasi，《树自动机技术和应用》。预印本，2007年。http://tata.gforge.inria.fr（网址：http://tata.gforge.inria.fr）/问题237、246、248、258、259、261 [16] M.Dauchet和S.Tison，地面重写系统的理论是可判定的。在第五届IEEE计算机科学逻辑年会上。1990年6月4日至7日在宾夕法尼亚州费城举行的研讨会记录。IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，1990年，242-248。MR 1099177 IEEEXplore 113750 q.v.248、250 [17] J.Doner，Tree acceptors及其一些应用。J.计算。系统科学。4 (1970), 406-451. MR 0287977 Zbl 0212.02901 q.v.235、244、245·Zbl 0212.02901号 [18] C.C.Elgot，有限自动机设计的决策问题和相关算法。事务处理。阿默尔。数学。《社会》98（1961），21-51。MR 0139530 Zbl 0111.01102 q.v.244号·Zbl 0111.01102号 [19] J.Engelfriet，基项重写系统的派生树。通知。和计算。152（1999），第1期，第1-15页。MR 1699045 Zbl 1045.68580 q.v.249·兹比尔1045.68580 [20] J.Engelfriet和H.J.Hoogeboom，带嵌套卵石的自动机用传递闭包捕获一阶逻辑。日志。方法计算。科学。3（2007年），第2期，第2:3，27页MR 2306569 Zbl 1128.03027 q.v.253·Zbl 1128.03027号 [21] F.Gécseg和M.Steinby，树自动机。1984年，布达佩斯，阿卡德米亚·基奥。MR 0735615 Zbl 0537.68056 q.v.236·Zbl 0537.68056号 [22] F.Gécseg和M.Steinby，树语言。《正式语言手册》（G.Rozen-berg和A.Salomaa编辑）。第3卷。超越语言。施普林格，柏林，1997，1-68。MR 1470018 q.v.236 [23] J.E.Hopcroft和J.D.Ullman，自动机理论、语言和计算导论。Addison-Wesley计算机科学系列。Addison-Wesley，马萨诸塞州雷丁，1979年。MR 0645539 Zbl 0426.68001 q.v.251·Zbl 0426.68001号 [24] N.Klarlund，Mona&Fido：实际中的逻辑自动机连接。《计算机科学逻辑》（M.Nielsen和W.Thomas主编）。97年CSL第11届国际研讨会 [25] 1997年8月23日至29日在丹麦奥胡斯举行的EACSL年会。精选论文。柏林施普林格，1997年，311-326。第246案 [26] N.Klarlund和A.Möller，MONA 1.4版用户手册。Notes系列NS-01-1。金砖国家，奥胡斯大学计算机科学系，2001年1月。http://www.brics.dk/mona/问题246 [27] D.E.Knuth，《计算机编程的艺术》。第1卷。基本算法。第三版。Addison-Wesley，马萨诸塞州雷丁，1997年。MR 3077152 Zbl 0895.68055 q.v.254·Zbl 0895.68055号 [28] D.C.Kozen，自动化和可计算性。计算机科学本科课文。施普林格，纽约，1997年。MR 1633052 Zbl 0883.68055 q.v.251·Zbl 0883.68055号 [29] C.Löding，正则地树重写图上的可达性问题。理论计算。系统。39（2006），第2347-383号。MR 2205826 Zbl 1101.68049 q.v.249、250·Zbl 1101.68049号 [30] C.Löding，树自动机基础。在自动机理论的现代应用中（D.D’Souza和P.Shankar编辑）。卷专用于P.Shankar的记忆。IISc重新研究专题系列，2。新泽西州哈肯萨克的《世界科学》和班加罗尔ISc出版社，2012年，第79-110页。Zbl 1256.68103 q.v.237号 [31] W.Martens，XML转换和模式语言的静态分析。博士论文。哈塞尔特大学，哈塞尔特，2006年。MR 2708593 q.v.258 [32] W.Martens、F.Neven、T.Schwettick和G.J.Bex，XML模式的表达性和复杂性。ACM事务处理。数据库系统。31（2006），第3期，770-813。问题259 [33] A.Möller和M.I.Schwartzbach，指针断言逻辑引擎。编程语言设计与实现会议记录（M.Burke和M.L.Soa，eds.）。2001年PLDI。计算机协会，纽约，2005年，221-231。问题246 [34] M.Murata、D.Lee、M.Mani和K.Kawaguchi，《使用形式语言理论的XML模式语言分类》。ACM事务处理。互联网技术5（2005），第4期，660-704。问题259 [35] A.Muscholl、M.Samuelides和L.Segoufin，互补确定性树行走自动机。通知。过程。莱特。99（2006），第1期，33-39。MR 2223576 Zbl 1184.68324 q.v.251·Zbl 1184.68324号 [36] T.Place和L.Segoufin，局部可测试树语言的可判定特征。日志。方法计算。科学。7（2011），第4期，4:3，25页MR 2861683 Zbl 1237.68119 q.v.261·Zbl 1237.68119号 [37] 有限树上的一阶Pottho逻辑。计算多项式时间内无限单词正则语言的Wadge度、Lifschitz度和Rabin指数。在TAPSOFT’95：软件开发的理论与实践。（P.D.Mosses、M.Nielsen和M.I.Schwartzbach编辑）。1995年5月22日至26日在奥胡斯大学举行的第六届软件开发理论与实践国际联合会议（CAAP/FASE）会议记录。计算机科学讲义，915。柏林施普林格，1995年，125-139。问题260·Zbl 1496.68178号 [38] A.Pottho和W.Thomas，没有一元符号的正则树语言是无星的。《计算理论基础》。（张爱植主编）。1993年8月23日至27日在塞格德举行的第九届国际会议（FCT’93）的会议记录。计算机科学课堂讲稿，710。柏林施普林格，1993年，396-405。MR 1260508 Zbl 0794.68088 q.v.261·Zbl 0794.68088号 [39] 拉宾，二阶理论的可判定性和无限树上的自动机。事务处理。阿默尔。数学。《社会》第141卷（1969年）1-35页。MR 0246760 Zbl 0221.02031 q.v.249·兹比尔0221.02031 [40] K.Reinhardt，将逻辑转换为有限自动机的复杂性。在自动机、逻辑和无限游戏中（E.Grädel、W.Thomas和T.Wilke编辑）。当前研究指南。计算机科学课堂讲稿，2500。柏林施普林格，2002年，231-238。MR 2070744 Zbl 1021.03031 q.v.246·Zbl 1021.03031号 [41] H.Straubing，有限自动机，形式逻辑和电路复杂性。理论计算机科学进展。伯赫用户波士顿，马萨诸塞州波士顿，1994年。MR 1269544 Zbl 0816.68086 q.v.260号·兹伯利0816.68086 [42] 高桥，正则集的推广及其在无上下文语言研究中的应用。信息与控制27（1975），1-36。MR 0373387 Zbl 0291.68031 q.v.255·Zbl 0291.68031号 [43] B.ten Cate和L.Segoufin，传递闭包逻辑，嵌套树行走自动机和XPath。J.ACM 57（2010），第3号，第18条，41页MR 2665887 Zbl 1327.03024 q.v.253，254·Zbl 1327.03024号 [44] J.W.Thatcher和J.B.Wright，广义有限自动机理论及其在二阶逻辑决策问题中的应用。数学。系统理论2（1968），57-81。MR 0224476 Zbl 0157.02201 q.v.235、244、245·Zbl 0157.02201号 [45] 托马斯，树语言研究中的逻辑方面。第九届代数和程序设计树木学术研讨会（B.Courcelle主编），波尔多学术研讨会会议记录，1984年3月5日至7日，31-49日。MR 0787450 Zbl 0557.68051 q.v.261·Zbl 0557.68051号 [46] W.托马斯，《无限对象上的自动机》。在《理论计算机科学手册》（J.vanLeeuwen编辑）中。形式模型和语义。爱思唯尔科学出版社，阿姆斯特丹，麻省理工学院出版社，马萨诸塞州剑桥，1990年，133-191年。MR 1127189 Zbl 0900.68316 q.v.249·Zbl 0900.68316号 [47] A.Thue，Die Lösung eines Spezialfalles eines一般逻辑问题。克拉。Videnskabs-Selskabets Skrifter公司。I.Mat.Nat.Kl.8（1910），273-310。问题236·JFM 42.0237.07号 [48] B.A.Trakhtenbrot，有限自动机和单位置谓词逻辑。西伯利亚。材料。3 (1962), 103-131. 俄语。英语翻译，Amer。数学。社会事务处理。序列号。2 59 (1966) 23-55. MR 0147392 Zbl 0115.00701 Zbl 0192.07801（翻译）q.v.244·Zbl 0192.07801号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。