Abstract
An approach to compatibility analysis of systems of discrete relations is proposed. Unlike the Gröbner basis technique, the proposed scheme is not based on the polynomial ring structure. It uses more primitive set-theoretic and topological concepts and constructions. We illustrate the approach by application to some two-state cellular automata. In the two-state case the Gröbner basis method is also applicable, and we compare both approaches.
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
Toffoli, T.: Occam, Turing, von Neumann, Jaynes: How much can you get for how little (A conceptual introduction to cellular automata). In: Automi Cellulari per la Ricerca e l’Industria, Rende (CS), Italy, September 29–30 (1994)
Hilton, P.J., Wylie, S.: Homology Theory: An Introduction to Algebraic Topology. Cambridge University Press, New York (1960)
Lidl, R., Niederreiter, H.: Finite Fields. Encyclopedia of Math. and its Appl, vol. 20. Cambridge University Press, London (1997)
’t Hooft, G.: Dimensional Reduction in Quantum Gravity, Essay dedicated to Abdus Salam, Utrecht preprint THU-93/26, p. 13; id., arXiv: gr-qc/9310026
Bousso, R.: The Holographic Principle. Rev. Mod. Phys. 74, 825–874 (2002), arXiv: hep-th/0203101
Gardner, M.: On Cellular Automata Self-reproduction, the Garden of Eden and the Game of ‘Life’. Sci. Am. 224, 112–117 (1971)
Wolfram, S.: A New Kind of Science. Wolfram Media, Inc., Champaign (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kornyak, V.V. (2005). On Compatibility of Discrete Relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2005. Lecture Notes in Computer Science, vol 3718. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11555964_23
Download citation
DOI: https://doi.org/10.1007/11555964_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28966-1
Online ISBN: 978-3-540-32070-8
eBook Packages: Computer ScienceComputer Science (R0)