F Durand - … Informatics and Applications-Informatique Théorique et …, 2013 - numdam.org
In this paper we prove the decidability of the following problem: Input: Two finite alphabets A
and B, an endomorphism σ: A∗→ A∗, a word w∈ A∗ and a morphism φ: A∗→ B∗ …