Abstract
We study finite state transduction of automatic and morphic sequences. Dekking [4] proved that morphic sequences are closed under transduction and in particular morphic images. We present a simple proof of this fact, and use the construction in the proof to show that non-erasing transductions preserve a condition called α-substitutivity. Roughly, a sequence is α-substitutive if the sequence can be obtained as the limit of iterating a substitution with dominant eigenvalue α. Our results culminate in the following fact: for multiplicatively independent real numbers α and β, if v is a α-substitutive sequence and w is an β-substitutive sequence, then v and w have no common non-erasing transducts except for the ultimately periodic sequences. We rely on Cobham’s theorem for substitutions, a recent result of Durand [5].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allouche, J.P., Shallit, J.: Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press, New York (2003)
Cobham, A.: On the Hartmanis-Stearns problem for a class of tag machines. In: IEEE Conference Record of 1968 Ninth Annual Symposium on Switching and Automata Theory, pp. 51–60 (1968)
Cobham, A.: Uniform tag sequences. Math. Systems Theory 6, 164–192 (1972)
Dekking, F.M.: Iteration of maps by an automaton. Discrete Math. 126, 81–86 (1994)
Durand, F.: Cobham’s theorem for substitutions. Journal of the European Mathematical Society 13, 1797–1812 (2011)
Endrullis, J., Hendriks, D., Klop, J.W.: Degrees of Streams. Integers 11B(A6), 1–40 (2011), proceedings of the Leiden Numeration Conference 2010
Pansiot, J.J.: Hiérarchie et fermeture de certaines classes de tag-systèmes. Acta Inform. 20(2), 179–196 (1983)
Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press (2009)
Sprunger, D., Tune, W., Endrullis, J., Moss, L.S.: Eigenvalues and transduction of morphic sequences: Extended version. Tech. rep., CoRR (2014), http://arxiv.org/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sprunger, D., Tune, W., Endrullis, J., Moss, L.S. (2014). Eigenvalues and Transduction of Morphic Sequences. In: Shur, A.M., Volkov, M.V. (eds) Developments in Language Theory. DLT 2014. Lecture Notes in Computer Science, vol 8633. Springer, Cham. https://doi.org/10.1007/978-3-319-09698-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-09698-8_21
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09697-1
Online ISBN: 978-3-319-09698-8
eBook Packages: Computer ScienceComputer Science (R0)