Skip to main content
Erschienen in: Natural Computing 2/2012

01.06.2012

Grids and universal computations on one-dimensional cellular automata

verfasst von: Jean-Baptiste Yunès

Erschienen in: Natural Computing | Ausgabe 2/2012

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This article shows how universal computations can be achieved on one-dimensional cellular automata. We are interested in intrinsic universality: we want a CA in which any other CA can be represented and simulated with no intermediate coding relevant to another computation model. We first abstract the space-time diagram in favor of the dependency graph. Then we show how such a dependency graph (via treillis automata) can be realized by what is called a grid, leading to a simple uniform simulation. Finally, we exhibit a very simple universal brick that can be used in grids to obtain an intrinsic universal CA.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Albert J, Čulik K II (1987) A simple universal cellular automaton and its oneway and totalistic versions. Complex Syst 1:1–16MATH Albert J, Čulik K II (1987) A simple universal cellular automaton and its oneway and totalistic versions. Complex Syst 1:1–16MATH
Zurück zum Zitat Arrighi P, Grattage J (2010) A simple intrinsically universal n-dimensional quantum cellular automata. LATA, LNCS 2010, 6031:70–81MathSciNet Arrighi P, Grattage J (2010) A simple intrinsically universal n-dimensional quantum cellular automata. LATA, LNCS 2010, 6031:70–81MathSciNet
Zurück zum Zitat Atrubin AJ (1965) A one-dimensional real-time iterative multiplier. IEEE Trans Electr Comput 14:394–399CrossRef Atrubin AJ (1965) A one-dimensional real-time iterative multiplier. IEEE Trans Electr Comput 14:394–399CrossRef
Zurück zum Zitat Cole SN (1969) Real-time computation by n-dimensional iterative arrays of finite-states machines. IEEE Trans Comput C-18/4:349–365CrossRef Cole SN (1969) Real-time computation by n-dimensional iterative arrays of finite-states machines. IEEE Trans Comput C-18/4:349–365CrossRef
Zurück zum Zitat Doty D, Lutz JH, Patitz MJ, Summers SM, Woods D (2010) Intrinsic universality in self-assembly. Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS 2010), (Nancy, France, March 4–6, 2010), pp 275–286 Doty D, Lutz JH, Patitz MJ, Summers SM, Woods D (2010) Intrinsic universality in self-assembly. Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS 2010), (Nancy, France, March 4–6, 2010), pp 275–286
Zurück zum Zitat Durand B, Róka Z (1996) The game of life: universality revisited. Proceedings of Cellular Automata 1996, Saissac, France, Academic Publishers, Dordrecht Durand B, Róka Z (1996) The game of life: universality revisited. Proceedings of Cellular Automata 1996, Saissac, France, Academic Publishers, Dordrecht
Zurück zum Zitat Durand-Lose J (1997) Intrinsic universality of a 1-dimensional reversible Cellular Automaton. STACS 97, Springer, Berlin Durand-Lose J (1997) Intrinsic universality of a 1-dimensional reversible Cellular Automaton. STACS 97, Springer, Berlin
Zurück zum Zitat Martin B (1994) A universal cellular automaton in quasi-linear time and its S-m-n form. Theor Comput Sci 123:199–237MATHCrossRef Martin B (1994) A universal cellular automaton in quasi-linear time and its S-m-n form. Theor Comput Sci 123:199–237MATHCrossRef
Zurück zum Zitat Mazoyer J (1987) A six states minimal time solution to the firing squad synchronization problem. Theor Comput Sci 50:183–328MathSciNetMATHCrossRef Mazoyer J (1987) A six states minimal time solution to the firing squad synchronization problem. Theor Comput Sci 50:183–328MathSciNetMATHCrossRef
Zurück zum Zitat Mazoyer J, Yunès JB (2011) Computations on cellular automata. In: Rozenberg G, Bäck T, Kok J (eds) Handbook of natural computing, Springer, Berlin Mazoyer J, Yunès JB (2011) Computations on cellular automata. In: Rozenberg G, Bäck T, Kok J (eds) Handbook of natural computing, Springer, Berlin
Zurück zum Zitat Ollinger N (2003) The intrinsic universality problem of one-dimensional cellular automata. Proceedings of STACS 2003, Lecture Notes on Computer Science, pp 632–641 Ollinger N (2003) The intrinsic universality problem of one-dimensional cellular automata. Proceedings of STACS 2003, Lecture Notes on Computer Science, pp 632–641
Zurück zum Zitat Poupet V (2005) Cellular automata: real-time equivalence between one-dimensional neighborhoods. STACS 2005, Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, February 24–26, Stuttgart, pp 133–144 Poupet V (2005) Cellular automata: real-time equivalence between one-dimensional neighborhoods. STACS 2005, Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, February 24–26, Stuttgart, pp 133–144
Metadaten
Titel
Grids and universal computations on one-dimensional cellular automata
verfasst von
Jean-Baptiste Yunès
Publikationsdatum
01.06.2012
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 2/2012
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-012-9312-2

Weitere Artikel der Ausgabe 2/2012

Natural Computing 2/2012 Zur Ausgabe

EditorialNotes

Foreword

Premium Partner