Logical universality and self-reproduction in reversible cellular automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1259, Issue , 1997, Pages 152-166

  Morita, Kenichi ^a   Imai, Katsunobu ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CELLULAR SPACE; COMPUTING SYSTEM; FUNCTIONAL OBJECT; LOGICAL UNIVERSALITY; PHYSICAL LAWS; REVERSIBLE CELLULAR AUTOMATA; REVERSIBLE SYSTEMS; SELF REPRODUCTION;

CELLULAR AUTOMATA;

EID: 84958596690     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63173-9_44     Document Type: Conference Paper

References (25)

1. Bennett, C.H., Logical reversibility of computation, IBM J.Res.Dev., 17, 525-532 (1973).
2. Bennett, C.H., The thermodynamics of computation, Int. J. Theoret.Phys., 21, 905-940 (1982).
3. Bennett, C.H., and Landauer, R., The fundamental physical limits of computation, Sci.Am., 253, 38-46 (1985).
4. Bennett, C.H., Notes on the history of reversible computation, IBM J.Res.Dev., 32, 16-23 (1988).
5. Codd, E.F., Cellular Automata, Academic Press, New York (1968).
6. Deutsch, D., Quantum theory, the Church-Turing principle and the universal quantum computer, Proc.R.Soc.Lond.A, 400, 97-117 (1985).
7. Peynman, R.P., Simulating physics with computers, Int.3.Theoret.Phys., 21, 467488 (1982).
8. Fredkin, E., and Toffoli, Т., Conservative logic, Int. J. Theoret.Phys., 21, 219-253 (1982).
9. Ibánez, J., Anabitarte, D., Azpeitia, I., Barrera, O., Barrutieta, A., Blanco, H., and Echarte, F., Self-inspection based reproduction in cellular automata, in Advances in Artificial Life (eds. F. Moran et al), LNAI-929, Springer-Verlag, 564-576 (1995).
10. Imai, К., and Morita, K., On computation-universal two-dimensional cellular automata (in Japanese), Proc. LA Summer Symposium (Kobe), 4-16 (1996). http://kelp.ke.sys.hiroshima-u.ac.jp/proj ects/rca/urpca/triangular/
11. Laing, R., Automaton models of reproduction by self-inspection, J.Theor.Biol., 66, 437-456 (1977).
12. Langton, CG., Self-reproduction in cellular automata, Physica, 10D, 135-144 (1984).
13. Margolus, N., Physics-like model of computation, Physica, 10D, 81-95 (1984).
14. Morita, K., and Harao, M., Computation universality of one-dimensional reversible (injective) ceUular automata, Trans.IEICE, E-72, 758-762 (1989).
15. Morita, К., and Ueno, S., Computation-universal models of two-dimensional 16-state reversible cellular automata, IEICE Trans.Inf.& Syst., E75-D, 141-147 (1992).
16. Morita, K., Computation-universality of one-dimensional one-way reversible cellular automata, Inform.Process.Lett., 42, 325-329 (1992).
17. Morita, K., Reversibility in computation (in Japanese), J.Inform.Process.Soc.of Japan, 35, 306-314 (1994).
18. Morita, K., Reversible ceEular automata (in Japanese), J.Inform.Process.Soc.of Japan, 35, 315-321 (1994).
19. Morita, К., Reversible simulation of one-dimensional irreversible cellular automata, Theoret.Comput.ScL, 148, 157-163 (1995).
20. Morita, K., and Imai, K., A simple self-reproducing cellular automaton with shape-encoding mechanism, Proc. ALIFE У (Nara) (1996).
21. Morita, К., and Imai, К., Self-reproduction in a reversible cellular space, Theo-ret.Comput.Sci., 168, 337-366 (1996). http://kepi.ke.sys.hiroshima-u.ac.jp/proj ects/rca/sr/
22. von Neumann, J., Theory of Self-reproducing Automata (ed. A.W.Burks), The University of Illinois Press, Urbana (1966).
23. Toffoli, J., Computation and construction universality of reversible cellular automata, J.Comput.Syst.Sci., 15, 213-231 (1977).
24. Toffoli, Т., and Margolus, N., Invertible cellular automata: a review, Physica D, 45, 229-253 (1990).
25. Watrous, J., On one-dimensional quantum cellular automata, Proc. 36th IEEE Symposium on Foundations of Computer Science, 528-537 (1995).