Fredkin gates in simple reversible cellular automata

In this paper, we give a survey on the problem of how a Fredkin gate, a universal reversible logic gate, is realised in various reversible cellular automata (RCAs). Models of RCAs considered here are two kinds of square partitioned cellular automata (SPCAs), and four kinds of elementary triangular p...

Full description

Saved in:
Bibliographic Details
Published in:International journal of parallel, emergent and distributed systems emergent and distributed systems, 2022-05, Vol.37 (3), p.249-272
Main Author: Morita, Kenichi
Format: Article
Language:English
Subjects:
Cellular automata
elementary triangular partitioned cellular automaton
Fredkin gate
Gates
Logic circuits
reversible cellular automaton
reversible computing
reversible logic gate
Turing machines
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we give a survey on the problem of how a Fredkin gate, a universal reversible logic gate, is realised in various reversible cellular automata (RCAs). Models of RCAs considered here are two kinds of square partitioned cellular automata (SPCAs), and four kinds of elementary triangular partitioned cellular automata (ETPCAs). These six RCAs are very simple, in particular, ETPCAs are extremely simple, yet they are computationally universal in the sense any reversible Turing machine, which is composed of Fredkin gates, can be embedded in them. There are three key points for implementing a Fredkin gate in an RCA: (1) realising a signal, (2) routeing a signal, and (3) interacting two signals. We shall see that depending on the properties of the RCAs, different techniques are used to realise the above three functions. Based on these techniques, complete configurations of Fredkin gates in the six RCAs are given.
ISSN:1744-5760
1744-5779
DOI:10.1080/17445760.2022.2052871