Feynman Lectures on Computation
Feynman Lectures on Computation
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Logical reversibility of computation
IBM Journal of Research and Development
Reversible Computation in Asynchronous Cellular Automata
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Delay-insensitive computation in asynchronous cellular automata
Journal of Computer and System Sciences
ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry
Reconfiguring Circuits Around Defects in Self-Timed Cellular Automata
ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry
Reversibility and determinism in sequential multiset rewriting
UC'10 Proceedings of the 9th international conference on Unconventional computation
Collision-based flexible image encryption algorithm
Journal of Systems and Software
Online marking of defective cells by random flies
ACRI'06 Proceedings of the 7th international conference on Cellular Automata for Research and Industry
Classification and universality of reversible logic elements with one-bit memory
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Sequential and maximally parallel multiset rewriting: reversibility and determinism
Natural Computing: an international journal
On reversibility and determinism in p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A reversible processor architecture and its reversible logic design
RC'11 Proceedings of the Third international conference on Reversible Computation
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements
Theoretical Computer Science
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Reversible delay-insensitive distributed memory modules
RC'13 Proceedings of the 5th international conference on Reversible Computation
Hi-index | 0.01 |
Reversible computing is a paradigm of computation that reflects physical reversibility, and is considered to be important when designing a logical devices based on microscopic physical law in the near future. In this paper, we focus on a problem how universal computers can be built from primitive elements with very simple reversible rules. We introduce a new reversible logic element called a "rotary element", and show that any reversible Turing machine can be realized as a circuit composed only of them. Such reversible circuits work in a very different fashion from conventional ones. We also discuss a simple reversible cellular automaton in which a rotary element can be implemented.