×
加勒坦杜埃努·塔博特

卵石最小化：最后的定理。 （英语） 兹比尔07770349

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 436-455 (2023).
小结：鹅卵石换能器是一种嵌套的双向换能器，可以在输入字上留下标记（称为“鹅卵石”）。这种机器可以计算输出大小为输入大小多项式的函数。它们可以看作是递归高度有界的简单递归程序。一个自然的问题是，给定一个鹅卵石换能器，计算具有最小递归高度的等效鹅卵石换能器。自引入模型以来，这个问题一直存在。
在本文中，我们研究了卵石传感器的两个限制，即不能看到标记（Nguyán et al.引入的“盲卵石传感器”），或只能看到最后一个掉落的标记（Engelfriet et al.引进的“最后一个卵石传感器”。）。对于这两个模型，我们都提供了一个有效的算法来最小化递归高度。这两种情况下使用的关键属性是，输出大小为线性（分别为二次、三次等）的函数始终可以由递归高度为1（分别为2、3等）的机器计算。我们最终表明，只要考虑到可以看到多个标记的机器，这个键属性就会失败。
关于整个系列，请参见[Zbl 1524.68006号].

MSC公司：

68新元 软件理论
68季度xx 计算理论

关键词：

卵石传感器;多正则函数;盲卵石传感器;最后一个卵石传感器;因子林
PDF格式BibTeX公司 XML格式引用
\textit{G.Douéneau-Tabot}，莱克特。注释计算。科学。13992、436--455（2023；Zbl 07770349）
全文： DOI程序 arXiv公司
OA许可证

参考文献：

[1] Bojańczyk，M.：多正则函数。arXiv预印arXiv:1810.08760（2018）
[2] 博扬奇克，M.：多正则函数的增长率。arXiv预印arXiv:2212.11631（2022）
[3] 博扬奇克，M.：多项式增长传感器。摘自：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集。第1-27页（2022年）
[4] Bojañczyk，M.，Kiefer，S.，Lhote，N.：多项式大小输出的字符串到字符串解释。参加：2019（2019）ICALP第46届国际自动化、语言和编程学术讨论会·兹伯利07561599
[5] Chytil，M.P.，Jákl，V.：双向有限状态传感器的串行组合和字符串上的简单程序。参加：1977年ICALP第四届国际自动化、语言和编程学术讨论会。第135-147页。斯普林格（1977）·Zbl 0363.68089号
[6] Colcombet，T.：格林关系及其在自动机理论中的应用。参加：语言与自动机理论与应用国际会议。第1-21页。施普林格（2011）·Zbl 1330.68152号
[7] Dave，V.、Gastin，P.、Krishna，S.N.：正则变换的正则变换器表达式。摘自：第33届ACM/IEEE年度计算机科学逻辑研讨会论文集。第315-324页。ACM（2018）·Zbl 1484.68080号
[8] Douéneau-Tabot，G.：一元输出的卵石传感器。参加：第46届计算机科学数学基础国际研讨会，MFCS 2021（2021）·Zbl 07724213号
[9] Douéneau-Tabot，G.，Filiot，E.，Gastin，P.：寄存器传感器是大理石传感器。参加：第45届计算机科学数学基础国际研讨会，MFCS 2020（2020）·Zbl 07559400号
[10] Douéneau-Tabot，G.：当输出字母表为一元时隐藏鹅卵石。参加：第49届国际自动化、语言和编程学术讨论会，ICALP 2022（2022）
[11] Engelfriet，J.：用于部分函数及其组成的双向卵石传感器。《信息学报》52（7-8），559-571（2015）·Zbl 1330.68155号
[12] Engelfriet，J.，Hoogeboom，H.J.：MSO可定义字符串转换和双向有限状态传感器。ACM计算逻辑学报（TOCL）2（2），216-254（2001）·Zbl 1171.03326号
[13] Engelfriet，J.，Hoogeboom，H.J.，Samwel，B.：使用不可见鹅卵石的树木行走换能器进行Xml转换。摘自：第二十六届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集。第63-72页ACM（2007）·Zbl 1464.68165号
[14] Gurari，E.M.：确定性双向顺序传感器的等效问题是可以判定的。SIAM计算机杂志11（3），448-452（1982）·Zbl 0486.68037号
[15] 霍普克罗夫特，J.E.，乌尔曼，J.D.：自动机统一理论的方法。《贝尔系统技术期刊》46（8），1793-1829（1967）·兹伯利0155.34303
[16] Kiefer，S.、Nguyán，L.T.D.、Pradic，C.：重温多正则函数的增长：输出语言、加权自动机和一元输入。arXiv预印arXiv:2301.09234（2023）
[17] Nguyín，L.T.D.，Noös，C.，Pradic，C.：无比较多正则函数。参加：ICALP 2021（2021）第48届国际自动化、语言和编程学术讨论会
[18] Shepherdson，J.C.：将双向自动机简化为单向自动机。IBM研究与开发杂志3（2），198-200（1959）·Zbl 0158.25601号
[19] 西蒙，I.：有限高度的因子分解森林。西奥。计算。科学。72(1), 65-94 (1990) ·Zbl 0693.68044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。