Finite-state independence (Q1787949): Difference between revisions

The paper studies a form of independence of two infinite sequences based on finite-state transducers with auxiliary input. The join of two independent normal sequences is also normal, but the converse implication is false. The last fact is proved by constructing a normal sequence \(x_1x_2\dots x_n\dots\) such that \(x_{2n}=x_n\), for every \(n\geq1\).