On B. Moss\'e's unilateral recognizability theorem
Dynamical Systems
2018-01-12 v1 Formal Languages and Automata Theory
Abstract
We complete statement and proof for B. Moss\'e's unilateral recognizability theorem. We also provide an algorithm for deciding the unilateral non-recognizability of a given primitive substitution.
Keywords
Cite
@article{arxiv.1801.03536,
title = {On B. Moss\'e's unilateral recognizability theorem},
author = {Shigeki Akiyama and Bo Tan and Hisatoshi Yuasa},
journal= {arXiv preprint arXiv:1801.03536},
year = {2018}
}
Comments
18 pages, 2 figures