迪特里赫·库斯克;刘嘉谋;马库斯·洛伊 具有传递关系的自动结构类的同构问题。 （英语） Zbl 1308.03049号 事务处理。美国数学。Soc公司。 365，第10号，5103-5151（2013）. 本文研究了自动结构类（有限自动机可以识别宇宙和所有关系的有限表示结构）的同构问题。证明了自动等价结构的同构问题是（Pi_1^0）-完全的；自动序树和线性序的同构问题是（Sigma1^1）-完备的；自动良序树和有界高度自动树的同构问题递归等价于一阶算法；高度为（ngeq2）的自动树的同构问题是（Pi{2n-3}^0）-完全的。作者还表明，离散线性阶的同构问题可以简化为真算法，但在该问题的下界上仍有待解决。审核人：Marat M.Arslanov（喀山） 引用于1审查引用于10文件 MSC公司： 05年3月 与逻辑问题相关的自动机和形式文法 03D45号 计算理论，有效呈现结构 03C57号 可计算结构理论 关键词：递归理论复杂性;自动结构;同构问题;算术层次的完备性 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}等人，Trans。美国数学。Soc.365，No.10，5103--5151（2013；Zbl 1308.03049） 全文： DOI程序 参考文献： [1] C.J.Ash和J.Knight，《可计算结构与超算术层次》，《逻辑与数学基础研究》，第144卷，北荷兰出版公司，阿姆斯特丹，2000年·Zbl 0960.03001号 [2] 文斯·巴拉尼，自动化的层次结构-具有可判定MSO理论的单词，Theor。通知。申请。42（2008），第3417-450号·Zbl 1152.03030号 ·doi:10.1051/ita:2008008 [3] Łukasz Kaiser、Sasha Rubin和Vince Bárány，基数和欧米伽自动结构上的计数量词，STACS 2008：第25届计算机科学理论方面国际研讨会，LIPIcs。莱布尼茨国际程序。通知。，第一卷，达格斯图尔宫。莱布尼兹·赞特。通知。，Wadern，2008年，第385-396页·Zbl 1259.68109号 [4] S.L.Bloom和Z.Esik，代数线性序，国际。J.发现。计算。科学。22（2011），第2期，491–515·Zbl 1227.18002号 ·doi:10.1142/S0129054111008155 [5] Achim Blumensath和Erich Grädel，《自动结构》，第15届IEEE计算机科学逻辑年会（加州圣巴巴拉，2000年），IEEE计算。Soc.Press，加利福尼亚州洛斯阿拉米托斯，2000年，第51-62页·Zbl 1061.03038号 ·doi:10.1109/LICS.2000.855755 [6] 阿希姆·布卢门萨特和埃里希·格拉德尔，无限结构的有限表示：自动机和解释，理论计算。系统。37（2004），第6期，641-674·Zbl 1061.03038号 ·doi:10.1007/s00224-004-1133-y [7] Gábor Braun和Lutz Strüngmann，分解有限自动机可表示的无挠阿贝尔群，国际。J.代数计算。21（2011），第8期，1463–1472·Zbl 1245.20067号 ·doi:10.1142/S0218196711006625 [8] 韦斯利·卡尔弗特（Wesley Calvert）、道格拉斯·岑泽（Douglas Cenzer）、瓦伦蒂娜·哈里扎诺夫（Valentina Harizanov）和安德烈·莫罗佐夫（Andrei Morozov），《等价结构的有效分类》（Effective categority of e。《逻辑》141（2006），第1-2、61–78期·Zbl 1103.03037号 ·doi:10.1016/j.apal.2005.10.002 [9] Wesley Calvert和Julia F.Knight，《从可计算的角度进行分类》，公牛出版社。符号逻辑12（2006），第2期，191–218·Zbl 1123.03024号 [10] 韦斯利·卡尔弗特、朱莉娅·奈特和杰西卡·米勒，斯科特等级的可计算树\（{1}）和可计算近似，《符号逻辑杂志》71（2006），第1期，283-298·Zbl 1112.03039号 ·doi:10.2178/jsl/1140641175 [11] D.Cenzer和J.B.Remmel，复杂性理论模型理论和代数，递归数学手册，第1卷，发现逻辑研究。数学。，第138卷，荷兰北部，阿姆斯特丹，1998年，第381-513页·兹伯利0941.03035 ·doi:10.1016/S0049-237X（98）80011-6 [12] DelhomméCh。\（\omega^\omega\）的非自动性。2001.手稿。 [13] Christian Delhommé，Automaticédes ordinaux et des grapes homogènes，C.R.Math。阿卡德。科学。巴黎339（2004），第1、5–10号（法语，附英语和法语摘要）·Zbl 1077.68071号 ·doi:10.1016/j.crma.2004.03.035 [14] A.Durand-Gasselin和P.Habermehl。对于有界度的结构，Ehrenfeucht-Fraíssé基本上是自动的。2011年STACS会议记录。第242-253页。IFIB Schloss Dagstuhl，2011年·Zbl 1245.03061号 [15] Calvin C.Elgot，有限自动机设计的决策问题和相关算法，Trans。阿米尔。数学。《社会分类》98（1961），21–51·Zbl 0111.01102号 [16] 张爱植，上下文树线性序的一个不可判定性质，Inform。过程。莱特。111（2011），第3期，107–109·Zbl 1260.68202号 ·doi:10.1016/j.ipl.2010.10.018 [17] David B.A.Epstein、James W.Cannon、Derek F.Holt、Silvio V.F.Levy、Michael S.Paterson和William P.Thurston，《分组文字处理》，Jones和Bartlett出版社，马萨诸塞州波士顿，1992年·2017年7月64日 [18] 于。L.Ershov、S.S.Goncharov、A.Nerode、J.B.Remmel和V.W.Marek，《递归数学手册》。第1卷，《逻辑和数学基础研究》，第138卷，荷兰北部，阿姆斯特丹，1998年。递归模型理论。于。L.Ershov、S.S.Goncharov、A.Nerode、J.B.Remmel和V.W.Marek，《递归数学手册》。第2卷，《逻辑和数学基础研究》，第139卷，荷兰北部，阿姆斯特丹，1998年。递归代数、分析和组合·Zbl 0905.03001号 [19] S.S.Goncharov和Dzh。Naĭt，可计算结构和反结构定理，代数逻辑41（2002），第6期，639–681，757页（俄语，附俄语摘要）；英语翻译。，《代数逻辑》41（2002），第6期，351-373·doi:10.1023/A：1021758312697 [20] Denis R.Hirschfeldt和Walker M.White，实现超算术层次的层次作为可计算结构上关系的度谱，《圣母院J.形式逻辑》43（2002），第1期，第51–64（2003）·Zbl 1048.03035号 ·doi:10.1305/ndjfl/1071505769 [21] Wilfrid Hodges，《模型理论》，《数学及其应用百科全书》，第42卷，剑桥大学出版社，1993年·Zbl 0789.03031号 [22] Bernard R.Hodgson，关于自动机可判定理论的直积，定理。计算。科学。19（1982），第3期，331–335·兹伯利0493.03002 ·doi:10.1016/0304-3975（82）90042-1 [23] Juha Honkala，关于图像是否是一个问题-有理级数等于\？，基金。通知。73（2006），第1-2、127–132号·Zbl 1157.68383号 [24] 约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman），《自动机理论、语言和计算导论》（Introduction to automata theory，languages，and computing），艾迪生-维斯利出版公司，马萨诸塞州雷丁，1979年。Addison-Wesley计算机科学系列·Zbl 0426.68001号 [25] H.Ishihara、B.Khousainov和S.Rubin。关于自动结构的一些结果。《2002年LICS会议记录》，第235-244页。IEEE计算机学会出版社，2002年。 [26] A.Kartzow、J.Liu和M.Lohrey。树-自动树-树形良好。发表于2013年《计算机科学中的逻辑方法》·Zbl 1297.03024号 [27] Bakhadyr Khoussainov和Mia Minnes，自动结构的模型理论复杂性（扩展摘要），计算模型的理论和应用，计算讲义。科学。，第4978卷，施普林格出版社，柏林，2008年，第514-525页·Zbl 1140.03310号 ·doi:10.1007/978-3-540-79228-445 [28] Bakhadyr Khoussainov和Anil Nerode，《结构、逻辑和计算复杂性的自动表示》（印第安纳波利斯，印第安纳州，1994年），《计算讲义》。科学。，第960卷，施普林格出版社，柏林，1995年，第367-392页·Zbl 0946.03013号 ·doi:10.1007/3-540-60178-393 [29] Bakhadyr Khoussainov和Anil Nerode，自动结构理论中的开放问题，Bull。欧洲协会。计算。科学。EATCS 94（2008），181-204·Zbl 1169.03352号 [30] Bakhadyr Khoussainov、AndréNies、Sasha Rubin和Frank Stephan，《自动结构：丰富性和局限性》，Log。方法计算。科学。3（2007），第2期，2:2，18·Zbl 1128.03028号 ·doi:10.2168/LMCS-3（2:2）2007年 [31] Bakhadyr Khoussainov、Sasha Rubin和Frank Stephan，《自动线性顺序和树》，ACM Trans。计算。日志。6（2005），第4期，675–700·兹比尔1122.68466 ·doi:10.1145/1094622.1094625 [32] D.库斯克。自动结构从加权自动机中受益。在Bozapalidis Festschrift中，计算机科学讲义第257-271页第7020号。施普林格，2011年·Zbl 1349.03039号 [33] D.Kuske。离散自动线性序的同构。程序中。CSL’12，《莱布尼茨国际信息学学报》（LIPIcs）第16卷，第455-469页。Schloss Dagstuhl Leibniz Zentrum für Informatik出版社，2012年·Zbl 1252.03103号 [34] Dietrich Kuske、Jiamou Liu和Markus Lohrey，《同构问题》-自动树，计算机科学逻辑，计算机课堂讲稿。科学。，第6247卷，施普林格出版社，柏林，2010年，第396–410页·Zbl 1287.03084号 ·doi:10.1007/978-3-642-15205-4_31 [35] Dietrich Kuske和Markus Lohrey，《自动图中的一些自然决策问题》，《符号逻辑杂志》75（2010），第2期，第678–710页·Zbl 1192.03010号 ·doi:10.2178/jsl/1268917499 [36] 迪特里希·库斯克（Dietrich Kuske）和马克斯·洛伊（Markus Lohrey），《重访有界度的自动结构》（Automatic structures of bounded degree reviewed），《符号逻辑杂志》（J.Symbolic Logic）第76期（2011），第4期，1352-1380·Zbl 1272.03148号 [37] 马库斯·洛伊（Markus Lohrey）和克里斯蒂安·马蒂森（Christian Mathissen），正则树和词的同构，自动机，语言和编程。第二部分，计算机课堂讲稿。科学。，第6756卷，施普林格，海德堡，2011年，第210-221页·Zbl 1333.68126号 ·doi:10.1007/978-3-642-22012-8_16 [38] 刘嘉谋（Jiamou Liu）和米亚·米恩斯（Mia Minnes），分析一元自动结构类的复杂性，语言和自动机理论及应用，计算机课堂讲稿。科学。，第5457卷，施普林格出版社，柏林，2009年，第518-529页·Zbl 1234.68226号 ·doi:10.1007/978-3-642-00982-2_44 [39] Десятая проблема Гил\(^{\приме}\)берта, Математическая Логика и Основания Математики [Монограпхс ин Матхематицал Логиц анд Фоундатионс оф Матхематицс], вол. 26, ВО ”Наука”, Мосцощ, 1993 (Руссиан, щитх Руссиан суммары). Юри В. Матиясевич, Хилберт’с тентх проблем, Фоундатионс оф Цомпутинг Сериес, МИТ Пресс, Цамбридге, МА, 1993. Транслатед фром тхе 1993 Руссиан оригинал бы тхе аутхор; Щитх а форещорд бы Мартин Давис. [40] AndréNies，描述群体，公牛。符号逻辑13（2007），第3期，305–339·兹比尔1167.20017 ·doi:10.2178/bsl/1186666149 [41] 小哈特利·罗杰斯（Hartley Rogers Jr.），《递归函数和有效可计算性理论》（Theory of recursive functions and effective computability），麦格劳-希尔图书公司（McGraw-Hill Book Co.），纽约-多伦多，安大略-伦敦，1967年。 [42] 约瑟夫·罗森斯坦（Joseph G.Rosenstein），《线性排序》（Linear orderings），《纯粹与应用数学》（Pure and Applied Mathematics），第98卷，学术出版社[Harcourt Brace Jovanovich，出版商]，纽约-朗顿出版社，1982年·Zbl 0488.04002号 [43] S.Rubin，《自动结构》。博士论文，奥克兰大学，2004年·Zbl 1122.68466号 [44] Sasha Rubin，Automata presenting structures:a surview of the finited string case，布尔。符号逻辑14（2008），编号2169-209·Zbl 1146.03028号 ·doi:10.2178/bsl/1208442827 [45] 阿尔托·萨洛马（Arto Salomaa）和马蒂·索伊托拉（Matti Soittola），《形式幂级数的自动机理论方面》（Automata-theory aspects of formal power series），斯普林格·弗拉格（Springer-Verlag），纽约海德堡，1978年。计算机科学的文本和专著·Zbl 0377.68039号 [46] 罗伯特·索尔（Robert I.Soare），《递归可数集合与度》（Recurrively enumerable set and degrees），《数理逻辑中的透视》（Perspectives in Mathematical Logic），施普林格-弗拉格出版社，柏林，1987年。可计算函数和可计算生成集的研究·Zbl 0667.03030号 [47] 沃尔夫冈·托马斯（Wolfgang Thomas），《常规树木的边界》（On frontiers of regular trees），RAIRO Inform。塞奥尔。申请。20（1986），第4期，371–381（英语，法语摘要）·Zbl 0639.68071号 [48] 托多·赞科夫（Todor Tsankov），《理性的加法组没有自动呈现》（The additive group of The rationals does not have a automatic presentation），《符号逻辑杂志》（J.Symbolic Logic）76（2011），第4期，1341-1351·Zbl 1247.03070号 ·doi:10.2178/jsl/131833853 [49] 安德烈亚斯·韦伯（Andreas Weber），《有限传感器的价值》（On the valueness of finited transformers），《信息学报》（Acta Inform）。27（1990），第8期，749–780·Zbl 0672.68027号 ·doi:10.1007/BF00264285 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。