Right-Sequential Functions on Infinite Words
Right-Sequential Functions on Infinite Words
复制标题
无限字上的右序函数
DOI：
10.1007/978-3-642-13182-0_9
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Olivier Carton
中科院分区：
文献类型：
--
作者：
Olivier Carton
在本文中，我们引入了一个概念，一个右序列函数的无限字。主要结果是：任何有理函数都是一个右序函数和一个左序函数的合成。这将Elgot和Mezei关于有限词的经典结果扩展到无限词。我们还证明了我们的右序函数类包含了真实的数在某个基上的正规化和线性时序逻辑的真值。最后，我们应用分解定理来证明自动序列是由有理字母到字母的函数来保持的。
In this paper, we introduce a notion of a right-sequential function on infinite words. The main result is that any rational function is the composition of a right-sequential function and a left-sequential function. This extends a classical result of Elgot and Mezei on finite words to infinite words. We also show that our class of right-sequential functions includes the normalization of real numbers in some base and the truth value of linear temporal logic. Finally, we apply the decomposition theorem to show that automatic sequences are preserved by rational letter-to-letter functions.