论文标题
通过明确的传感器保存正态性
Preservation of normality by unambiguous transducers
论文作者
论文摘要
我们考虑有限状态的非确定性但明确的具有无限输入和无限输出的换能器，我们考虑符号序列的Borel正态性的特性。当这些换能器紧密连接时，并且当输入是鲍勒正常序列时，输出是一个序列，在该序列中，每个块都具有由加权自动机给出的频率，而自动机则在理由上。我们提供了一种算法，该算法可以在立体时间内决定是否保留正态性。
We consider finite state non-deterministic but unambiguous transducers with infinite inputs and infinite outputs, and we consider the property of Borel normality of sequences of symbols. When these transducers are strongly connected, and when the input is a Borel normal sequence, the output is a sequence in which every block has a frequency given by a weighted automaton over the rationals. We provide an algorithm that decides in cubic time whether a unambiguous transducer preserves normality.
