Constructing Reversible Turing Machines by Reversible Logic Element with Memory

Abstract

A reversible logic element is a primitive for composing reversible computing machines. There are two kinds of such elements, i.e., one without memory, which is commonly called a reversible logic gate, and one with memory. It is known that, in reversible computing, a reversible logic element with memory is useful as well as a reversible logic gate, since reversible computing machines can be constructed simply using such a type of elements. A rotary element (RE) is a typical instance of a reversible logic element with 1-bit memory, whose operations can be easily understood by an intuitive interpretation. In this survey, we discuss how RE is implemented in an idealized reversible physical system, and how reversible Turing machines (RTMs) can be constructed from REs. In particular, we give a new simpler construction method of RTMs than the previous one.KeywordsMemory CellReversible LogicRead OperationInput SymbolOutput SymbolThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.