On cogrowth function of uniformly recurrent sequences

Igor Melnikov, Ivan Mitrofanov

For a sequence $W$ we count the number $O_W(n)$ of minimal forbidden words no longer then $n$ and prove that $$\overline{\underset{n\to \infty }{\lim }}\frac{O_W(n)}{{\log }_{3}n}\ge 1.$$