Abstract
We introduce α-synchronous relations for a rational number α. We show that if a rational relation is both α- and α′-synchronous for two different numbers α and α′, then it is recognizable. We give a synchronization algorithm for α-synchronous transducers. We also prove the closure under boolean operations and composition of α-synchronous relations.
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
Sakarovitch, J.: Éléments de théorie des automates. Vuibert (2003)
Cobham, A.: On the base-dependance of sets of numbers recognizable by finite automata. Math. Systems Theor. 3, 186–192 (1969)
Elgot, C.C., Mezei, J.E.: On relations defined by generalized finite automata. IBM Journal Res. and Dev. 9, 47–68 (1965)
Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1972)
Frougny, C., Sakarovitch, J.: Synchronized relations of finite words. Theoret. Comput. Sci. 108, 45–82 (1993)
Marcus, B.: Factors and extensions of full shifts. Monats. Math. 88, 239–247 (1979)
Adler, R.L., Coppersmith, D., Hassner, M.: Algorithms for sliding block codes. IEEE Trans. Inform. Theory IT-29, 5–22 (1983)
Khoussainov, B., Rubin, S.: Automatic structures: Overview and future directions. Journal of Automata, Languages and Combinatorics 8(2), 287–301 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carton, O. (2006). The Growth Ratio of Synchronous Rational Relations Is Unique. In: Ibarra, O.H., Dang, Z. (eds) Developments in Language Theory. DLT 2006. Lecture Notes in Computer Science, vol 4036. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11779148_25
Download citation
DOI: https://doi.org/10.1007/11779148_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35428-4
Online ISBN: 978-3-540-35430-7
eBook Packages: Computer ScienceComputer Science (R0)