arXiv 1504.017092015-04cs.FL

无拷贝代价寄存器自动机：结构、表达性和闭包性质

Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties

Filip Mazowiecki, Cristian Riveros

摘要：

成本寄存器自动机（CRA）及其子类无拷贝CRA是最近由Alfred等人提出的一种新的计算字符串上函数的模型。我们研究了无拷贝CRA的一些结构特性、表现力和闭包特性。我们表明，无拷贝CRA是严格的表达比加权自动机，并没有关闭下反向操作。为了找到一个更好的类，我们对无拷贝CRA施加限制，它以一个新的鲁棒计算模型成功结束，该模型在反向和其他扩展下是封闭的。

英文摘要：

Cost register automata (CRA) and its subclass, copyless CRA, were recently proposed by Alur et al. as a new model for computing functions over strings. We study some structural properties, expressiveness, and closure properties of copyless CRA. We show that copyless CRA are strictly less expressive than weighted automata and are not closed under reverse operation. To find a better class we impose restrictions on copyless CRA, which ends successfully with a new robust computational model that is closed under reverse and other extensions.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

复制less成本寄存器自动机和多项式歧义加权自动机的泵送样结果

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata

University of Warsaw（华沙大学）；University of Ljubljana（卢布尔雅那大学）；Institute of Mathematics, Physics, and Mechanics (IMFM)（数学、物理和力学研究所）

本文研究了复制less成本寄存器自动机和多项式歧义加权自动机的表达能力，通过泵送序列族工具得出两者在不同域下的泵送样结果，并证明在有理数域下两者不可比较。

2026-01-12cs.FL

套准传感器为大理石传感器

确定性双向转换器定义了从单词到单词的规则函数类。Zeroir和Cernaldine介绍了一种等效的传感器模型，称为无拷贝流式串传感器。在本文中，我们下降的“无拷贝”的限制，这些机器，并表明，它们相当于双向传感器增强的能力下降标记，命名为“弹珠”，在输入。我们将所使用的弹珠的最大数量与由流串转换器执行的寄存器副本的数量相关联。最后，我们证明了与这些模型相关的类成员问题是可判定的。我们的结果可以解释在简单的递归和迭代程序的程序优化。

2020-05-04cs.FL

流串传感器与HDT0L系统

On Streaming String Transducers and HDT0L Systems

R.在2010年，P.Cerny和P.Cerny提出了一个单向确定性自动机模型来定义有限字符串的转换。无拷贝SST用一组寄存器扩展确定性有限状态自动机，在其中存储中间输出串，并且这些寄存器可以以线性方式沿着运行进行组合和更新，即，在转换时不能复制寄存器内容。众所周知，无拷贝SST精确地捕获了由B. Courcelle和确定性双向换能器的表达相同。它们具有良好的算法特性。最值得注意的是，它们有可判定的等价问题（在PSpace中）。在本文中，我们表明，他们仍然有可判定的等价问题，即使没有复制的限制。证明减少到HDT0L序列等价问题，这是已知的可判定的。我们还表明，后者的问题是困难的SST等价问题，模线性时间减少。

2014-12-01cs.FLcs.LO

弱代价寄存器自动机仍然强大

Weak Cost Register Automata are Still Powerful

我们考虑一个最弱的变种的成本寄存器自动机在热带半环，即无拷贝成本寄存器自动机在$\mathbb{N}$更新使用$\min$和增量。我们表明，该模型可以模拟，在某种意义上，运行计数器机与零测试。我们推断出与该模型相关的一些问题是不可判定的，特别是等价性，从而反驳了2012年的一个猜想。为了强调这些机器有多弱，我们还证明了它们可以表示为线性模糊加权自动机的限制形式。

2018-04-17cs.FL

Parikh自动机及其相关模型的表达性

On the expressiveness of Parikh automata and related models

Parikh有限词自动机（PA）是Klaedtke和Ruess在2003年提出并研究的。PA的自然变体产生于将PA等效地视为自动机，该自动机保持其转换的计数并半线性地约束其数量。在这里，我们采用这种观点，并定义仿射PA（APA），它通过每个转换在PA寄存器上引起仿射变换来扩展PA，以及字母上的PA（LPA），它通过迫使同一字母上的任何两个转换同等地影响寄存器来限制PA。然后，我们报告的表现力，封闭性和可判定性等PA的变种。我们注意到，确定性PA严格弱于确定性反向有界计数器机器。我们开发泵式引理，并确定一个明确的PA语言没有确定性PA。

2011-07-02cs.FL

类型化 λ-演算中的隐式自动机 II：流式转换器与范畴语义学的对比

Implicit automata in typed $λ$-calculi II: streaming transducers vs categorical semantics

本文将正则字符串转换刻画为带加法算子的线性 λ-演算程序，通过编码无复制流式字符串转换器并利用范畴语义学建立等价关系，进而将结果推广至树结构并揭示其与线性逻辑的联系。

2021-08-25cs.FLcs.LO

更多相关论文收起更多论文

可流式常规转换

Streamable Regular Transductions

