Skip to main content
Springer Nature Link
Log in

Cellular Automata and Formulae on Monoids

  • Conference paper
Cellular Automata (ACRI 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8751))

Included in the following conference series:

  • 3166 Accesses

Abstract

This paper studies cellular automata with binary states on monoids making use of formulae in propositional logic, instead of local functions. Also we prove that the multiplication of formulae, defined by monoid action, determines the composition of transition functions of CA. This result converts the reversibility of transition functions to the reversibility of formulae. Several examples of reversible formulae are illustrated. Finally, introducing the Stone topology on configuration spaces, we give a neat proof of Hedlund’s theorem for CA.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Kleine Büning, H., Lettmann, T.: Propositional Logic: Deduction and Algorithms, Cambridge. Cambridge Tracts in Theoretical Computer Science (1999)

    Google Scholar 

  2. Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Berlin (2010)

    Book  MATH  Google Scholar 

  3. Hedlund, G.A.: Endomorphisms and automorphisms of the shift dynamical system. Mathematical Systems Theory 3(4), 320–375 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  4. Inokuchi, S., Ito, T., Fujio, M., Mizoguchi, Y.: A formulation of composition for cellular automata on groups. IEICE Transactions on Information and Systems E97-D(3), 448–454 (2014)

    Article  Google Scholar 

  5. Inokuchi, S., Ishida, T., Kawahara, Y.: Propositional logic and cellular automata, to appear in RIMS Kokyuroku, Research Institute for Mathematical Sciences, Kyoto University

    Google Scholar 

  6. Kari, J.: Reversibility of 2D cellular automata is undecidable, Cellular automata: theory and experiment (Los Alamos, NM, 1989). Physica D 45, 379–385 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  7. Nobe, A., Yura, F.: On reversibility of cellular automata with periodic boundary conditions. Journal of Physics A: Mathematical and General 37, 5789–5804 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  8. Richardson, D.: Tessellations with local transformations. J. Computer and System Sciences 6, 373–388 (1972)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Fundamental Education, Kyushu Sangyo University, Fukuoka, 813-8503, Japan

    Toshikazu Ishida

  2. Faculty of Information Engineering, Fukuoka Institute of Technology, Fukuoka, 811-0295, Japan

    Shuichi Inokuchi

  3. Professor Emeritus, Kyushu University, Fukuoka, Japan

    Yasuo Kawahara

Authors
  1. Toshikazu Ishida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shuichi Inokuchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yasuo Kawahara
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Applied Computer Science, AGH University of Science and Technology, al. Mickiewicza 30, 30-059, Krakow, Poland

    Jarosław Wąs

  2. Dept. of Electrical and Computer Engineering, Democritus University of Thrace, 67100, Xanthi, Greece

    Georgios Ch. Sirakoulis

  3. CSAI - Complex Systems and Artificial Intelligence Research Center, University of Milano-Bicocca, 20126, Milan, Italy

    Stefania Bandini

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Ishida, T., Inokuchi, S., Kawahara, Y. (2014). Cellular Automata and Formulae on Monoids. In: Wąs, J., Sirakoulis, G.C., Bandini, S. (eds) Cellular Automata. ACRI 2014. Lecture Notes in Computer Science, vol 8751. Springer, Cham. https://doi.org/10.1007/978-3-319-11520-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11520-7_7

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11519-1

  • Online ISBN: 978-3-319-11520-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics