Abstract
Variants of causal functions on streams are defined, and the interplay between them is studied from different perspectives with attention to coalgebraic considerations. We prove that the sets of causal and bicausal functions, respectively, are closed under a certain natural coinductive construction. This closure property paves the way to constructing new final stream coalgebras over finite alphabets. This result is used to show that the 2-adic version of the Collatz function yields a final bit-stream coalgebra.
This is a preview of subscription content, log in via an institution to check access.
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
Akin, E.: Why is the 3x + 1 problem hard? In: Akin, E. (ed.) Chapel Hill Ergodic Theory Workshops, Contemp. Math. 356, Amer. Math. Soc., pp. 1–20 (2004)
Bernstein, D.J., Lagarias, J.C.: The 3x + 1 Conjugacy Map. Can. J. Math. 48, 1154–1169 (1996)
Hansen, H.H., Costa, D., Rutten, J.J.M.M.: Synthesis of Mealy machines using derivatives. In: Proceedings of the 9th Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Vienna, Austria. ENTCS, vol. 164, pp. 27–45 (2006)
Koblitz, N.: p-adic Numbers, p-adic Analysis, and Zeta-Functions. Graduate Texts in Mathematics, vol. 58. Springer, Heidelberg (1977)
Lagarias, J.C., The 3x+1 problem: An annotated bibliography (1963–2000), http://www.arxiv.org/abs/math/0309224
Lagarias, J.C., The 3x+1 problem: An annotated bibliography (2000–), http://arxiv.org/abs/math/0608208
Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of Mealy automata. Electr. Notes Theor. Comput. Sci. 160, 305–319 (2006)
Rutten, J.J.M.M.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theor. Comput. Sci. 308, 1–53 (2003)
Rutten, J.J.M.M.: Universal Coalgebra: a Theory of Systems. Theor. Comput. Sci. 249, 3–80 (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, J. (2008). Coinductive Properties of Causal Maps. In: Meseguer, J., Roşu, G. (eds) Algebraic Methodology and Software Technology. AMAST 2008. Lecture Notes in Computer Science, vol 5140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79980-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-79980-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79979-5
Online ISBN: 978-3-540-79980-1
eBook Packages: Computer ScienceComputer Science (R0)