Computation in reversible cellular automata

References

• Amoroso , S. and Patt , Y. 1972 . Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures . Journal of Computer and System Sciences , 6 : 448 – 464 .
   Google Scholar
• Beluchenko , N. 2009 . “ Flower of Eden ” . Available from: http://conwaylife.com/wiki/Flower_of_Eden
   Google Scholar
• Bennett , C.H. 1973 . Logical Reversibility of Computation . IBM Journal of Research and Development , 17 : 525 – 532 .
   Web of Science ®Google Scholar
• Cook , M. 2004 . Universality in Elementary Cellular Automata . Complex Systems , 15 : 1 – 40 .
   Google Scholar
• Hedlund , G. 1969 . Endomorphisms and Automorphisms of the Shift Dynamical System . Mathematical Systems Theory , 3 : 320 – 375 .
   Google Scholar
• Imai , K. , Hori , T. and Morita , K. 2002 . Self-Reproduction in Three-Dimensional Reversible Cellular Space . Artificial Life , 8 : 155 – 174 .
   PubMed Web of Science ®Google Scholar
• Imai , K. and Morita , K. 1996 . Firing Squad Synchronization Problem in Reversible Cellular Automata . Theoretical Computer Science , 165 : 475 – 482 .
   Web of Science ®Google Scholar
• Imai , K. and Morita , K. 2000 . A Computation-Universal Two-Dimensional 8-State Triangular Reversible Cellular Automaton . Theoretical Computer Science , 231 : 181 – 191 .
   Web of Science ®Google Scholar
• Kari , J. 1994 . Reversibility and Surjectivity Problems of Cellular Automata . Journal of Computer and System Sciences , 48 : 149 – 182 .
   Web of Science ®Google Scholar
• Kari , J. 2005 . Reversible Cellular Automata . Proceedings of DLT 2005 , LNCS 3572 : 57 – 68 .
   Google Scholar
• Landauer , R. 1961 . Irreversibility and Heat Generation in the Computing Process . IBM Journal of Research and Development , 5 : 183 – 191 .
   Web of Science ®Google Scholar
• Margolus , N. 1984 . Physics-Like Model of Computation . Physica D , 10 : 81 – 95 .
   Web of Science ®Google Scholar
• Moore , E. 1962 . Machine Models of Self-Reproduction . Proceedings of Symposia in Applied Mathematics, American Mathematical Society , 14 : 17 – 33 .
   Google Scholar
• Morita , K. 1995 . Reversible Simulation of One-Dimensional Irreversible Cellular Automata . Theoretical Computer Science , 148 : 157 – 163 .
   Web of Science ®Google Scholar
• Morita , K. 2007 . Simple Universal One-Dimensional Reversible Cellular Automata . Journal of Cellular Automata , 2 : 159 – 166 .
   Web of Science ®Google Scholar
• Morita , K. 2008 . Reversible Computing and Cellular Automata – A Survey . Theoretical Computer Science , 395 : 101 – 131 .
   Web of Science ®Google Scholar
• Morita , K. 2009 . “ Reversible Cellular Automata ” . In Encyclopedia of Complexity and Systems Science , Edited by: Meyers , R.A. 7679 – 7695 . New York : Springer-Verlag .
   Google Scholar
• Morita , K. 2011 . Simulating Reversible Turing Machines and Cyclic Tag Systems by One-Dimensional Reversible Cellular Automata . Theoretical Computer Science , 412 : 3856 – 3865 .
   Web of Science ®Google Scholar
• Morita , K. and Harao , M. 1989 . Computation Universality of One-Dimensional Reversible (Injective) Cellular Automata . Transactions of the IEICE of Japan , E72 : 758 – 762 .
   Google Scholar
• Morita , K. , Shirasaki , A. and Gono , Y. 1989 . A 1-Tape 2-Symbol Reversible Turing Machine . Transactions of the IEICE of Japan , E-72 : 223 – 228 .
   Google Scholar
• Morita , K. , Tojima , Y. , Imai , K. and Ogiro , T. 2002 . “ Universal Computing in Reversible and Number-Conserving Two-Dimensional Cellular Spaces ” . In Collision-Based Computing , Edited by: Adamatzky , A. 161 – 199 . London : Springer-Verlag .
   Google Scholar
• Morita , K. and Ueno , S. 1992 . Computation-Universal Models of Two-Dimensional 16-State Reversible Cellular Automata . IEICE Transactions on Information and Systems , E75 : 141 – 147 .
   Google Scholar
• Myhill , J. 1963 . The Converse of Moore's Garden-of-Eden Theorem . Proceedings of the American Mathematical Society , 14 : 658 – 686 .
   Google Scholar
• Richardson , D. 1972 . Tessellations with Local Transformations . Journal of Computer and System Sciences , 6 : 373 – 388 .
   Google Scholar
• Toffoli , T. 1977 . Computation and Construction Universality of Reversible Cellular Automata . Journal of Computer and System Sciences , 15 : 213 – 231 .
   Web of Science ®Google Scholar
• Toffoli , T. and Margolus , N. 1990 . Invertible Cellular Automata: A Review . Physica D , 45 : 229 – 253 .
   Web of Science ®Google Scholar