The model of the ideal rotary element of Morita

TL;DR

This paper models the ideal rotary element of Morita using asynchronous systems theory and real-time concepts, advancing the understanding of reversible logic elements in physical computation.

Contribution

It introduces a novel modeling approach for Morita's rotary element using asynchronous systems and real-time, providing a deeper theoretical framework.

Findings

Model successfully captures the reversibility of the rotary element

Provides a formal asynchronous systems model of Morita's RE

Enhances the theoretical understanding of reversible logic components

Abstract

Reversible computing is a concept reflecting physical reversibility. Until now several reversible systems have been investigated. In a series of papers Kenichi Morita defines the rotary element RE, that is a reversible logic element. By reversibility, he understands that 'every computation process can be traced backward uniquely from the end to the start. In other words, they are backward deterministic systems'. He shows that any reversible Turing machine can be realized as a circuit composed of RE's only. Our purpose in this paper is to use the asynchronous systems theory and the real time for the modeling of the ideal rotary element