出于实时监控和数据处理应用程序，我们开发了一个正式的理论定量查询流数据，可以有效地进行评估。我们考虑明确的成本寄存器自动机（CRA），这是一个有限的状态控制（用于识别规则模式）与一组有限的数据寄存器（用于计算数值聚集）相结合的机器的模型。CRA的定义由可以应用于寄存器的数值运算的集合参数化。这些机器产生了可流式正则转换（SR）类，以及当寄存器更新是无拷贝时的可流式线性正则转换（SLR）类，即每个寄存器最多出现一次更新的右手侧表达式。我们给出了类SR的逻辑特征（分别为，SLR）使用从字符串到DAG（分别为，树）没有向后的边缘。此外，我们建立了两个类SR和SLR下的操作是相关的设计查询语言关闭。最后，我们研究了与加权自动机（WA）的关系，并表明，CRA在一个适当选择的操作集对应于WA，从而建立WA是一个特殊的情况下的CRA。

2019-11-03cs.FLcs.LO

带名称分配的 nominal 树自动机

Nominal Tree Automata With Name Allocation

针对数据树自动机语言包含判定难的问题，提出基于nominal集合与显式名称分配的树自动机模型，支持非确定性与任意寄存器数，且语言包含检查为参数化指数时间的初等复杂度。

2024-07-11cs.FL

历史寄存器自动机

History-Register Automata

程序与动态分配能够创建和使用无限数量的新鲜资源，如引用，对象，文件等，我们提出了历史寄存器自动机（HRA），一个新的自动机理论的形式主义建模这样的程序。HRA扩展了以前方法的表达能力，并使我们达到了可达性检查的可判定性极限。我们的机器的显着特点是它们使用无限的记忆集（历史），输入的符号可以有选择地存储和比较的符号遵循。此外，存储的符号可以通过重置来消耗或删除。我们表明，消费和复位功能的组合，使自动机足够强大，以模仿计数器机，并在所有常规操作下，除了互补收益率关闭。此外，我们还研究了较弱的概念HRAs之间的表现力和有效性的不同的平衡。

2016-03-29cs.FLcs.PL

非负有理数上加权自动机的有界性和零隔离问题

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

我们考虑非负有理数半环上的线性代价寄存器自动机（等价于加权自动机），它推广了概率自动机。有界性和零隔离这两个问题是问是否存在一个分别收敛到无穷大和零的单词序列。在一般模型中，这两个问题都是不可判定的，所以我们把重点放在无拷贝线性约束上。在那里，我们证明了有界性问题是可判定的。至于零隔离问题，我们需要进一步限制类。我们得到一个模型，零隔离成为等同于普遍覆盖的orthant矢量加法系统（OVAS），一个新的模型在VAS家庭有趣的本身。在标准VAS中，仅在正正体中考虑运行，而在OVAS中，每个正体都有其自己的一组可以应用于该正体的向量。假设Schanuel的猜想是正确的，我们证明了三维OVAS的通用覆盖性的可判定性，这意味着在一个最多有三个独立寄存器的模型中零隔离的可判定性。

2022-05-26cs.FLcs.LO

域上代价寄存器自动机的最小化

Minimizing Cost Register Automata over a Field

本文利用线性包不变量解决域上代价寄存器自动机的寄存器最小化问题，并推广到状态与寄存器同时最小化及仿射更新情形，同时给出2-ExpTime和NExpTime的复杂度上界。

2024-06-28cs.FL

带名称分配的交替名义自动机

Alternating Nominal Automata with Name Allocation

针对无限字母表自动机推理难的问题，提出带名称分配的正则交替名义自动机，证明其寄存器无界时非空与包含问题仍为初等复杂度，可近乎完全去交替，并将Bar-μTL某分支模型检测复杂度提升一个指数级。

2025-05-19cs.FL

一类健壮的数据语言及其在学习中的应用

A Robust Class of Data Languages and an Application to Learning

我们引入会话自动机，一个处理数据字的自动机模型，即，在一个无限的字母表中。会话自动机支持新数据值的概念，这非常适合于建模协议，其中使用新值的会话是主要兴趣，如安全协议或ad-hoc网络。会话自动机的表达能力与经典的寄存器自动机的表达能力相比有部分扩展，部分减少。我们表明，与寄存器自动机及其各种扩展不同，会话自动机是鲁棒的：它们（i）在交集，并集和（资源敏感）互补下是封闭的，（ii）允许符号正则表示，（iii）具有可判定的包含问题（与寄存器自动机不同），（iv）具有逻辑特征。利用这些结果，我们建立了一个学习算法，通过成员和等价查询来推断会话自动机。

2014-12-27cs.FLcs.LO

正则函数、代价寄存器自动机和广义最小代价问题

Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems

受正则语言理论在有限状态系统形式化验证中的成功应用的启发，人们重新对发展从字符串到数值的可分析函数理论产生了兴趣，该理论可以为分析有限状态系统的{ \em定量}性质提供基础。在本文中，我们提出了一个确定性的模型关联成本与字符串的参数化操作的兴趣（如添加，缩放，和$\min$），{ \em正则性}的概念，提供了一个衡量表现力的尺度，并研究决策问题和理论性质的成本函数类。我们的规则性的定义依赖于串到树转换器的理论，并允许将成本与以未来事件的规则属性为条件的事件相关联。我们的{ \em成本寄存器自动机}模型允许使用多个“只写”寄存器计算常规函数，这些寄存器的值可以使用允许的操作集进行组合。我们表明，经典的最短路径算法，以及算法设计的计算{ \em折扣成本}，可以采用解决最小成本问题，在我们的模型中指定的功能更一般的类。带有$\min$和增量的成本寄存器自动机给出了一个确定性模型，它等价于{ \em加权自动机}，一个被广泛研究的非确定性模型，这种连接导致了新的见解和新的开放问题。

2012-02-21cs.FLcs.LO