套准传感器为大理石传感器
Register transducers are marble transducers
摘要：
确定性双向转换器定义了从单词到单词的规则函数类。Zeroir和Cernaldine介绍了一种等效的传感器模型，称为无拷贝流式串传感器。在本文中，我们下降的“无拷贝”的限制，这些机器，并表明，它们相当于双向传感器增强的能力下降标记，命名为“弹珠”，在输入。我们将所使用的弹珠的最大数量与由流串转换器执行的寄存器副本的数量相关联。最后，我们证明了与这些模型相关的类成员问题是可判定的。我们的结果可以解释在简单的递归和迭代程序的程序优化。
英文摘要：
Deterministic two-way transducers define the class of regular functions from words to words. Alur and Cerný introduced an equivalent model of transducers with registers called copyless streaming string transducers. In this paper, we drop the "copyless" restriction on these machines and show that they are equivalent to two-way transducers enhanced with the ability to drop marks, named "marbles", on the input. We relate the maximal number of marbles used with the amount of register copies performed by the streaming string transducer. Finally, we show that the class membership problems associated with these models are decidable. Our results can be interpreted in terms of program optimization for simple recursive and iterative programs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
