Monographs in Theoretical Computer Science. An EATCS Series

Theory of Reversible Computing

Authors: Morita, Kenichi

  • Authored by the leading scientist on the subject
  • Valuable reference work for anyone working in reversible computation and automata theory
  • First book written in English on reversible computing from the viewpoint of the theory of computing
see more benefits

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-4-431-56606-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-4-431-56604-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one predecessor. Although its definition is very simple, it is closely related to physical reversibility, one of the fundamental microscopic laws of Nature. Authored by the leading scientist on the subject, this book serves as a valuable reference work for anyone working in reversible computation or in automata theory in general.

This work deals with various reversible computing models at several different levels, which range from the microscopic to the macroscopic, and aims to clarify how computation can be carried out efficiently and elegantly in these reversible computing models. Because the construction methods are often unique and different from those in the traditional methods, these computing models as well as the design methods provide new insights for future computing systems.

Organized bottom-up, the book starts with the lowest scale of reversible logic elements and circuits made from them. This is followed by reversible Turing machines, the most basic computationally universal machines, and some other types of reversible automata such as reversible multi-head automata and reversible counter machines. The text concludes with reversible cellular automata for massively parallel spatiotemporal computation. In order to help the reader have a clear understanding of each model, the presentations of all different models follow a similar pattern: the model is given in full detail, a short informal discussion is held on the role of different elements of the model, and an example with illustrations follows each model. 

About the authors

Kenichi Morita is a professor emeritus of Hiroshima University. He received a Ph.D. in engineering from Osaka University in 1978, and he was a professor of the Graduate School of Engineering, Hiroshima University. He is engaged in the research of automata theory, cellular automata, reversible computing, and formal language theory.


Reviews

“The book under review has several advantages in representation of reversible computing. First, exposition is developed in a rigorous theoretical setting of mathematical models of algorithms and automata. Second, the book has a high-quality and clear-cut architecture when exposition goes from the lowest level of reversible logic elements through reversible functional modules and composed logic elements to the high level of reversible abstract automata.” (Mark S. Burgin, zbMATH 1383.68002, 2018)

Table of contents (14 chapters)

  • Introduction

    Morita, Kenichi

    Pages 1-13

  • Reversible Logic Elements with Memory

    Morita, Kenichi

    Pages 15-30

  • Classification of Reversible Logic Elements with Memory and Their Universality

    Morita, Kenichi

    Pages 31-75

  • Reversible Logic Gates

    Morita, Kenichi

    Pages 77-101

  • Reversible Turing Machines

    Morita, Kenichi

    Pages 103-156

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-4-431-56606-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.99
price for USA in USD
  • ISBN 978-4-431-56604-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory of Reversible Computing
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
2017
Publisher
Springer Japan
Copyright Holder
Springer Japan KK
eBook ISBN
978-4-431-56606-9
DOI
10.1007/978-4-431-56606-9
Hardcover ISBN
978-4-431-56604-5
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XVII, 457
Topics