Bojanczyk，米科拉伊;桑德拉·基弗;内森·勒霍特 具有多项式大小输出的字符串到字符串解释。 （英语） Zbl 07561599号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第106条，第14页（2019年）。 摘要：字符串到字符串的MSO解释与Courcelle的MSO转换类似，只是可以使用输入位置的元组来表示单个输出位置，而不仅仅是单个输入位置。特别是，输出长度在输入长度中是多项式，而MSO转导具有线性长度的输出。我们证明了串到串的MSO解释正是多正则函数。后一类具有多种特征，其中之一是它由卵石传感器识别的串对串功能组成。我们的主要结果暗示了一个令人惊讶的事实，即字符串到字符串的MSO解释在组合下是封闭的。关于整个系列，请参见[Zbl 1414.68003号]. 引用于1文件 MSC公司： 68新元 软件理论 68季度xx 计算理论 关键词：MSO公司;解释;卵石传感器;多正则函数 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojanczyk}等人，LIPIcs——莱布尼茨国际程序。通知。132，第106条，第14页（2019年；Zbl 07561599） 全文： 内政部 arXiv公司 参考文献： [1] Rajeev Alur和Pavol Cerný。用于单程列表处理程序算法验证的流式传感器。2011年1月26日至28日，美国德克萨斯州奥斯汀市，第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2011年，第599-610页。doi:10.1145/1926385.1926454·Zbl 1284.68159号 ·doi:10.1145/1926385.1926454 [2] Rajeev Alur、Adam Freilich和Mukund Raghothaman。字符串转换的常规组合子。在第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议记录中，第9页。ACM，2014年·Zbl 1401.68141号 [3] 米科·阿杰·博扬奇克。多元正则函数，2018。arXiv:1810.08760。 [4] 米科·阿杰·博扬奇克和沃伊切赫·切尔文斯基。自动工具箱。网址：https://www.mimuw。edu.pl/bojan/upload/reduced-may-25.pdf。 [5] Mikołaj Bojan nchyk、Laure-Daviaud和Shankara Narayanan Krishna。常规和第一顺序列表功能。2018年7月9日至12日，英国牛津，LICS 2018，第33届ACM/IEEE计算机科学逻辑年会论文集，第125-134页。doi:10.1145/3209108.3209163·Zbl 1497.68137号 ·数字对象标识代码：10.1145/3209108.3209163 [6] 托马斯·科尔科姆贝特。树的组合定理。在自动化、语言和编程国际学术讨论会上，第901-912页。施普林格，2007年·Zbl 1171.03325号 [7] 布鲁诺·库塞尔（Bruno Courcelle）和乔斯·恩格弗里特（Joost Engelfriet）。图结构与一元二阶逻辑。语言理论方法。剑桥大学出版社，2012年6月·Zbl 1257.68006号 [8] Vrunda Dave、Paul Gastin和Shankar Narayanan Krishna。用于正则变换的正则转换器表达式。2018年7月9日至12日，英国牛津，2018年LICS，第33届ACM/IEEE计算机科学逻辑年会论文集，第315-324页。doi:10.1145/3209108.3209182·Zbl 1484.68080号 ·数字对象标识代码：10.1145/3209108.3209182 [9] 乔斯特·恩格尔弗里特。用于部分函数的双向卵石传感器及其组成。《信息学报》，52（7-8）：559-5712015·Zbl 1330.68155号 [10] Joost Engelfriet和Hendrik Jan Hoogeboom。MSO可定义字符串转换和双向有限状态传感器。ACM计算逻辑汇刊（TOCL），2（2）：216-2542001·Zbl 1171.03326号 [11] 诺亚·格勒曼和大卫·哈雷。双向多波峰自动机及其逻辑的复杂性结果。西奥。计算。科学。，169(2):161-184, 1996. ·Zbl 0874.68213号 [12] Erich Grädel、Phokion G.Kolaitis、Leonid Libkin、Maarten Marx、Joel Spencer、Moshe Y.Vardi、Yde Venema和Scott Weinstein。有限模型理论及其应用。理论计算机科学课文。EATCS系列。施普林格，2007年。doi:10.1007/3-540-68804-8·Zbl 1133.03001号 ·doi:10.1007/3-540-68804-8 [13] 威尔弗里德·霍奇斯。模型理论。剑桥大学出版社，剑桥，1993年3月·Zbl 0789.03031号 [14] Wojciech Kazana和Luc Segoufin。树上一元二阶查询的枚举。ACM计算逻辑学报（TOCL），14（4）：1-122013·Zbl 1353.68068号 [15] Leonid Libkin，有限模型理论基础。施普林格科学与商业媒体，2013年。 [16] 托瓦·米洛（Tova Milo）、丹·苏西乌（Dan Suciu）和维克托·维亚努（Victor Vianu）。XML转换器的类型检查。计算机与系统科学杂志，66（1）：66-972003·Zbl 1026.68045号 [17] 伊姆雷·西蒙。有限高度的分解森林。理论计算机科学，72（1）：65-941990·Zbl 0693.68044号 [18] 沃尔夫冈·托马斯。语言、自动机和逻辑。《形式语言手册》第3卷：超越词语，第389-455页。施普林格，1997年。doi:10.1007/978-3-642-59126-67·Zbl 0866.68057号 ·doi:10.1007/978-3-642-59126-67 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。