On B. Mossé's unilateral recognizability theorem
arXiv:1801.03536
Abstract
We complete statement and proof for B. Mossé's unilateral recognizability theorem. We also provide an algorithm for deciding the unilateral non-recognizability of a given primitive substitution.
18 pages, 2 figures