Abstract
We formalize the idea of intrinsically universal cellular automata, which is strictly stronger than classical computational universality. Thanks to this uniform notion, we construct a new one-dimensional universal automaton with von Neumann neighborhood and only 6 states, thus improving the best known lower bound both for computational and intrinsic universality.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Albert and K. Čulik II, A simple universal cellular automaton and its one-way and totalistic version, Complex Systems, 1(1987), no. 1, 1–16.
E. R. Banks, Universality in cellular automata, in Conference Record of 1970 Eleventh Annual Symposium on Switching and Automata Theory, pages 194–215, IEEE, 1970.
E. Codd, Cellular Automata, Academic Press, 1968.
M. Kudlek and Y. Rogozhin, New small universal circular Post machines, in R. Freivalds, editor, Proceedings of FCT’2001, volume 2138 of LNCS, pages 217–226, 2001.
K. Lindgren and M. G. Nordahl, Universal computation in simple one-dimensional cellular automata, Complex Systems, 4(1990), 299–318.
J. Mazoyer and I. Rapaport, Inducing an order on cellular automata by a grouping operation, Discrete Appl. Math., 218(1999), 177–196.
M. Minsky, Finite and Infinite Machines, Prentice Hall, 1967.
N. Ollinger, Toward an algorithmic classification of cellular automata dynamics, 2001, LIP RR2001-10, http://www.ens-lyon.fr/LIP.
N. Ollinger, Two-states bilinear intrinsically universal cellular automata, in R. Freivalds, editor, Proceedings of FCT’2001, volume 2138 of LNCS, pages 396–399, 2001.
C. E. Shannon, A universal Turing machine with two internal states, Ann. Math. Stud., 34(1956), 157–165.
A. R. Smith III, Simple computation-universal cellular spaces, J. ACM, 18(1971), no. 3, 339–353.
J. von Neumann, Theory of Self-reproducing Automata, University of Illinois Press, Chicago, 1966.
I. Wegener, The complexity of boolean functions, Wiley-Teubner, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ollinger, N. (2002). The Quest for Small Universal Cellular Automata. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds) Automata, Languages and Programming. ICALP 2002. Lecture Notes in Computer Science, vol 2380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45465-9_28
Download citation
DOI: https://doi.org/10.1007/3-540-45465-9_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43864-9
Online ISBN: 978-3-540-45465-6
eBook Packages: Springer Book Archive