Skip to main content
SpringerLink
Log in

Inducing an order on cellular automata by a grouping operation

  • Automata and Formal Languages I
  • Conference paper
  • First Online:
STACS 98 (STACS 1998)

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

Included in the following conference series:

Abstract

A grouped instance of a cellular automaton (CA) is another one obtained by grouping several states into blocks and by letting interact neighbor blocks. Based on this operation a preorder ≤ on the set of one dimensional CA is introduced. It is shown that (CA,≤) admits a global minimum and that on the bottom of (CA,≤) very natural equivalence classes are located. These classes remind us the first two well-known Wolfram ones because they capture global (or dynamical) properties as nilpotency or periodicity. Non trivial properties as the undecidability of ≤ and the existence of bounded infinite chains are also proved. Finally, it is shown that (CA,≤) admits no maximum. This result allows us to conclude that, in a “grouping sense”, there is no universal CA.

This work was partially supported by Program ECOS-97.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albert J., Culik II K.: A simple universal cellular automaton and its one-way and totalisting version. Complex Systems 1 (1987) 1–16.

    MATH  MathSciNet  Google Scholar 

  2. Culik II K., Pachl J., Yu S.: On the limit sets of cellular automata. SIAM J. Computing 18 (1989) 831–842.

    Article  MATH  MathSciNet  Google Scholar 

  3. Kari J.: The nilpotency problem of one-dimensional cellular automata. SIAM J. Computing 21 (1992) 571–586.

    Article  MATH  MathSciNet  Google Scholar 

  4. Martin B.: A universal cellular automaton in quasi-linear time and its s-m-n form. Theoretical Computer Science 123(2) (1994) 199–237.

    Article  MATH  MathSciNet  Google Scholar 

  5. Moore E.F.: Sequential machines, selected papers. Addison Wesley Reading Mass. (1964) 213–214.

    MATH  Google Scholar 

  6. Mazoyer J., Reimen N.: A linear speed-up theorem for cellular automata. Theoretical Computer Science 101 (1992) 59–98.

    Article  MATH  MathSciNet  Google Scholar 

  7. Smith III A.R.: Simple computation-universal cellular spaces. Journal ACM 18 (1971) 339–353.

    Article  MATH  Google Scholar 

  8. Wolfram S.: Universality and complexity in cellular automata. Physica D 10 (1984) 1–35.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIP-École Normale Supérieure Supérieure de Lyon, 46 Allée d'Italie, 69364, Lyon Cedex 07, France

    Jacques Mazoyer & Ivan Rapaport

Authors
  1. Jacques Mazoyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Rapaport
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michel Morvan Christoph Meinel Daniel Krob

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag

About this paper

Cite this paper

Mazoyer, J., Rapaport, I. (1998). Inducing an order on cellular automata by a grouping operation. In: Morvan, M., Meinel, C., Krob, D. (eds) STACS 98. STACS 1998. Lecture Notes in Computer Science, vol 1373. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028554

Download citation

  • DOI: https://doi.org/10.1007/BFb0028554

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64230-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation