基蒂·盖尔;萨博尔茨·伊凡 关于分散上下文无关排序的排序类型。 （英语） Zbl 07453084号 Leroux，Jéróme（ed.）等人，第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年9月2日至3日，法国波尔多，GandALF 2019。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）305169-182（2019）。 摘要：我们表明，如果无上下文文法生成的语言的词典顺序是有序的，类型小于\（\omega^2），那么它的顺序类型是可以有效计算的。关于整个系列，请参见[Zbl 1436.68031号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit{K.Gelle}和\textit{S.Iván}，电子。程序。西奥。计算。科学。（EPTCS）305169--182（2019；Zbl 07453084） 全文： arXiv公司 链接 参考文献： [1] Stephen L.Bloom和Zoltán E-sik（2009）：分散代数线性序。摘自：2009年9月12日至13日，葡萄牙科英布拉，FICS 2009，第六届计算机科学固定点研讨会，第25-29页。 [2] Stephen L.Bloom和Zoltán E-sik（2010）：代数序。芬丹。通知。99（4），第383-407页，doi:10.3233/FI-2010-255·Zbl 1208.68152号 ·doi:10.3233/FI-2010-255 [3] 斯蒂芬·布卢姆和佐尔坦·埃西克（2005）：正则词的等式理论。信息与构成197（1），第55-89页，doi:10.1016/j.ic.2005.01.004·Zbl 1083.68072号 ·doi:10.1016/j.ic.2005.01.004 [4] Stephen L.Bloom和ZoltánÉsik（2011）：代数线性排序。国际计算机科学基础杂志22（02），第491-515页，doi:10.1142/S0129054111008155·Zbl 1227.18002号 ·doi:10.1142/S0129054111008155 [5] Bruno-Courcelle（1983）：无限树的基本性质。理论计算机科学25（2），第95-169页，doi:10.1016/0304-3975（83）90059-2·Zbl 0521.68013号 ·doi:10.1016/0304-3975（83）90059-2 [6] Zoltán E-sik（2011）：分散的无上下文线性排序。Giancarlo Mauri和Alberto Leporati主编：《语言理论的发展》，斯普林格-柏林-海德堡出版社，柏林，海德堡，第216-227页，doi:10.1017/CBO9780511566097·兹比尔1221.68127 ·doi:10.1017/CBO9780511566097 [7] Zoltán E-sik（2011）：无上下文线性顺序的不可判定性。《信息处理快报》111（3），第107-109页，doi:10.1016/j.ipl.2010.10.018·Zbl 1260.68202号 ·doi:10.1016/j.ipl.2010.10.018 [8] Zoltán E-sik和Szabolcs Iván（2012）：分散无上下文线性次序的Hausdorff秩。大卫·费尔南德斯·巴卡（David Fernández-Bacha），主编：《拉丁语2012：理论信息学》（LATIN 2012:Theoryal Informatics），施普林格-柏林-海德堡，柏林，海德堡（Heidel-berg），第291-302页，doi:10.1112/plms/s3-4.1.177·Zbl 0055.41406号 ·doi:10.1112/plms/s3-4.1.177 [9] Kitti Gelle&Szabolcs Iván：由序数语法生成的序数是可计算的。理论计算机科学，doi:10.1016/j.tcs.2019.04.016。可在https://arxiv.org/abs/1811.03595。出现·Zbl 1430.68135号 ·doi:10.1016/j.tcs.2019.04.016 [10] Stephan Heilbrunner（1980）：求解无限单词的定点方程的算法。RAIRO——理论信息学与应用——信息技术与应用14（2），第131-141页，doi:10.1051/ita/1980140201311·Zbl 0433.68062号 ·doi:10.1051/ita/1980140201311 [11] John E.Hopcroft和Jeff D.Ullman（1979）：自动机理论、语言和计算导论。Addison-Wesley出版公司·Zbl 0426.68001号 [12] Christos H.Papadimitriou（1994）：计算复杂性。艾迪森·韦斯利·Zbl 0833.68049号 [13] J.G.Rosenstein（1982）：线性排序。纯数学和应用数学，爱思唯尔科学·Zbl 0488.04002号 [14] 雅各布·亚历山大·斯塔克（2015）：顺序算术。可在https://jalexstark.com/notes/OordinalArithmetic.pdf。 [15] 沃尔夫冈·托马斯（1986）：《普通树木的边界》。ITA 20（4），第371-381页，doi:10.1051/ITA/1986200403711·Zbl 0639.68071号 ·doi:10.1051/ita/1986200403711 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。