Deterministic regular functions of infinite words
无限词的正则函数是由具有无限前视的确定性双向换能器实现的（部分）函数。Equipments，Escheriche et.等人已经表明，它们对应于由确定性Muller流弦换能器实现的功能，以及由MSO-转换定义的功能。然而，常规功能是不可计算的一般（图灵可计算性的经典扩展到无限输入），我们认为在本文中的类确定性正则函数的无限的话，实现了确定性的双向换能器没有前瞻性。我们证明，这是一个良好的行为类的功能：他们是可计算的，封闭的组合，其特征在于由保护片段的MSO-transductions，由确定性的Büchi流串换能器，由确定性的双向换能器有限的前瞻性，并通过有限的组合物的顺序功能和一个固定的基本功能称为映射复制反向。
2023-02-13 cs.FL cs.LO
Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic
这些是关于正则语言的代数方法的课堂讲稿。经典的代数方法是针对有限字的;它使用半群而不是自动机。然而，代数方法可以扩展到单词以外的结构，例如~无限的单词，或者树，或者图这本书的目的是描述代数方法的方式，涵盖这些扩展。
2020-08-26 cs.FL
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
我们证明了确定性线性自上而下树-字转换器的等价性在多项式时间内是可判定的。线性树到字转换器是非复制的，但不一定是顺序保持的，可以用来表示XML和其他文档转换。其结果是基于一个部分范式，提供了一个基本的表征的语言产生的线性树到词的转换器。
2016-06-12 cs.FL
Edit Distance of Finite State Transducers
本文通过定义转换输出距离的上确界将字度量提升为转换度量，证明了功能性转换器在常见编辑距离下的接近性问题可判定，并揭示其与有理关系直径及索引问题的等价性。
2024-04-25 cs.FL cs.LO
Reversible Transducers over Infinite Words
本文引入无限词上的可逆双向转换器类，证明其表达能力与确定性双向转换器相同，并证明其组合仅需多项式复杂度，为无限词转换器的高效组合提供了理论基础。
2024-06-28 cs.FL
Two-Way Visibly Pushdown Automata and Transducers
自动机逻辑连接是正则语言理论的支柱。这样的连接是很难获得的换能器，但最近已经获得了重要的结果字到字的转换，表明以下三种模型是等效的：确定性双向换能器，一元二阶（MSO）换能器，和确定性单向自动机配备了有限数量的寄存器。嵌套词是具有嵌套结构的词，允许将未排名的树建模为它们的深度优先搜索线性化。在本文中，我们考虑从嵌套的单词到单词的转换，特别是允许产生未排名的树，如果输出的单词有一个嵌套结构。可见下推换能器的模型允许描述这样的变换，并且我们提出了具有双向移动的该模型的简单确定性扩展，其具有以下性质：i）它是简单的计算模型，其自然具有良好的评估复杂性; ii）它是表达性的：它包含嵌套的词到词的MSO转换器，并且使用简单的句法限制来恢复MSO转换器的精确表达; iii）它具有良好的算法/闭合特性：该模型在具有明确的单向字母到字母转换器的组合下是闭合的，该转换器在常规环视下给出闭合，并且具有可判定的等价问题。
2016-06-01 cs.FL
Origin-equivalence of two-way word transducers is in PSPACE
我们考虑词转换的等价性和包容性问题。这些问题被称为是不可判定的转换时，实现的非确定性换能器的字之间的关系，并成为可判定的限制时，从字到字的功能。在这里，我们证明了可判定性可以通过采用稍微不同但自然的语义来恢复，称为起源语义，由Bojanczyk在2014年引入。具体来说，我们证明了双向词换能器的等价性和包容性问题的起源语义是PSPACE完全的。我们还考虑了一个变种的遏制问题，其中双向传感器比较下的起源语义，但在一个更轻松的方式，通过允许失真的起源。可能的失真是通过一个简化关系描述。我们提出了一个逻辑的形式主义，描述了广泛的类，同时保留的包容问题的变体的可判定性。
2018-10-05 cs.FL
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
本文提出以有限状态非确定性传感器统一自动机理论、迁移系统与sofic子移位，并给出带可靠改写规则的组合图解语法，证明其等式理论完全性。
2025-02-10 cs.DM cs.FL cs.LO
A Diamond Structure in the Transducer Hierarchy
本文回答了文献[1]中提出的换能器阶数理论中关于换能器阶数中是否存在菱形结构的问题。转换器度是由词变换形成的等价类，这些词变换可以由有限状态转换器实现，它们形成词可以被变换为其他词的顺序。我们提供了一个结构，证明了钻石结构的存在，同时还引入了一个新的功能，流，这可能是有用的证明更多的结果有关的换能器层次。
2023-01-15 cs.FL
Pebble transducers with unary output
Bojaczyk最近开始了对确定性卵石换能器的深入研究，卵石换能器是一种双向自动机，可以在输入单词上留下标记（称为“卵石”），并产生输出单词。它们从一个词到另一个词描述功能。已经研究了该定义的两个自然限制：Douéneau-Tabot等人的大理石换能器，和比较自由卵石换能器（我们在这里重命名为“盲换能器”）的Nguyên等人。在这里，我们研究的可判定性的卵石，大理石和盲换能器，产生一元输出计算的函数类之间的隶属度问题。首先，我们表明，卵石和大理石换能器具有相同的表达能力时，输出是一元（这是假的非一元输出）。然后，我们描述了1卵石传感器与一元输出，描述了一个函数可计算的盲传感器，并表明，隶属度问题是可判定的。这些结果可以用程序的自动化简化来解释。
2022-09-30 cs.FL
Continuity of Functional Transducers: A Profinite Study of Rational Functions
本文研究功能转换器的连续性，基于剖面有限分析建立理论，证明其可判定性，并探讨自动机结构与连续性传播的关系。
2020-02-20 cs.FL cs.LO
Existential Definability over the Subword Ordering
本文研究子字序上一阶逻辑的存在片段表达能力，证明当字母表大小至少为3时，带常量存在片段可定义的关系恰为递归可枚举关系，并据此完整刻画了所有量词交替片段的表达能力。
2023-12-20 cs.FL cs.LO
Preservation of normality by transducers
我们考虑具有无限输入和无限输出的输入确定的有限状态传感器，我们考虑无限字的Borel正规性的性质。当这些转换器是由一个强连接的状态集，当输入是一个博雷尔正常序列，输出是一个无限的字，使每个字的频率由一个加权自动机在有理数。我们证明，有一个算法，决定在立方时间输入确定性传感器是否保持正常。
2019-04-19 cs.FL
Simulation by Rounds of Letter-to-Letter Transducers
本文提出并研究了字母到字母转换器的轮次模拟与等价概念，解决了相关的判定问题，并将其应用于多进程系统的进程对称性分析。
2023-12-04 cs.FL cs.LO
On Functionality of Visibly Pushdown Transducers
可见下推换能器形成下推换能器的子类，其（严格地）扩展具有堆叠的有限状态换能器。就像下推自动机一样，输入符号决定堆栈操作。在本文中，我们证明了功能是可判定的PSpace的可见下推传感器。这个证明是通过一个pumping参数完成的：如果一个有两个输出的单词有足够大的嵌套深度，那么就存在一个有两个输出的嵌套单词，其嵌套深度严格地更小。证明中运用了词组合学的技巧。作为功能的可判定性的结果，我们还表明，等价的功能明显下推换能器Exptime完成。
2010-02-07 cs.FL
Expressiveness of Visibly Pushdown Transducers
可见下推传感器（VPT）是扩展了输出的可见下推自动机。它们已经被引入到嵌套单词的模型转换中，即具有调用/返回结构的单词。由于树和更一般的对冲可以线性化为（良好）嵌套的单词，VPT是一种自然的形式主义来表达在流中评估的树转换。本文的目的是精确地表征相对于其他树传感器模型的VPT的表达能力。
2013-11-21 cs.FL
Synthesis of Computable Regular Functions of Infinite Words
本文针对正则函数的可计算性综合问题，证明正则函数的可计算性等价于连续性，建立连续性通用刻画，证明有理与正则函数的可计算性可判定，其中有理函数可在NLogSpace内判定，还刻画了一致连续性并关联一致可计算性。
2024-09-18 cs.FL cs.LO
Regular Transducer Expressions for Regular Transformations
功能性MSO传感器、确定性双向传感器以及流弦传感器都是常规功能的等效模型。在本文中，我们表明，每一个正规的功能，无论是有限字或无限字，捕获的确定性双向换能器，可以描述与常规换能器表达式（RTE）。对于无限字，传感器使用Muller接受和$ω$ -常规前瞻。\RTEs是从常数函数使用组合子if-then-else（确定性选择），Hadamard产品，和明确版本的柯西产品，2链Kleene迭代和2链Ω迭代。我们的证明适用于有限字和无限字的变换，扩展了Besar等人关于有限字的结果。在LICS'14。为了构建一个RTE与确定性的双向Muller传感器与前瞻，我们介绍了过渡幺半群的概念，这种双向传感器的前瞻是由一些向后确定性Büchi自动机捕获。然后，我们使用一个明确的版本Imre西蒙著名的森林因子分解定理，以获得一个“好”（$ω$ -）的域的双向换能器的正则表达式。“好”表达式是明确的，Kleene-plus和$ω$ -迭代只用于与转换幺半群的\emph{idempotent}元素对应的子表达式。组合子表达式最后构造的“好”（$ω$ -）的正则表达式描述的域的传感器上的结构归纳。
2018-02-05 cs.FL
Degrees of Infinite Words, Polynomials, and Atoms (Extended Version)
我们研究有限状态传感器和他们的权力转化为无限的话。符号的无限序列在从形式语言到纯数学和物理学的广泛领域中具有极其重要的意义。虽然用于识别和转换语言的有限自动机是众所周知的，但对自动机转换无限单词的能力知之甚少。有限状态传感器实现的字变换引起的复杂性比较的话，从而导致等价类，称为（换能器）度，和这些度的偏序。随后的层次结构类似于递归理论的不可解度，也称为图灵度，其中的转换设备是图灵机。然而，作为一个复杂性度量，图灵机太强大了：它们通过识别所有可计算的单词来简化分类问题。半导体状态传感器产生了一个更细粒度的，有区别的层次结构。与图灵度相反，几乎没有任何关于换能器度的信息，尽管它们是自然的。我们使用线性代数和分析的方法来证明，有无限多个原子的换能器度，也就是说，最小的非平凡度。
2018-03-08 cs.FL
Register transducers are marble transducers
确定性双向转换器定义了从单词到单词的规则函数类。Zeroir和Cernaldine介绍了一种等效的传感器模型，称为无拷贝流式串传感器。在本文中，我们下降的“无拷贝”的限制，这些机器，并表明，它们相当于双向传感器增强的能力下降标记，命名为“弹珠”，在输入。我们将所使用的弹珠的最大数量与由流串转换器执行的寄存器副本的数量相关联。最后，我们证明了与这些模型相关的类成员问题是可判定的。我们的结果可以解释在简单的递归和迭代程序的程序优化。
2020-05-04 cs.FL
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
P是否等于NP的问题围绕着主动生产和仅仅由图灵机验证之间的差异。在本文中，我们研究有限换能器和自动机的类似问题。每个非确定性有限转换器都定义了一个二元关系，将每个输入字与转换器可以在给定输入上成功产生的所有输出字相关联。双值转换器是那些在输出单词的数量上存在有限上限的转换器，该关系与每个输入单词相关联。我们的特点有限值，功能，和明确的不确定性换能器的关系可以通过一个确定性的两个磁带自动机验证，展示如何构建这样的自动机，如果存在的，并证明该标准的不可判定性。
2021-04-30 cs.CC cs.FL
On the Balancedness of Tree-to-word Transducers
一种语言，如果它是Dyck语言$A$在$\overline{A}$上的子集，那么它是平衡的，如果所有的单词都是$D_B$中单词的前缀，那么它是良构的。我们证明了上下文无关语言的良构性在多项式时间内是可判定的，并且最长公共约化后缀可以在多项式时间内计算。有了这一点，我们就可以决定输出字母表为$B^*$的非线性树传感器的2类TW的输出语言是否平衡。
2020-03-13 cs.FL
Untwisting two-way transducers in elementary time
由双向转换器实现的功能转换（等效地，由流式转换器和由MSO转换）是从词到词的“规则”映射的自然和标准概念。最近（LICS'13）表明，如果这样的转换可以由某些单向换能器实现，则是可判定的，但是给定的算法具有非初等的复杂性。我们提出了一个不同风格的算法来解决上述问题，它具有双指数的空间复杂度。我们进一步应用我们的技术来决定是否可以通过扫描换能器实现由双向换能器实现的换能，具有已知或未知的通过次数。
2017-01-10 cs.FL
A Diamond Structure in the Transducer Hierarchy
Indiana University（印第安纳大学）
本文研究了转换器层级中钻石结构的存在性，通过构造证明其存在并引入新函数以进一步研究转换器层级。
2025-11-24 cs.FL math.LO
Uniformization Problems for Synchronizations of Automatic Relations on Words
二元关系的一致化是包含在关系中并且具有与关系相同的域的函数。综合问题要求对可以以特定方式实现的关系和函数类进行有效的一致化。我们认为，合成问题的自动关系有限的话（也称为定期或同步的理性关系）的功能实现的特定类别的顺序换能器。已知问题“给定一个自动关系，它是否具有由连续变换器的均匀化？在两种变型中，均匀化可以由任意连续换能器实现，或者必须由同步换能器实现。我们引入了一个新的变种，这个问题中，允许的输入/输出行为的连续传感器指定的一组同步和证明可判定性的一个特定的类的同步。
2018-05-07 cs.FL
Continuous rational functions are deterministic regular
一个字到字的函数是有理数的，如果它可以通过一个非确定性的单向换能器来实现。在有限字上，任何有理函数都是正则的，这是一个经典的结果，即它可以由确定性双向转换器计算，或者等价地，由确定性流串转换器（操纵串寄存器的单向自动机）计算。这个结果不再适用于无限的单词，因为非确定性的单向转换器可以猜测，并检查沿着其运行，属性，如无限多次出现的某种模式，这是不可能的确定性机器。在本文中，我们确定类的有理函数在无限的话，这也是可计算的一个确定性的双向换能器。它与连续的有理函数类相一致，因此可以确定这个性质。这解决了一个悬而未决的问题，在以前的论文戴夫等人。
2022-11-03 cs.FL
The Complexity of Transducer Synthesis from Multi-Sequential Specifications
有限字上的换能器综合问题询问，给定规范$S \subseteq I \times O$，其中$I$和$O$是有限字的集合，是否存在实现$f: I \rightarrow O$，其（1）满足规范，即，所有$i\in I$的$(i,f(i))\in S$，以及（2）可以由某些输入确定性（又名顺序）转换器$\mathcal{T}_f$定义。如果存在这样的实现$f$，则程序还应输出$\mathcal{T}_f$。可实现性问题就是相应的决策问题。对于同步传感器给出的规范（交替读取和写入一个符号），这是经典的$ω$ -字综合问题的有限变体，由Büchi和Landweber在1969年解决，并且已知在有限和$ω$ -字设置中的可实现性问题是ExpTime-c。对于异步传感器给出的规范（它可以在单步的中写入一批符号，或者一个符号也不写），已知可实现性问题是不可判定的。我们认为在这里的类多顺序规格，定义为有限工会的顺序传感器可能无法比较的域。我们提供了最佳的决策过程中的同步和异步设置的可实现性问题，表明它是PSpace-C。此外，每当规范是可实现的，我们暴露了一个顺序的传感器，实现它的建设，并具有双指数的大小，我们证明是最佳的。
2019-05-09 cs.FL
Abstract Transducers
在过去的十年中，已经提出了几种对符号输入字母进行操作的抽象机器，例如符号自动机或格自动机。这些类型的自动机的应用包括软件安全分析和自然语言处理。虽然这些模型提供了在无限输入字母表上描述单词的方法，但在符号输出（如换能器中存在的）字母表或甚至其抽象（扩展）上没有相当大的工作。此外，已建立的用于转换（例如，最小化或减少）产生关于状态或转换的输出的有限状态机的方法不适用。这种类型的机器需要一个等价的概念来说明转换是否保持语义。我们提出了一种新形式的有限状态传感器的抽象传感器。它们的输入字母表和输出字母表都由抽象词组成，其中一个抽象词表示一组具体词。这些表征之间的映射由抽象词域描述。通过使用单词而不是单个字母，抽象转换器提供了lookaheads决定进行状态转换的可能性。由于每个转换上的输入符号和输出符号都是一个抽象实体，因此可以自然地应用抽象技术。我们应用抽象传感器的基础上共享任务工件重用的上下文中的程序分析和验证，并描述任务工件抽象的话。任务工件是对分析任务及其解决方案有贡献的任何实体，例如，候选不变量或要编织的源代码。
2019-10-16 cs.FL cs.PL
Synthesis of Data Word Transducers
本文研究数据ω-词上的反应式合成，针对扩展寄存器的自动机规范与转换器实现，探讨不同规范类型及寄存器有无界下的可判定性，提出通用技术并重新证明全称规范的有界合成可判定性。
2021-03-17 cs.FL
Towards an algebraic characterization of rational word functions
在形式语言理论中，几种不同的模型描述了正则语言，例如有限自动机、有限索引的同余或一元二阶逻辑（MSO）。此外，MSO的几个片段具有有效的特征的代数性质的基础上。当我们考虑转换器而不是自动机时，这样的刻画就更具挑战性了，因为正则语言的许多属性并不能推广到正则词函数。在本文中，我们考虑的字功能，是可定义的单向转换器（有理函数）。我们表明，典型的bimachine的Schutenauer和Schützenberger保留某些代数性质的有理函数，类似的情况下，文字语言。特别是，我们给出了一个有效的表征功能，可以定义一个非周期性的单向换能器。
2015-06-22 cs.FL
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
本文研究带子词序和有理转换器的上下文无关字符串约束可满足性，证明该片段在加入转换器后仍可判定，并给出2NExptime与NExptime完全性结果及双指数下界引理。
2024-01-15 cs.FL cs.LO
Multi-Sequential Word Relations
有理数关系是由非确定性有限状态转换器（NFT）实现的有限字的二进制关系。一种特殊的有理关系是序列函数。顺序功能是可以由输入确定性传感器实现的功能。一些有理函数不是连续的。然而，基于被称为孪生属性的换能器上的属性，在PTime中可以判定由NFT给出的有理函数是否是连续的。在本文中，我们调查的推广，这一结果的多序列的关系，即关系，等于一个有限的联合序列函数。我们表明，给定一个NFT，它是可判定的PTime它定义的关系是否是多序列的，基于一个属性称为弱孪生属性。如果弱孪生属性是满意的，我们给出了一个程序，有效地构建一个有限的输入确定性换能器的工会定义的关系。这个过程概括了任意NFT的确定过程的功能NFT。
2015-04-15 cs.FL
Monads, Comonads, and Transducers
本文提出基于单子与余单子的可识别转换器框架，统一推广 Mealy 机、有理转换及无限词和 term 上的转换，并在相干公理下证明其复合封闭性，且用 Coq 完成形式化证明。
2024-07-02 cs.FL
Learning automata and transducers: a categorical approach
在本文中，我们提出了一个分类的方法来学习自动机的话，在这个意义上的$L^*$算法的Angluin。这产生了一个新的通用的$L^*$类算法，可以实例化学习确定性自动机，自动机加权字段，以及顺序传感器。我们的算法的一般性质是通过采用一种方法，其中自动机只是函子从一个特定的类别表示的话，以“计算类别”。我们建立了足够的属性产生最小自动机的存在（这是在以前的文件中披露），结合一些额外的假设相对于终止，确保我们的通用算法的正确性。
2020-10-26 cs.FL
On Synthesis of Resynchronizers for Transducers
我们研究了两种形式主义，允许比较传感器在源语义下的话：合理的和定期的pronunciizers，并表明前者被捕获的后者。然后，我们考虑以下综合问题的一些实例：给定换能器T1，T2，构造一个合理的（分别）。正则）赋形器R，如果它存在的话，使得T1在源语义下包含在R（T2）中。我们表明，合成的合理的qualizers是可判定的功能，甚至有限值，单向换能器，和不可判定的关系单向换能器。在双向设置中，合成的常规的双路换能器被证明是可判定的。对于较大类别的双路传感器，可判定性状态为开放。
2019-06-24 cs.FL
On Equivalence and Uniformisation Problems for Finite Transducers
转换是有限字的二元关系。对于理性转换，即，在有限变换器定义的变换中，包含、等价和序列均匀化问题是不可判定的。在本文中，我们调查了更强的变量包含，等价和顺序均匀化，基于一般的概念，传感器均匀化，并显示其可判定性。我们还调查类有限值合理的转换和确定性合理的转换，这是已知的有一个可判定的等价问题。我们表明，顺序均匀化对它们来说也是可判定的。
2016-02-27 cs.FL
Computability of Data-Word Transductions over Different Data Domains
本文研究无限字母表上数据字函数的可计算性，通过带寄存器的非确定性转换器描述规范，证明了功能性和下一字母问题的可判定性，并给出连续性与可计算性的等价性及PSpace完全性结果。
2022-07-28 cs.FL cs.LO
Hiding pebbles when the output alphabet is unary
Pebble传感器是嵌套的双向传感器，可以在其输入单词上放置标记（称为“pebbles”）。Nguyên等人介绍了盲换能器，作为卵石换能器的一个子类，它可以嵌套双向换能器，但不能在其输入端放置卵石。本文研究了当输出字母表为一元时，用卵石变换器和盲变换器计算的函数类。我们的主要结果表明，如何决定，如果一个功能计算卵石换能器可以计算一个盲目的换能器。我们还提供了这些类的Cauchy和Hadamard产品的表征，在理性系列的精神。此外，泵的功能计算的盲传感器的特性。
2022-09-30 cs.FL
Preservation Theorems for Transducer Outputs
Université Paris Cité, IRIF, CNRS（巴黎西岱大学，IRIF，法国国家科学研究中心）；Moncton University（蒙克顿大学）；MPI-SWS, Saarland Informatics Campus（德国马克斯·普朗克计算机系统研究所，萨尔兰信息学园区）；Université Gustave Eiffel（古斯塔夫·埃菲尔大学）
研究确定性有限状态换能器输出无限词时，哪些组合性质（如递归性、形态性、因子频率）被保持，利用Krohn-Rhodes定理和符号动力系统的遍历理论证明。
2026-06-29 cs.FL
Lexicographic transductions of finite words
本文引入了具有指数级增长的字典序转换，通过 maplex 算子闭包、MSOSI 语法片段和嵌套 marble transducers 三种方式刻画，证明其保持正则性，并探讨了其与 Bárány 关于自动 $ω$-词 MSO 理论可判定性猜想的联系。
2025-03-03 cs.FL
Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics
本文将正则字符串转换刻画为带加法算子的线性 λ-演算程序，通过编码无复制流式字符串转换器并利用范畴语义学建立等价关系，进而将结果推广至树结构并揭示其与线性逻辑的联系。
2021-08-25 cs.FL cs.LO
The State Complexity of Lexicographically Smallest Words and Computing Successors
给定有序字母表$Σ$上的正则语言L，字典序最小（分别，每个长度的字本身都是规则的。此外，存在一个明确的有限状态转换器，对于给定的单词w，输出长度大于w的词典最小单词（以下称为w的L-后继）。在这两种情况下，朴素的构造都会导致状态数的指数爆炸。我们证明了如果L被一个具有n个状态的DFA识别，那么$2^{Θ(\sqrt{n \log n})}$状态足以使一个DFA识别L的由其字典上最小的词组成的子集S（L）。我们给出了一个匹配下界，即使S（L）表示为NFA也成立。然后，我们表明，相同的上限和下限举行一个明确的有限状态传感器，计算L-后继者。
2020-03-18 cs.FL
Classifying All Degrees Below $N^3$
我们回答了一个公开的问题，在理论中的换能器度最初提出的[3]，多项式换能器度的结构，特别是什么程度的问题，如果有的话，低于$n^3$的程度。变换度是由有限状态变换器实现的词变换所形成的等价类。虽然没有通用的技术来判断一个单词$w_1$是否可以通过FST转换为$w_2$，但Endrullis等人在[2]中的工作提供了对螺旋函数类的测试，其中包括所有多项式。本文对所有低于$n^3$的三次多项式的次数进行了完全分类，其中许多方法也可用于对更高次多项式的次数进行分类。
2021-11-12 cs.FL math.LO
Logical and Algebraic Characterizations of Rational Transductions
本文将有界非周期语言的可判定性提升至有理转换，证明可判定给定同余类中的转换，并建立逻辑-代数等价传递，从而判定一阶可定义性，且该问题为PSPACE完全。
2019-12-18 cs.FL cs.LO
Hamming distance between finite transducers
Université Marie et Louis Pasteur, CNRS, institut FEMTO-ST（玛丽和路易·巴斯德大学、法国国家科学研究中心、FEMTO-ST研究所）
研究有限转换器在汉明距离下的有界偏差问题，证明当k固定时该问题NL完全，k以二进制给出时为co-NP完全，且确定距离恰好为k是DP完全。证明转换器的有界偏差下最大距离不超过二次方，且该界是渐近紧的。
2026-06-29 cs.FL
Logics for Word Transductions with Synthesis
我们引入了一个逻辑，称为LT，来表达属性的转换，即从输入到输出（有限）字的二元关系。在LT中，输入/输出依赖性通过一个origin函数来建模，该函数与输出单词的任何位置相关联，即它所源自的输入位置。LT非常适合表达关系（不一定是函数），并且可以表达所有规则的函数转换，即例如由确定性双向转换器定义的转换。尽管它的高表达能力，LT有可判定的可满足性和等价性问题，与紧的非初等和初等的复杂性，取决于特定的LT-公式表示。我们的主要贡献是一个合成结果：从LT中定义的任何转换R，可以合成一个规则的功能转换f，使得对于R域中的所有输入词u，f被定义并且（u，f（u））属于R。因此，我们得到任何功能转导是正规的当且仅当它是LT-可定义的。我们还研究了LT的几个扩展的算法和表达特性，并明确了转换和数据字之间的对应关系。作为一个副结果，我们得到了一个新的数据字的可判定逻辑。
2018-05-30 cs.FL cs.LO
One Quantifier Alternation in First-Order Logic with Modular Predicates
添加模谓词产生了一阶逻辑FO在词上的推广。FO[<，MOD]与顺序比较$x<y$和$x \equiv i \mod n$的谓词的表达能力已经由Barrington，Compton，Straubing和Therien研究过。FO[<，MOD]-片段的研究由Chaubard，Pin和Straubing发起。最近，Dartois和Paperman证明了双变量片段FO 2 [<，MOD]中的可定义性是可判定的。在本文中，我们继续这一工作路线。我们给出了Sigma 2 [<，MOD]中词语言的一个有效的代数刻画.片段Sigma 2由前束范式中的一阶公式组成，具有以存在块开始的两个量词块。此外，我们还证明了Sigma 2 [<，MOD]的最大子类Delta 2 [<，MOD]在否定下是封闭的，它具有与二元逻辑FO 2 [<，MOD]相同的表达能力。这将Therien和Wilke的结果FO 2 [<] = Delta 2 [<]推广到模块化谓词。作为副产品，我们获得了FO 2 [<，MOD]的另一个可判定的特征。
2014-07-01 cs.FL cs.LO
Finite-state independence
在这项工作中，我们引入了一个概念的独立性的基础上有限状态自动机：两个无限的话是独立的，如果没有人帮助压缩其他使用一对一的有限状态换能器与辅助输入。我们证明，正如预期的那样，一组独立的无限词对有勒贝格措施1。我们证明了两个独立的正规词的连接是正规的。然而，如果我们只要求两个正常单词的连接是正常的，则不能保证它们的独立性。为了证明这一点，我们构造了一个正常的字$x_1x_2x_3\ldots$，其中$x_{2n}=x_n$对每个$n$。
2017-11-04 cs.DM cs.FL
Comparing the power of advice strings: a notion of complexity for infinite words
本文是《无限建议字符串的复杂性》（ICALP 2018）的扩展版本。我们研究无限弦之间的比较概念。一般来说，如果M是一个计算模型（例如图灵机），C是一类对象（例如语言），那么一个无限单词alpha的复杂度可以根据来自C的对象的数量来衡量，这些对象可以用来自M的机器使用alpha作为oracle来表示。在我们的例子中，模型M是有限自动机，而对象C是可识别的语言或可表示的结构，分别称为通知正则语言和通知自动结构。这导致了几种不同的分类的无限的话，详细研究，我们也得到了逻辑和计算的等效措施。我们的主要研究结果探讨类的建议自动结构，MSO-转导和双向换能器之间的连接。他们建议更仔细地研究无限单词的层次结构。
2018-07-18 cs.FL
Streamability of nested word transductions
本文研究嵌套词转导的流式评估问题，证明可见下推转换器的高度有界内存可判定性，并提出一个充分条件，使内存需求随词高二次增长，涵盖所有可确定化 VPT。
2019-04-03 cs.FL
Tutorial: $φ$-Transductions in OpenFst via the Gallic Semiring
Google（谷歌）
本教程介绍利用OpenFst的Gallic半环功能正确实现$φ$-转导，并通过MaxMatch（WordPiece）分词算法演示，提供自包含代码示例。
2025-06-22 cs.CL cs.FL
