Skip to main content

2018 | OriginalPaper | Buchkapitel

Logical Gates via Gliders Collisions

verfasst von : Genaro J. Martínez, Andrew Adamatzky, Kenichi Morita

Erschienen in: Reversibility and Universality

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

An elementary cellular automaton with memory is a chain of finite state machines (cells) updating their state simultaneously and by the same rule. Each cell updates its current state depending on current states of its immediate neighbours and a certain number of its own past states. Some cell-state transition rules support gliders, compact patterns of non-quiescent states translating along the chain. We present designs of logical gates, including reversible Fredkin gate and controlled not gate, implemented via collisions between gliders.

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!

Fußnoten
2
A reproduction of this machine working in rule 110 can be found in http://​uncomp.​uwe.​ac.​uk/​genaro/​rule110/​ctsRule110.​html.
 
Literatur
1.
Zurück zum Zitat Adamatzky, A. (ed.): Collision-Based Computing. Springer, Berlin (2002)MATH Adamatzky, A. (ed.): Collision-Based Computing. Springer, Berlin (2002)MATH
2.
Zurück zum Zitat Adamatzky, A.: Physarum Machines: Computers from Slime Mould. World Scientific Series on Nonlinear Science Series A, vol. 74. World Scientific, Singapore (2010) Adamatzky, A.: Physarum Machines: Computers from Slime Mould. World Scientific Series on Nonlinear Science Series A, vol. 74. World Scientific, Singapore (2010)
3.
Zurück zum Zitat Adamatzky, A.: Fredkin and Toffoli gates implemented in oregonator model of Belousov–Zhabotinsky medium. Int. J. Bifurc. Chaos 27(3), 1750041 (2017) Adamatzky, A.: Fredkin and Toffoli gates implemented in oregonator model of Belousov–Zhabotinsky medium. Int. J. Bifurc. Chaos 27(3), 1750041 (2017)
4.
Zurück zum Zitat Adamatzky, A., Mayne, R.: Actin automata: phenomenology and localizations. Int. J. Bifurc. Chaos 25(02), 1550030 (2015)MATHCrossRef Adamatzky, A., Mayne, R.: Actin automata: phenomenology and localizations. Int. J. Bifurc. Chaos 25(02), 1550030 (2015)MATHCrossRef
5.
Zurück zum Zitat Adamatzky, A., Costello, B.L., Asai, T.: Reaction-Diffusion Computers. Elsevier, Amsterdam (2005) Adamatzky, A., Costello, B.L., Asai, T.: Reaction-Diffusion Computers. Elsevier, Amsterdam (2005)
6.
Zurück zum Zitat Albert, J., Culik II, K.: A simple universal cellular automaton and its one-way and totalistic versions. Complex Syst. 1(1), 1–16 (1987)MathSciNetMATH Albert, J., Culik II, K.: A simple universal cellular automaton and its one-way and totalistic versions. Complex Syst. 1(1), 1–16 (1987)MathSciNetMATH
7.
Zurück zum Zitat Baltuska, A., Udem, T., Uiberacker, M., Hentschel, M., Goulielmakis, E., Gohle, C., Holzwarth, R., Yakovlev, V.S., Scrinzi, A., Hansch, T.W., Krausz, F.: Attosecond control of electronic processes by intense light fields. Nature 421(6923), 611–615 (2003)CrossRef Baltuska, A., Udem, T., Uiberacker, M., Hentschel, M., Goulielmakis, E., Gohle, C., Holzwarth, R., Yakovlev, V.S., Scrinzi, A., Hansch, T.W., Krausz, F.: Attosecond control of electronic processes by intense light fields. Nature 421(6923), 611–615 (2003)CrossRef
8.
Zurück zum Zitat Banks, E.R.: Information and transmission in cellular automata. Ph.D. Dissertion, Cambridge, MA, MIT (1971) Banks, E.R.: Information and transmission in cellular automata. Ph.D. Dissertion, Cambridge, MA, MIT (1971)
10.
Zurück zum Zitat Berlekamp, E.R., Conway, J.H., Guy, R.K.: Winning Ways for your Mathematical Plays, vol. 2. Academic Press, London (1982). (chapter 25) Berlekamp, E.R., Conway, J.H., Guy, R.K.: Winning Ways for your Mathematical Plays, vol. 2. Academic Press, London (1982). (chapter 25)
11.
Zurück zum Zitat Ciappina, M.F., Perez-Hernandez, J., Landsman, A., Okell, W., Zherebtsov, S., Frg, B., Schtz, J., Seiffert, L., Fennel, T., Shaaran, T. and Zimmermann, T.: Attosecond physics at the nanoscale. Reports on Progress in Physics (2017) Ciappina, M.F., Perez-Hernandez, J., Landsman, A., Okell, W., Zherebtsov, S., Frg, B., Schtz, J., Seiffert, L., Fennel, T., Shaaran, T. and Zimmermann, T.: Attosecond physics at the nanoscale. Reports on Progress in Physics (2017)
12.
Zurück zum Zitat Codd, E.F.: Cellular Automata. Academic Press Inc, New York (1968)MATH Codd, E.F.: Cellular Automata. Academic Press Inc, New York (1968)MATH
13.
14.
Zurück zum Zitat Davis, M.D., Signal, R., Weyuker, E.J.: Computability, Complexity, and Languages. Computer Science and Scientific Computing, 2nd edn. Academic Press, London (1994) Davis, M.D., Signal, R., Weyuker, E.J.: Computability, Complexity, and Languages. Computer Science and Scientific Computing, 2nd edn. Academic Press, London (1994)
16.
Zurück zum Zitat Fredkin, E., Toffoli, T.: Design Principles for Achieving High-Performance Submicron Digital Technologies, pages 27–46, (2001) (in [2]) Fredkin, E., Toffoli, T.: Design Principles for Achieving High-Performance Submicron Digital Technologies, pages 27–46, (2001) (in [2])
17.
Zurück zum Zitat Goulielmakis, E., Schultze, M., Hofstetter, M., Yakovlev, V.S., Gagnon, J., Uiberacker, M., Aquila, A.L., Gullikson, E.M., Attwood, D.T., Kienberger, R., Krausz, F.: Single-cycle nonlinear optics. Science 320(5883), 1614–1617 (2008)CrossRef Goulielmakis, E., Schultze, M., Hofstetter, M., Yakovlev, V.S., Gagnon, J., Uiberacker, M., Aquila, A.L., Gullikson, E.M., Attwood, D.T., Kienberger, R., Krausz, F.: Single-cycle nonlinear optics. Science 320(5883), 1614–1617 (2008)CrossRef
18.
Zurück zum Zitat Hey, A.J.G.: Feynman and Computation: Exploring the Limits of Computers. Perseus Books (1998) Hey, A.J.G.: Feynman and Computation: Exploring the Limits of Computers. Perseus Books (1998)
19.
Zurück zum Zitat Hutton, T.J.: Codd’s self-replicating computer. Artif. Life 16(2), 99–117 (2010)CrossRef Hutton, T.J.: Codd’s self-replicating computer. Artif. Life 16(2), 99–117 (2010)CrossRef
20.
Zurück zum Zitat Jakubowski, M.H., Steiglitz, K., Squier, R.: Computing with solitons: a review and prospectus. Mult. Valued Log. 6(5–6) (2001) (also republished in [2]) Jakubowski, M.H., Steiglitz, K., Squier, R.: Computing with solitons: a review and prospectus. Mult. Valued Log. 6(5–6) (2001) (also republished in [2])
21.
Zurück zum Zitat Lindgren, K., Nordahl, M.: Universal computation in simple one-dimensional cellular automata. Complex Syst. 4, 229–318 (1990)MathSciNetMATH Lindgren, K., Nordahl, M.: Universal computation in simple one-dimensional cellular automata. Complex Syst. 4, 229–318 (1990)MathSciNetMATH
23.
Zurück zum Zitat Margolus, N.H.: Crystalline computation. In: Hey, A.J.G. (ed.) Feynman and Computation: Exploring the Limits of Computers, pp. 267–305. Perseus Books (1998) Margolus, N.H.: Crystalline computation. In: Hey, A.J.G. (ed.) Feynman and Computation: Exploring the Limits of Computers, pp. 267–305. Perseus Books (1998)
24.
Zurück zum Zitat Margolus, N.H.: Universal cellular automata based on the collisions of soft spheres. In: Adamatzky, A. (ed.) Collision-Based Computing, pp. 107–134. Springer, Berlin (2002)CrossRef Margolus, N.H.: Universal cellular automata based on the collisions of soft spheres. In: Adamatzky, A. (ed.) Collision-Based Computing, pp. 107–134. Springer, Berlin (2002)CrossRef
25.
Zurück zum Zitat Margolus, N., Toffoli, T., Vichniac, G.: Cellular-automata supercomputers for fluid dynamics modeling. Phys. Rev. Lett. 56(16), 1694–1696 (1986)CrossRef Margolus, N., Toffoli, T., Vichniac, G.: Cellular-automata supercomputers for fluid dynamics modeling. Phys. Rev. Lett. 56(16), 1694–1696 (1986)CrossRef
26.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., McIntosh, H.V.: Phenomenology of glider collisions in cellular automaton rule 54 and associated logical gates. Chaos Solitons Fractals 28, 100–111 (2006)MathSciNetMATHCrossRef Martínez, G.J., Adamatzky, A., McIntosh, H.V.: Phenomenology of glider collisions in cellular automaton rule 54 and associated logical gates. Chaos Solitons Fractals 28, 100–111 (2006)MathSciNetMATHCrossRef
27.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Sanz, R.A.: Complex dynamics of elementary cellular automata emerging in chaotic rule. Int. J. of Bifurcation and Chaos 22(2), 1250023–13 (2012)MATHCrossRef Martínez, G.J., Adamatzky, A., Sanz, R.A.: Complex dynamics of elementary cellular automata emerging in chaotic rule. Int. J. of Bifurcation and Chaos 22(2), 1250023–13 (2012)MATHCrossRef
28.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Sanz, R.A.: Designing Complex Dynamics with Memory. Int. J. Bifurcation and Chaos 23(10), 1330035–131 (2013)MATHCrossRef Martínez, G.J., Adamatzky, A., Sanz, R.A.: Designing Complex Dynamics with Memory. Int. J. Bifurcation and Chaos 23(10), 1330035–131 (2013)MATHCrossRef
29.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., McIntosh, H.V.: A computation in a cellular automaton collider rule 110. In: Adamatzky, A. (ed.) Advances in Unconventional Computing Volume 1: Theory, pp. 391–428. Springer, Berlin (2016) Martínez, G.J., Adamatzky, A., McIntosh, H.V.: A computation in a cellular automaton collider rule 110. In: Adamatzky, A. (ed.) Advances in Unconventional Computing Volume 1: Theory, pp. 391–428. Springer, Berlin (2016)
30.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Sanz, R.A., Mora, J.C.S.T.: Complex dynamic emerging in rule 30 with majority memory. Complex Syst. 18(3), 345–365 (2010)MathSciNetMATH Martínez, G.J., Adamatzky, A., Sanz, R.A., Mora, J.C.S.T.: Complex dynamic emerging in rule 30 with majority memory. Complex Syst. 18(3), 345–365 (2010)MathSciNetMATH
31.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Mora, J.C.S.T., Alonso-Sanz, R.: How to make dull cellular automata complex by adding memory: rule 126 case study. Complexity 15(6), 34–49 (2010)MathSciNet Martínez, G.J., Adamatzky, A., Mora, J.C.S.T., Alonso-Sanz, R.: How to make dull cellular automata complex by adding memory: rule 126 case study. Complexity 15(6), 34–49 (2010)MathSciNet
32.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Stephens, C.R., Hoeflich, A.F.: Cellular automaton supercolliders. Int. J. Mod. Phys. C 22(4), 419–439 (2011)MATHCrossRef Martínez, G.J., Adamatzky, A., Stephens, C.R., Hoeflich, A.F.: Cellular automaton supercolliders. Int. J. Mod. Phys. C 22(4), 419–439 (2011)MATHCrossRef
33.
Zurück zum Zitat Martínez, G.J., McIntosh, H.V., Mora, J.C.S.T., Vergara, S.V.C.: Reproducing the cyclic tag system developed by Matthew Cook with Rule 110 using the phases f\(_1\)_1. J. Cell. Autom. 6(2–3), 121–161 (2011) Martínez, G.J., McIntosh, H.V., Mora, J.C.S.T., Vergara, S.V.C.: Reproducing the cyclic tag system developed by Matthew Cook with Rule 110 using the phases f\(_1\)_1. J. Cell. Autom. 6(2–3), 121–161 (2011)
34.
Zurück zum Zitat Martínez, G.J., Adamatzky, A., Chen, F., Chua, L.: On soliton collisions between localizations in complex elementary cellular automata: rules 54 and 110 and beyond. Complex Syst. 21(2), 117–142 (2012)MathSciNetMATH Martínez, G.J., Adamatzky, A., Chen, F., Chua, L.: On soliton collisions between localizations in complex elementary cellular automata: rules 54 and 110 and beyond. Complex Syst. 21(2), 117–142 (2012)MathSciNetMATH
35.
Zurück zum Zitat Martínez, G.J., Mora, J.C.S.T., Zenil, H.: Computation and universality: class IV versus class III cellular automata. J. Cell. Autom. 7(5–6), 393–430 (2013)MathSciNetMATH Martínez, G.J., Mora, J.C.S.T., Zenil, H.: Computation and universality: class IV versus class III cellular automata. J. Cell. Autom. 7(5–6), 393–430 (2013)MathSciNetMATH
37.
Zurück zum Zitat McIntosh, H.V.: One Dimensional Cellular Automata. Luniver Press, United Kingdom (2009) McIntosh, H.V.: One Dimensional Cellular Automata. Luniver Press, United Kingdom (2009)
39.
Zurück zum Zitat Minsky, M.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH Minsky, M.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH
40.
Zurück zum Zitat Mitchell, M.: Life and evolution in computers. Hist. Philos. Life Sci. 23, 361–383 (2001) Mitchell, M.: Life and evolution in computers. Hist. Philos. Life Sci. 23, 361–383 (2001)
41.
Zurück zum Zitat Moore, C., Mertens, S.: The Nature of Computation. Oxford University Press, Oxford (2011)MATHCrossRef Moore, C., Mertens, S.: The Nature of Computation. Oxford University Press, Oxford (2011)MATHCrossRef
42.
Zurück zum Zitat Moore, P.B., Huxley, H.E., DeRosier, D.J.: Three-dimensional reconstruction of F-actin, thin filaments and decorated thin filaments. J. Mol. Biol. 50(2), 279IN17289–288IN28292 (1970) Moore, P.B., Huxley, H.E., DeRosier, D.J.: Three-dimensional reconstruction of F-actin, thin filaments and decorated thin filaments. J. Mol. Biol. 50(2), 279IN17289–288IN28292 (1970)
43.
Zurück zum Zitat Morita, K.: A simple construction method of a reversible finite automaton out of Fredkin gates, and its related problem. Trans. IEICE Jpn. E–73, 978–984 (1990) Morita, K.: A simple construction method of a reversible finite automaton out of Fredkin gates, and its related problem. Trans. IEICE Jpn. E–73, 978–984 (1990)
44.
Zurück zum Zitat Morita, K.: A new universal logic element for reversible computing. IEICE technical report. Theor. Found. Comput. 99(724), 119–126 (2000) Morita, K.: A new universal logic element for reversible computing. IEICE technical report. Theor. Found. Comput. 99(724), 119–126 (2000)
45.
Zurück zum Zitat Morita, K.: Simple universal one-dimensional reversible cellular automata. J. Cell. Autom. 2, 159–165 (2007)MathSciNetMATH Morita, K.: Simple universal one-dimensional reversible cellular automata. J. Cell. Autom. 2, 159–165 (2007)MathSciNetMATH
47.
Zurück zum Zitat Morita, K.: Universality of 8-State reversible and conservative triangular partitioned cellular automata. Lecture Notes in Computer Science, vol. 9863, pp. 45–54. Springer, Cham (2016) Morita, K.: Universality of 8-State reversible and conservative triangular partitioned cellular automata. Lecture Notes in Computer Science, vol. 9863, pp. 45–54. Springer, Cham (2016)
48.
Zurück zum Zitat Morita, K., Harao, M.: Computation universality of one-dimensional reversible (injective) cellular automata. Trans. IEICE Jpn. E–72, 758–762 (1989) Morita, K., Harao, M.: Computation universality of one-dimensional reversible (injective) cellular automata. Trans. IEICE Jpn. E–72, 758–762 (1989)
49.
Zurück zum Zitat Nabekawa, Y., Okino, T., Midorikawa, K.: Probing attosecond dynamics of molecules by an intense a-few-pulse attosecond pulse train. In: 31st International Congress on High-Speed Imaging and Photonics, p. 103280B. International Society for Optics and Photonics (2017) Nabekawa, Y., Okino, T., Midorikawa, K.: Probing attosecond dynamics of molecules by an intense a-few-pulse attosecond pulse train. In: 31st International Congress on High-Speed Imaging and Photonics, p. 103280B. International Society for Optics and Photonics (2017)
51.
Zurück zum Zitat Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. Princeton University Press, Princeton (1941)MATH Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. Princeton University Press, Princeton (1941)MATH
52.
Zurück zum Zitat Rendell, P.: Turing Machine Universality of the Game of Life. Springer, Berlin (2016)MATHCrossRef Rendell, P.: Turing Machine Universality of the Game of Life. Springer, Berlin (2016)MATHCrossRef
53.
Zurück zum Zitat Sanz, R.A.: Cellular Automata with Memory. Old City Publishing, Philadelphia (2009)MATH Sanz, R.A.: Cellular Automata with Memory. Old City Publishing, Philadelphia (2009)MATH
55.
Zurück zum Zitat Spudich, J.A., Huxley, H.E., Finch, J.T.: Regulation of skeletal muscle contraction: II. Structural studies of the interaction of the tropomyosin-troponin complex with actin. J. Mol. Biol. 72(3), 619IN5IN18621–620IN16IN19632 (1972) Spudich, J.A., Huxley, H.E., Finch, J.T.: Regulation of skeletal muscle contraction: II. Structural studies of the interaction of the tropomyosin-troponin complex with actin. J. Mol. Biol. 72(3), 619IN5IN18621–620IN16IN19632 (1972)
56.
Zurück zum Zitat Steiglitz, K.: Soliton-guided quantum information processing. In: Adamatzky, A. (ed.) Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms, pp. 297–307. Springer, Berlin (2016) Steiglitz, K.: Soliton-guided quantum information processing. In: Adamatzky, A. (ed.) Advances in Unconventional Computing Volume 2: Prototypes, Models and Algorithms, pp. 297–307. Springer, Berlin (2016)
57.
Zurück zum Zitat Steiglitz, K., Kamal, I., Watson, A.: Embedding computation in one-dimensional automata by phase coding solitons. IEEE Trans. Comput. 37(2), 138–145 (1988)MathSciNetCrossRef Steiglitz, K., Kamal, I., Watson, A.: Embedding computation in one-dimensional automata by phase coding solitons. IEEE Trans. Comput. 37(2), 138–145 (1988)MathSciNetCrossRef
58.
Zurück zum Zitat Szent-Gyórgyi, A.G.: The early history of the biochemistry of muscle contraction. J. Gen. Physiol. 123(6), 631–641 (2004)CrossRef Szent-Gyórgyi, A.G.: The early history of the biochemistry of muscle contraction. J. Gen. Physiol. 123(6), 631–641 (2004)CrossRef
59.
Zurück zum Zitat Toffoli, T.: Non-conventional computers. In: Webster, J. (ed.) Encyclopedia of Electrical and Electronics Engineering, pp. 455–471. Wiley, London (1998) Toffoli, T.: Non-conventional computers. In: Webster, J. (ed.) Encyclopedia of Electrical and Electronics Engineering, pp. 455–471. Wiley, London (1998)
60.
Zurück zum Zitat Toffoli, T.: Symbol super colliders. In: Adamatzky, A. (ed.) Collision-Based Computing, pp. 1–22. Springer, Berlin (2002) Toffoli, T.: Symbol super colliders. In: Adamatzky, A. (ed.) Collision-Based Computing, pp. 1–22. Springer, Berlin (2002)
61.
Zurück zum Zitat Tuszyński, J.A., Portet, S., Dixon, J.M., Luxford, C., Cantiello, H.F.: Ionic wave propagation along actin filaments. Biophys. J. 86(4), 1890–1903 (2004)CrossRef Tuszyński, J.A., Portet, S., Dixon, J.M., Luxford, C., Cantiello, H.F.: Ionic wave propagation along actin filaments. Biophys. J. 86(4), 1890–1903 (2004)CrossRef
62.
Zurück zum Zitat von Neumann, J.: Theory of Self-reproducing Automata (edited and completed by A.W. Burks). University of Illinois Press, Urbana (1966) von Neumann, J.: Theory of Self-reproducing Automata (edited and completed by A.W. Burks). University of Illinois Press, Urbana (1966)
65.
Zurück zum Zitat Wolfram, S.: Cellular Automata and Complexity. Addison-Wesley Publishing Company, Reading (1994) Wolfram, S.: Cellular Automata and Complexity. Addison-Wesley Publishing Company, Reading (1994)
66.
Zurück zum Zitat Wolfram, S.: A New Kind of Science. Wolfram Media Inc., Champaign (2002)MATH Wolfram, S.: A New Kind of Science. Wolfram Media Inc., Champaign (2002)MATH
Metadaten
Titel
Logical Gates via Gliders Collisions
verfasst von
Genaro J. Martínez
Andrew Adamatzky
Kenichi Morita
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-73216-9_9