Shape Preserving Tree Transducers
本文证明了自顶向下树转换器、自底向上树转换器及完全确定宏树转换器组合的形状保持性是可判定，且形状保持转换器可规范化为每个输入节点精确生成一个输出节。
2025-06-27 cs.FL
How to decide Functionality of Compositions of Top-Down Tree Transducers
我们证明了自顶向下的树型换能器的组合物的功能是可判定的，通过减少问题的一个自顶向下的树型换能器与前瞻的功能。
2022-09-02 cs.FL
Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics
本文将正则字符串转换刻画为带加法算子的线性 λ-演算程序，通过编码无复制流式字符串转换器并利用范畴语义学建立等价关系，进而将结果推广至树结构并揭示其与线性逻辑的联系。
2021-08-25 cs.FL cs.LO
Definability Results for Top-Down Tree Transducers
我们证明了对于一个给定的确定性的自顶向下的转换器，它是可判定的，它的平移是否是可定义的（1）~由线性自顶向下树转换器或（2）~由树同态。我们提出的算法，构建等效的换能器，如果它们存在。
2021-05-31 cs.FL
Equivalence Problems for Tree Transducers: A Brief Survey
本文讨论了三种重要的树型换能器的等价判定问题。每个类可以作为确定性宏树转换器（MT）的自然限制来获得：（1）没有上下文参数，即，自上而下的树型换能器，（2）线性尺寸增加，即，MSO可定义的树型转换器;（3）一元输入输出排序字母表。对于全类MTTs，等价判定仍然是一个长期存在的问题。
2014-05-22 cs.FL
Composition Closure of Linear Extended Top-down Tree Transducers
线性扩展自顶向下树转换器（或同步树替换文法）是树转换的流行形式模型。的表达能力，这样的传感器的组合物，并没有定期前瞻性的影响。特别是，nondeletion，ε-freeness和严格的限制被认为是。的组成层次结构原来是有限的所有epsilon-free（所有规则消耗输入）的变体，这些传感器除了nondelaying epsilon-free线性扩展自上而下的树传感器。最少数量的换能器所需的任意组成的充分表达能力。在所有剩余的情况下（包括非删除无ε线性扩展自上而下树转换器），合成层次结构不会崩溃。
2013-01-08 cs.FL
Characterizing Attributed Tree Translations in Terms of Macro Tree Transducers
众所周知，属性树转换器可以配备有"常规环视"，以便获得更鲁棒的翻译类。我们提出了两个表征这一类的宏树传感器（MTTs）：第一个是一个静态的限制规则的MTTs，MTTs需要配备定期环视。第二个特征是动态的，其中MTT只需要定期前瞻。
2022-09-15 cs.FL
Decision problems for origin-close top-down tree transducers (full version)
树转换是有限树的二元关系。对于由非确定性自上而下的树转换器定义的树转换，包含、等价和综合问题是不可判定的。将源语义添加到树转换，即，用每个输出节点所源自的输入节点来标记每个输出节点是恢复包含和等价的可判定性的已知方式。起源语义是相当严格的，在这项工作中，我们引入了一个相似性度量的传感器与起源语义，并表明我们可以决定包含，等价和合成问题的起源关闭非确定性自顶向下树传感器。
2021-07-06 cs.FL
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations
我们认为，从自动机可定义的规格，作为二元关系，在有限的树确定性树传感器的合成。我们考虑的情况下，规范是确定性的自顶向下树自动，这意味着规范是可识别的一个确定性的自顶向下树自动机，并行同步读取两个给定的树。在这种情况下，我们研究树传感器，允许有界延迟或任意延迟。每当传感器从输入树中读取符号但不产生输出时，就会引起延迟。我们提供了决策程序的有界和任意延迟，产生确定性的自上而下的树传感器，实现有效的输入树的规格。类似于词的关系的情况下，我们使用两个玩家的游戏来获得我们的结果。
2014-08-26 cs.FL
Composing Copyless Streaming String Transducers
本文重新审视无复制流式字符串转换器的组合构造，发现原始构造可能产生表面有复制行为，定义无菱形SST子类并给出消除该行为的方法，从而恢复组合封闭性。
2024-02-07 cs.FL
Two or three things I know about tree transducers
本文是一篇关于树转换器的短札，梳理了宏树转换器等多种树转换器的关联及函数复合问题，可帮助读者快速了解相关内容，节省查阅旧文献的时间。
2024-09-11 cs.FL
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
我们证明了确定性线性自上而下树-字转换器的等价性在多项式时间内是可判定的。线性树到字转换器是非复制的，但不一定是顺序保持的，可以用来表示XML和其他文档转换。其结果是基于一个部分范式，提供了一个基本的表征的语言产生的线性树到词的转换器。
2016-06-12 cs.FL
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
本文讨论了XML文档转换中节点查询保留问题的可判定性。我们假设由确定性线性自顶向下数据树转换器（缩写为DLT^V）和基于树自动机运行的n元查询给出的转换。如果存在查询Q'，使得对于每个文档t，Tr（t）的Q'的答案集等于t的Q的答案集，则我们说DLT^V Tr强保留查询Q。我们还说Tr弱保持Q，如果存在查询Q'，使得对于Tr范围内的每个t_d，Q'对于t_d的答案集等于Q对于t的答案集的并集，使得t_d = Tr（t）。我们证明了弱保存问题是coNP-完全的，强保存问题是在2-EXPTIME中的。
2013-11-21 cs.DB cs.FL
Look-Ahead Removal for Top-Down Tree Transducers
自顶向下树变换器是描述树变换的方便形式。它们可以配备有规则的前视功能，这允许它们在处理子树之前检查子树。在某些情况下，可以避免这种前视功能，并且可以通过没有前视功能的传感器来实现变换。如果可能的话，从传感器中去除前瞻，在技术上具有很高的挑战性。对于一类有限的传感器与前瞻性，即那些是总的，确定性的，超线性的，有界擦除，我们提出了一种算法，对于一类给定的传感器，（1）决定它是否相当于一个总的确定性传感器没有前瞻性，（2）如果答案是肯定的，构造这样的传感器。对于整个类的总确定性传感器与前瞻，我们提出了一个类似的算法，它假设一个所谓的差异界是已知的给定的传感器。换能器的设计者通常也可以确定其差界。
2015-12-02 cs.FL
Equivalence of Linear Tree Transducers with Output in the Free Group
我们表明，等价的确定性线性树传感器可以决定在多项式时间时，他们的输出被解释的自由组。由于自由群提供的抵消特性，所需的结构不仅更一般，而且比用于证明确定性线性树到字转换器的等价性的相应结构更简单。
2020-03-13 cs.FL
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach
MapReduce是一种流行的数据并行计算编程模型。在MapReduce中，reducer从一个输入列表中产生一个输出。由于平台的调度策略，输入可能以不同的顺序到达减速器。约简器的交换性问题要求约简器的输出是否独立于其输入的阶数。虽然这个问题通常是不可判定的，但实际上MapReduce程序通常用于数据分析，因此需要非常简单的控制流。通过利用简单性，我们提出了一个程序设计语言的约简程序的交换性问题是可判定的。Reducer语言的主要思想是将程序的控制流和数据流分离，并且不允许在控制流中进行算术运算。通过简化流数值转换器（SNTs）的等价问题，本文介绍了一种新的自动机模型在无限字母表的交换性问题的决策过程。SNT的设计灵感来自流式传感器（Bullr和Cerny，POPL 2011）。然而，这两种模型本质上是不同的，因为SNT的输出是整数，而流式传感器的输出是数据字。通过对整数变量值在SNTs运行过程中的演化进行组合分析，实现了SNTs等价性的判定。
2016-09-30 cs.FL
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity
树遍历树换能器的组合相对于组合中的换能器的数量形成层级。作为主要的技术结果，它证明了任何这样的组合可以实现为线性有界组合，这意味着中间结果的大小可以被选择为在输出树的大小中至多是线性的。这就影响了翻译层次结构的表现力和复杂性。首先，如果计算的平移是线性大小增加的函数，即，输出树的大小最多与输入树的大小成线性关系，则它可以仅由一个确定性的树遍历树转换器来实现。对于确定性换能器的组合物，可以决定平移是否具有线性尺寸增加。第二，确定性换能器的每个组成可以在RAM上的确定性线性时间中和在图灵机上的确定性线性空间中计算，以输入和输出树的大小之和测量。类似地，非确定性换能器的每个组成可以在非确定性图灵机上同时在多项式时间和线性空间中计算。它们的输出树语言是确定性上下文敏感的，即，可以在图灵机上的确定性线性空间中识别。非确定性平移复合的隶属度问题是非确定性多项式时间和确定性线性空间。非确定性和确定性树遍历树转换的组合的成员问题（对于非确定性IO宏树转换）是可还原为上下文无关语言的日志空间，而确定性和非确定性树遍历树转换的组合的成员问题（对于非确定性OI宏树转换）可能是NP完全的。
2019-12-12 cs.FL
Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable
我们证明了确定性自上而下的树-串转换器的等价性是可判定的，从而解决了形式语言理论中一个长期存在的问题。我们还提出了有效的算法子类：多项式时间的总换能器与一元输出字母表（在一个给定的自上而下的规则域语言），并共同随机多项式时间的线性换能器，这些结果是使用多线性代数的技术。对于我们的主要结果，我们证明了等价性可以通过使用多项式理想的归纳不变量来证明。这使我们能够构造两个半算法，一个搜索等价性的证明，一个搜索非等价性的证明。此外，我们扩展我们的结果，确定性的自上而下的树到字符串转换器产生的输出不是在一个自由幺半群，但在一个自由组。
2017-01-27 cs.FL
Attributed Tree Transducers for Partial Functions
本文证明带正则环视的非确定性属性树转换器在限制为部分函数时，其翻译能力与带正则环视的确定性属性树转换器完全等价，进一步验证了正则环视机制的稳健性。
2024-06-11 cs.FL
When is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
本文研究确定性自顶向下树转换器的两个子类（线性和均匀复制），证明带前视的翻译能否由不带前视的同类转换器实现是可判定的，并给出检查移除过程，进而判定等价性，首次解决自然子类的前视移除难题。
2025-03-27 cs.FL
XML Navigation and Transformation by Tree-Walking Automata and Transducers with Visible and Invisible Pebbles
卵石树自动机和卵石树转换器通过额外允许无限数量的“不可见”卵石（与通常的“可见”卵石相反）来增强。由此产生的卵石树自动机识别规则树语言（即，可以验证所有广义DTD），因此可以找到MSO可定义模式的所有匹配。此外，当被视为一种导航设备时，它们会导致一种类似XPath的形式主义，为每个MSO可定义的二进制模式提供路径表达式。由此产生的卵石树换能器可以应用任意MSO定义的测试（的可观察的部分）他们的配置，他们（仍然）有一个可判定的类型检查问题，他们可以模拟递归机制的迭代。使用MSO可定义模式的合取查询的类型检查问题的时间复杂度通常可以通过使用不可见的鹅卵石来降低。
2018-09-15 cs.FL
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers
本卷包含在2013年10月19日在越南河内举行的第二届国际树自动机和传感器趋势研讨会（TTATT 2013）上发表的论文。讲习班与ATVA核查会议在同一地点举行。第一期研讨会与区域技术援助机构在同一地点举行，地点在日本名古屋。研讨会的兴趣在于程序设计语言、验证和数据库理论的交叉点，这些都是树自动机和传感器最近应用的领域。
2013-11-20 cs.FL cs.LO cs.PL
Slightly Non-Linear Higher-Order Tree Transducers
Aix-Marseille University（艾克斯-马赛大学）；CNRS（法国国家科学研究中心）；Université Paris Cité（巴黎西岱大学）
本文研究了略微非线性的高阶树转换器，证明其等价于不可见 Pebble树转换器，并探讨了仿射λ转换器与隐式自动机的关系。
2026-03-11 cs.FL cs.LO
Expressiveness of Visibly Pushdown Transducers
可见下推传感器（VPT）是扩展了输出的可见下推自动机。它们已经被引入到嵌套单词的模型转换中，即具有调用/返回结构的单词。由于树和更一般的对冲可以线性化为（良好）嵌套的单词，VPT是一种自然的形式主义来表达在流中评估的树转换。本文的目的是精确地表征相对于其他树传感器模型的VPT的表达能力。
2013-11-21 cs.FL
What You Must Remember When Transforming Datawords
流数据字符串转换器（SDST）被引入来建模一类命令式程序和一类函数式程序，操纵数据项列表。这些可以用来编写常用的例程，如插入，删除和反转。SDST可以处理来自潜在无限数据域的数据值。流串转换器（SST）的模型是SDST的片段，其中无限的数据域被丢弃，只考虑有限的字母表。从语言理论的角度对SST进行了大量的研究。我们把数据引入到SST中，就像把数据引入到有限状态自动机中得到寄存器自动机一样。其结果是流串寄存器传感器（SSRT），这是SDST的子类。SDST可以在数据域上使用线性顺序比较数据值，这是SSRT无法完成的。我们给出了一个机器独立的SSRTs与起源语义的表征，沿着Myhill-Nerode定理。相似模型的独立于机器的特征描述已经形成了学习算法的基础，并使我们能够理解模型的片段。换能器的原点语义跟踪输出的哪些位置源自输入的哪些位置。虽然是一个限制，但使用原点语义是合理的，并且已知可以简化与换能器相关的许多问题。除了确定性寄存器自动机的特征之外，我们还使用起源语义作为技术构建块。然而，我们需要在这些基础上进行更多的建设，以克服SSRT特有的一些挑战。
2020-12-14 cs.FL
Forward and Backward Application of Symbolic Tree Transducers
我们考虑符号树自动机（sta）和符号树转换器（stt）。我们刻画s-可识别树语言（这是树语言可识别的STA）的（经典）可识别树语言和重标记。我们证明了STA和最近推出的可变树自动机是无与伦比的识别能力。我们定义了符号正则树文法，并用正则树语言和重标记刻画了s-正则树语言。由此，我们得到s-可识别树语言与s-正则树语言是相同的。我们证明了两个STT的句法组合计算每个STT计算的树变换的组合，条件是（1）第一个是确定性的或第二个是线性的，（2）第一个是全的或第二个是非删除的。我们考虑了stt的前向应用和后向应用，并证明了stt对任何s-可识别树语言的后向应用都会产生s-可识别树语言。我们给出了一个线性树语言，它的值域不是一个s-可识别的树语言。我们证明了简单线性stt的正向应用保持了s-可识别性。作为推论，我们得到了简单线性stt的类型检验问题和任意stt的逆类型检验问题都是可判定的。
2012-08-27 cs.FL
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
在过去的几十年中，代数的经典结果，包括希尔伯特的基本定理，在形式语言中有各种应用，包括Escherichfeucht猜想的证明，HDT0L序列等价的可判定性，以及函数树到串转换器的等价问题的可判定性。在本文中，我们研究了上述代数方法的范围，特别是适用于寄存器自动机的等价问题。我们提供了两个结果，一个阳性，一个阴性。结果表明，无序森林上的MSO变换是等价的。否定的结果来自于尝试将该方法扩展到确定宏树换能器的等效性。我们减少了宏树换能器等价的等价问题，一类寄存器自动机自然相关的我们的方法。然后，我们证明后一个问题是不可判定的。
2019-01-04 cs.FL
On the Balancedness of Tree-to-word Transducers
一种语言，如果它是Dyck语言$A$在$\overline{A}$上的子集，那么它是平衡的，如果所有的单词都是$D_B$中单词的前缀，那么它是良构的。我们证明了上下文无关语言的良构性在多项式时间内是可判定的，并且最长公共约化后缀可以在多项式时间内计算。有了这一点，我们就可以决定输出字母表为$B^*$的非线性树传感器的2类TW的输出语言是否平衡。
2020-03-13 cs.FL
The Complexity of Translation Membership for Macro Tree Transducers
宏树转换器（MTTS）是XML查询和转换语言的一种有用的形式化模型。本文研究了多目标翻译系统的一个基本翻译决策问题，即“翻译隶属度问题”。对于一个固定的翻译，翻译成员问题询问给定的输入/输出对是否是翻译的元素。对于按名字呼叫的MTTS，这个问题被证明是NP完全的。主要结果是，按值调用MTTS的转换成员是在多项式时间内。对于几个扩展，如增加定期前瞻或推广到多返回MTTS，它表明，翻译成员仍然保留在PTIME。
2009-10-13 cs.FL cs.PL
Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
本文提出宏树转换器的深度适当范式，通过正则前瞻与迭代内联消除有界深度参数，并据此判定转换是否具有线性高度增长或线性尺寸-高度增长。
2024-02-22 cs.FL
The structure of polynomial growth for tree automata/transducers and MSO set queries
Universität Bremen（不来梅大学）；Aix-Marseille University（艾克斯-马赛大学）；CNRS（法国国家科学研究中心）
本文研究了树自动机/转换器的多项式增长结构及MSO集合查询，提出了多项式增长度数的决策方法，并探讨了相关树到树函数的增长率和子类成员问题。
2026-01-06 cs.FL cs.LO
Streaming Transformations of Infinite Ordered-Data Words
在本文中，我们定义了流式寄存器转换器（SRT），一个单向的，字母到字母，转换机器模型的无限数据字的数据域形成一个线性组的转换。与现有的数据字传感器相比，SRT能够对寄存器执行两个额外的操作：基于线性阶的比较和加法更新。我们考虑的转换，可以定义的SRT和几个子类的SRT。我们调查这些语言的表达能力和几个决策问题。我们的主要成果包括：1）SRT在并和交下是封闭的，无加法SRT在合成下也是封闭的：2）SRT可定义变换可以在一元二阶逻辑中定义，但不能与一阶可定义变换相比; 3）对于无添加SRT，官能度问题是可判定的，对于确定性无添加SRT，反应性问题和夹杂问题是可判定的，但是这些问题中没有一个对于SRT是一般可判定的。
2020-01-20 cs.FL cs.LO cs.PL
Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time
1982年，Courcelle和Franchi-Zannettacci证明了分离的非嵌套属性系统的等价问题可以归结为完全确定的分离的基本宏树转换器的等价问题。他们还给出了一个程序，以确定等效的换能器在后一类。在这里，我们重新考虑这个等价性问题。我们提出了一个新的替代决策过程，并证明了它运行在多项式时间。我们还考虑扩展这一结果的部分换能器和换能器的参数积累字符串，而不是树的情况下。
2019-02-11 cs.FL
The single-use restriction for register automata and transducers over infinite alphabets
University of Warsaw（华沙大学）；University College London（伦敦大学学院）
本论文研究了无穷字母表上寄存器自动机与转换器的单次使用限制，证明了该限制下各类自动机与转换器模型的表达能力等价性，并提供了连贯的叙述与代数模型。
2024-06-27 cs.CL cs.FL
Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples
从例子合成使非专家用户能够通过指定他们行为的例子来生成程序。这种合成的特定领域形式最近已经部署在广泛使用的电子表格软件产品中。在本文中，我们有助于这样的技术的基础，并提出了一个完整的算法合成一类递归函数定义的结构递归在给定的代数数据类型定义。我们考虑的函数将代数数据类型映射到字符串;它们对于以下情况很有用，例如，漂亮的打印和序列化的程序和数据。我们将我们的问题形式化为学习确定性顺序的自上而下的树到串换能器与一个单一的状态。我们考虑的第一个问题是从用户提供的任何一组输入/输出示例中学习树到字符串转换器。我们表明，这个问题是NP-完全的一般情况下，但可以解决在多项式时间下（实际上有用的）封闭条件下，每个子树的树的输入/输出的例子集也是输入/输出的例子。由于提出相关的输入/输出的例子可能是困难的用户，同时创建硬约束问题的合成器，我们还研究了一个更自动化的主动学习的情况下，算法选择的输入，用户提供的输出。我们的算法要求一个最坏情况下的线性数量的查询作为代数数据类型定义的大小的函数，以确定一个唯一的换能器。
2017-05-24 cs.FL
