Finite-state independence (Q1787949)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite-state independence |
scientific article |
Statements
Finite-state independence (English)
0 references
5 October 2018
0 references
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\).
0 references
finite-state automata
0 references
normal sequences
0 references
independence
0 references
infinite sequences
0 references
0 references
