Reversible Computing as a Future Computing Mechanism and Its Theoretical Systematization

点击翻译按钮获取中文摘要

Reversible computing is a paradigm of computation that reflects physical reversibility. It will become important when we develop future computing systems that directly utilize microscopic physical phenomena for their logical operations. In this study, we investigated fundamental properties and computational capabilities of reversible logic elements, logic circuits, Turing machines, cellular automata, and other reversible computing models. W e then systematized the obtained results in a theory of reversible computing. We also showed that in this research field there exist very unique and novel computing models, logic elements, and architectures, which cannot be seen in the conventional computing systems.