Skip to main content

Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata

  • Conference paper
  • First Online:
Unconventional Models of Computation (UMC 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2509))

Included in the following conference series:

Abstract

A number-conserving cellular automaton (NCCA) is a cel lular automaton (CA) such that all states of cells are represented by integers and the total number of its configuration is conserved through- out its computing process. It can be thought as a kind of modelization of the physical conservation law of mass or energy. Although NCCAs with simple rules are studied widely, it is quite difficult to design NCCAs with complex transition rules. We show a condition for two-dimensional von Neumann neighbor NCCAs with special symmetric rules and we construct a logically universal NCCA and a self-reproducing NCCA by employing this condition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boccara, N. and FukÅ›, H.: Number-conserving cellular automaton rules, Fundamenta Informaticae (to Appear).

    Google Scholar 

  2. Dewdney, A. K.: Computer recreations: the cellular automata programs that create wireworld, rugworld and other diversions, Scientific American Jan. (1990) 136–139.

    Google Scholar 

  3. Durand, B., Formenti, E. and Roka, Z.: Number conserving cellular automata: from decidability to dynamics, nlin.CG/0102035, (2001) (http://arxiv.org/list/nlin.CG/0102).

  4. Frisch, U., Hasslacher, B. and Pomeau, Y.: Lattice-Gas Automata for the Navier-Stokes equation, Physical Review Letters 56 (1986) 1505–1508.

    Article  Google Scholar 

  5. Hattori, T. and Takesue, S.: Additive conserved quantities in discrete-time lattice dynamical systems, Physica 49D (1991) 295–322.

    MathSciNet  Google Scholar 

  6. Langton, C.G.: Self-reproduction in cellular automata, Physica10D(1984) 135–144.

    Google Scholar 

  7. Margolus, N.: Physics-like models of computation, Physica, 10D (1984) 81–95.

    MathSciNet  Google Scholar 

  8. Morita, K. and Harao, M.: Computation universality of one-dimensional reversible (injective) cellular automata, Trans. IEICE Japan E72 (1989) 758–762.

    Google Scholar 

  9. Morita, K. and Imai, K.: Number-conserving reversible cellular automata and their computation-universality, Proceedings of MFCS’98 Workshop on Cellular Automata, Brno (1998) 51–68.

    Google Scholar 

  10. Nagel, K. and Schreckenberg, M.: A cellular automaton model for freeway traffic, Journal of Physics I,2 (1992) 2221–2229.

    Google Scholar 

  11. Tojima, Y.: Logic circuit composition on a two-dimensional three-state cellular automaton, Bachelor thesis, Hiroshima University (1997) (in Japanese).

    Google Scholar 

  12. Washio, T.: On self-reproduction in number-conserving reversible cellular automata, Bachelor thesis, Hiroshima University (1999) (in Japanese).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Imai, K., Fujita, K., Iwamoto, C., Morita, K. (2002). Embedding a Logically Universal Model and a Self-Reproducing Model into Number-Conserving Cellular Automata. In: Unconventional Models of Computation. UMC 2002. Lecture Notes in Computer Science, vol 2509. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45833-6_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-45833-6_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44311-7

  • Online ISBN: 978-3-540-45833-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics