Universality of a reversible two-counter machine

Theoretical Computer Science

Volumn 168, Issue 2, 1996, Pages 303-320

  Morita, Kenichi ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; TURING MACHINES;

REVERSIBLE TWO COUNTER MACHINES;

FINITE AUTOMATA;

EID: 0030289138     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00081-3     Document Type: Article

References (15)

1. C.H. Bennett, Logical reversibility of computation, IBM J. Res. Dev. 17 (1973) 525-532.
2. C.H. Bennett, The thermodynamics of computation, Internat. J. Theoret. Phys. 21 (1982) 905-940.
3. C.H. Bennett and R. Landauer, The fundamental physical limits of computation, Sci. Amer. 253 (1985) 38-46.
4. C.H. Bennett, Notes on the history of reversible computation, IBM J. Res. Dev. 32 (1988) 16-23.
5. E. Fredkin and T. Toffoli, Conservative logic, Internat. J. Theoret. Phys. 21 (1982) 219-253.
6. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation (Addison-Wesley, Reading, MA, 1979).
7. N. Margolus, Physics-like model of computation, Physica 10D (1984) 81-95.
8. M.L. Minsky, Computation: Finite and Infinite Machines (Prentice-Hall, Englewood Cliffs, NJ, 1967).
9. K. Morita, A. Shirasaki and Y. Gono, A 1-tape 2-symbol reversible Turing machine, Trans. IEICE Japan E72 (1989) 223-228.
10. K. Morita and M. Harao, Computation universality of one-dimensional reversible (injective) cellular automata, Trans. IEICE Japan E72 (1989) 758-762.
11. K. Morita and S. Ueno, Computation-universal models of two-dimensional 16-state reversible cellular automata, IEICE Trans. Inf. Syst. E75-D (1992) 141-147.
12. K. Morita, Reversibility in computation, J. Inform. Process. Soc. Japan 35 (1994) 306-314 (in Japanese).
13. K. Morita, Reversible cellular automata, J. Inform. Process. Soc. Japan 35 (1994) 315-321 (in Japanese).
14. T. Toffoli, Computation and construction universality of reversible cellular automata, J. Comput. System Sci. 15 (1977) 213-231.
15. T. Toffoli and N. Margolus, Invertible cellular automata: a review, Physica D 45 (1990) 229-253.