Abstract
The paper intends to seek a definition of continuous relations with relational methods and gives another proof of Richardson’s theorem on nondeterministic cellular automata.
This work was supported in part by Grants-in-Aid for Scientific Research (C) 22500016 from Japan Society for the Promotion of Science (JSPS).
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
Brattka, V., Hertling, P.: Continuity and computability of relations. Informatik Berichte, vol. 164. FernUniversität in Hagen (1994)
Ceccherini-Silberstein, T., Coornaert, M.: Cellular automata and groups. Springer (2010)
Choquet, G.: Convergence. Annales de l’université de Grenoble 23, 57–112 (1947-1948)
Desharnais, J.: Monomorphic characterization of n-ary direct products. Information Sciences 119(3-4), 275–288 (1999)
Freyd, P., Scedrov, A.: Categories, allegories. North-Holland, Amsterdam (1990)
Richardson, D.: Tessellations with local transformations. J. Computer and System Sciences 6, 373–388 (1972)
Schmidt, G., Ströhlein, T.: Relations and graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoret. Comput. Sci. Springer, Berlin (1993)
Wolfram, S.: A new kind of science. Wolfram Media (2002)
Ziegler, M.: Relative computability and uniform continuity of relations. Logic seminar 2011, Technische Universität Darmstadt (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Furusawa, H., Ishida, T., Kawahara, Y. (2012). Continuous Relations and Richardson’s Theorem. In: Kahl, W., Griffin, T.G. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2012. Lecture Notes in Computer Science, vol 7560. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33314-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-33314-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33313-2
Online ISBN: 978-3-642-33314-9
eBook Packages: Computer ScienceComputer Science (R0)