Coordination through De Bruijn sequences

Let (xt)(xt) be an n-periodic sequence in which the first n elements are drawn i.i.d. according to some rational distribution. We prove there exists a constant C   such that whenever mlnm⩾Cnmlnm⩾Cn, with probability close to 1, there exists an automaton of size m that matches the sequence at almost all stages.